| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
| Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings | 978-3-540-73857-2 | 2007 | Till Mossakowski · Magne Haveraaen |
| Automata, Languages and Programming: 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings | 978-3-540-67715-4 | 2000 | Jose D.P. Rolim · Emo Welzl |
| CONCUR '96: Concurrency Theory: 7th International Conference Pisa, Italy, August 26-29, 1996 Proceedings | 978-3-540-61604-7 | 2009 | Vladimiro Sassone |
| Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday | 978-3-540-24936-8 | 2008 | Gabriele Taentzer · Fernando Orejas · Grzegorz Rozenberg · Hans-Jörg Kreowski |
| Graph Transformations: Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings | 978-3-540-38870-8 | 2008 | Hartmut Ehrig · Grzegorz Rozenberg · Andrea Corradini · Leila Ribeiro |
| Idee per diventare informatico. Dalle schede perforate al futuro di internet | 978-88-08-06697-8 | 2007 |
| Models of Computation | 978-3-319-42898-7 | 2017 | Roberto Bruni |
| Principles and Practice of Constraint Programming - CP '95: First International Conference, CP '95, Cassis, France, September 19 - 22, 1995. ... Notes in Computer Science , Band 976) | 978-3-540-60299-6 | 2008 | Francesca Rossi |
| Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers | 978-3-642-03428-2 | 2009 | Andrea Corradini |
| System Development and Ada: CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings | 978-3-540-18341-9 | 2008 | A. Nico Habermann |
| TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987: Volume ... | 978-3-540-17611-4 | 2008 | Hartmut Ehrig · Robert A. Kowalski · Giorgio Levi |
| TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987: Volume 1: ... Notes in Computer Science , Band 249) | 978-3-540-17660-2 | 2008 | Hartmut Ehrig · Robert Kowalski · Giorgio Levi |
| Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers | 978-3-540-75333-9 | 2007 |