Mogens Nielsen

This book constitutes the refereed proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS 2000, held in Bratislava/Slovakia in August/September 2000. The 57 revised full papers presented together with eight invited papers were carefully reviewed and selected from a total of 147 submissions. The book gives an excellent overview on current research in theoretical informatics. All relevant foundational issues, from mathematical logics as well as from discrete mathematics are covered. Anybody interested in theoretical computer science or the theory of computing will benefit from this book.

25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings

Mathematical Foundations of Computer Science 2000

Catuscia Palamidessi

Frank Valencia

Antonin Kucera

Peter Bro Miltersen

Petr Tuma

This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in Špindleruv Mlýn, Czech Republic, in January 2009. The 49 revised full papers, presented together with 9 invited contributions, were carefully reviewed and selected from 132 submissions. SOFSEM 2009 was organized around the following four tracks: Foundations of Computer Science; Theory and Practice of Software Services; Game Theoretic Aspects of E-commerce; and Techniques and Tools for Formal Verification.

35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings

SOFSEM 2009: Theory and Practice of Computer Science

Branislav Rovan

Kim G. Larsen

This book constitutes the refereed proceedings of the 12th International Conference on Concurrency Theory, CONCUR 2001, held in Aalborg, Denmark in August 2001. The 32 revised full papers presented together with six invited contributions were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on mobility, probabilistic systems, model checking, process algebra, unfoldings and prefixes, logic and compositionality, and games.

12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings

CONCUR 2001 - Concurrency Theory

Peter van Emde Boas

Jiri Wiedermann

This book constitutes the refereed proceedings of the 26th International Colloquium on Automata, Languages and Programming, ICALP'99, held in Prague, Czech Republic, in July 1999. The 56 revised full papers presented were carefully reviewed and selected from a total of 126 submissions; also included are 11 inivited contributions. Among the topics addressed are approximation algorithms, algebra and circuits, concurrency, semantics and rewriting, process algebras, graphs, distributed computing, logic of programs, sorting and searching, automata, nonstandard computing, regular languages, combinatorial optimization, automata and logics, string algorithms, and applied logics.

26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 Proceedings

Automata, Languages and Programming

Peter D. Mosses

Michael I. Schwartzbach

This volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, TAPSOFT '95, held in Aarhus, Denmark in May 1995. TAPSOFT '95 celebrates the 10th anniversary of this conference series started in Berlin in 1985 to bring together theoretical computer scientists and software engineers (researchers and practitioners) with a view to discussing how formal methods can usefully be applied in software development. The volume contains seven invited papers, among them one by Vaugham Pratt on the recently revealed bug in the Pentium chip, and 44 revised full papers selected from a total of 147 submissions. In addition the TAPSOFT '95 proceedings contains 10 tool descriptions.

6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings

TAPSOFT '95: Theory and Practice of Software Development

Denmark). International Conference on Applications and Theory of Petri Nets (21st : 2000 : Aarhus

This book constitutes the thoroughly refereed post-conference proceedings of the 6th Congress of the Italian Association for Artificial Intelligence, AI*IA 99, held in Bologna, Italy, in September 1999. The 33 revised full papers presented were carefully reviewed and selected for inclusion in the book from a total of 64 congress submissions. The papers are organized in topical sections on knowledge representation; automated reasoning; temporal and qualitative reasoning; machine learning, data mining, and theory revision; natural language processing and web interfaces; multi-agent systems; perception and robotics; and planning and scheduling.

21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings

Application and Theory of Petri Nets 2000

Mogens Nielsen

Books

Your next favorite book is out there