Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) Год выпуска: 2010Издательство: Страниц: 387ISBN: 364211511XОписание This Festschrift volume, published in honor of Willem-Paul de Roever, contains 19 detailed papers written by the friends and colleagues of the honoree, all eminent scientists in their own right. These are preceded by a detailed bibliography and rounded off, at the end of the book, with a gallery of photographs. The theme under which the papers have been collected is Concurrency, Compositionality, and Correctness, reflecting the focus of Willem-Paul de Roever's research career. Topics addressed include model checking, computer science and state machines, ontology and mereology of domains, game theory, compiler correctness, fair scheduling and encryption algorithms.
Похожие книги
Herbert W. Nickens, Adrienne Y. Stith, Lois Colburn, Clyde H. Evans, Brian D. Smedley, Institute of Medicine, Symposium on Diversity in Health Professions in Honor of Herbert W. Ni. The Right Thing to Do, The Smart Thing to Do: Enhancing Diversity in the Health Professions. – М.: , 0. – 0 с. Rehabilitati International Conference on Brownfield Sites: Assessment, D. Almorza, H. Klapperich, C. A. Brebbia, David Almorza Gomar, Wessex Institute of Technology, Universidad De Cadiz. Brownfield Sites : Assessment, Rehabilitation and Development. – М.: , 0. – 0 с. Ifip Tc3, Ethical, and Cognitive I Wg3.1&3.2 Open Conference on Social, Tom J. Van Weert, Robert K. Munro, Tom J. Van Weert. Informatics and the Digital Society: Ifip Tc3/Wg3.1&3.2 Open Conference on Social, Ethical, and Cognitive Issues of Informatics and Ict, July 22-26, 2 ... l Federation for Information Processing, 244). – М.: , 0. – 0 с. G. David Garson, G. David Information Technology and Computer Applications in Garson. Public Information Technology: Policy and Management Issues. – М.: , 0. – 0 с. High Performance Embedded Architectures and Compilers: 5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010, Proceedings (Lecture ... Computer Science and General Issues). – М.: , 2010. – 364 с. Teaching Fundamental Concepts of Informatics: 4th International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2010, ... Computer Science and General Issues). – М.: , 2010. – 206 с. Graph-Theoretic Concepts in Computer Science: 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009, Revised Papers (Lecture Notes ... Computer Science and General Issues). – М.: , 2010. – 353 с. Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues). – М.: , 2010. – 387 с. Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International ... Computer Science and General Issues). – М.: , 2010. – 367 с. J Russ. To Write like a Woman – Essays in Feminism & Science Fiction (Paper). – М.: , 1995. – 198 с. Committee on DNA Technology in Forensic Science, National Research Council. DNA Technology in Forensic Science. – М.: National Academies Press, 1992. – 200 с. Napoleon Dhavamany and Praneesh Mohandas. Research Ethics in Computer Science. – М.: LAP Lambert Academic Publishing, 2013. – 120 с. Mwenda Mukuthuria and Catherine Wawasi Kitetu. Research In Social Sciences. – М.: LAP Lambert Academic Publishing, 2012. – 92 с. Catherine Wawasi Kitetu and Mwenda Mukuthuria (Ed.). Research in Social Sciences: Fieldwork. – М.: LAP Lambert Academic Publishing, 2013. – 96 с. Kureeckal V. Ramesh and Umme Hani. Application of Computational Biology in Plant Science. – М.: LAP Lambert Academic Publishing, 2015. – 80 с. Martha Kerubo Obare and Omosa Mogambi Ntabo. Introduction to Correctional Services In Kenya. – М.: LAP Lambert Academic Publishing, 2013. – 368 с. Chakchai So-In. Resource Allocation and Management in Computer Networks. – М.: LAP Lambert Academic Publishing, 2011. – 212 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Ирина Большое спасибо за диплом после вашего сопровождения. 2 июня была защита, все замечательно: рецензию написали отличную, очень хорошо, что были приложения, никаких претензий нет. Вам еще раз большое спасибо и никаких претензий к Вам нет.
