| title | media type | | ISBN-13 | year of publica-
tion | other author(s) |
|---|
| Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95 Pathumthani, Thailand, December 11 - 13, 1995. Proceedings | Taschenbuch | | 978-3-540-60688-8 | 2008 | Kanchana Kanchanasut |
| Algorithms, Concurrency, and Knowledge: 1995 Asian Computing Science Conference, Acsc '95, Pathumthani, Thailand, December 11-13, 1995: Proceedings | Paperback | | 978-0-387-60688-0 | 1995 | " |
| Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer Congress TC1 3rd International Conference on Theoretical Computer Science ... in Information and Communication Technology) | Hardcover | | 978-1-4020-8140-8 | 2004 | Jean-Jacques Lévy · Ernst W. Mayr · John C. Mitchell |
| From Semantics to Computer Science: Essays in Honour of Gilles Kahn | " | | 978-0-521-51825-3 | 2009 | Yves Bertot · Gérard Huet · Jean-Jacques Lévy · Gordon Plotkin |
| Introduction à la théorie des langages de programmation | Broché | | 978-2-7302-1333-2 | 2006 | Jean-Jacques Lévy · Gilles Dowek |
| The Tbilisi Symposium on Logic, Language and Computation: Selected Papers | Paperback | | 978-1-57586-098-5 | 1998 | Jonathan Ginzburg · Zurab Khasidashvili · Carl Vogel |
| The Tbilisi Symposium on Logic, Language and Computation: Selected Papers | Hardcover | | 978-1-57586-099-2 | 1998 | Jonathan Ginzburg · Zurab Khasidashvili · Carl Vogel |