| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Automata, Languages and Programming: 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings | 978-3-540-27580-0 | 2005 | Luis Caires · Guiseppe F. Italiano · Luis Monteiro · Moti Yung |
| Computational Logic _ CL 2000: First International Conference London, UK, July 24-28, 2000 Proceedings | 978-3-540-67797-0 | 2000 | John Lloyd · Veronica Dahl · Ulrich Furbach · Manfred Kerber · Kung-Kiu Lau · Luis M. Pereira · Yehoshua Sagiv |
| CONCUR 2000 - Concurrency Theory: 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings | 978-3-540-67897-7 | 2008 |
| Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th ... Notes in Computer Science, Band 8461) | 978-3-662-43612-7 | 2014 | Erika Ábrahám |
| Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday | 978-3-319-06879-4 | 2014 | Franck van Breugel · Elham Kashefi · Jan Rutten |
| Logic Programming: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings | 978-3-540-20642-2 | 2004 |
| Principles of Declarative Programming: 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, ... Notes in Computer Science, Band 1490) | 978-3-540-65012-6 | 2008 | Hugh Glaser · Karl Meinke |
| SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on Current Trends in Theory and Practice of Computer Science, pindleruv Mlýn, ... Computer Science and General Issues) | 978-3-540-95890-1 | 2009 | Mogens Nielsen · Antonin Kucera · Peter Bro Miltersen · Petr Tuma · Frank Valencia |
| Theory of Security and Applications: Joint Workshop, TOSCA 2011, Saarbrücken, Germany,March 31-April 1, 2011, Revised Selected Papers | 978-3-642-27374-2 | 2012 | Sebastian Moedersheim |
| The Science of Quantitative Information Flow | 978-3-319-96129-3 | 2020 | Mário S. Alvim · Konstantinos Chatzikokolakis · Annabelle McIver · Carroll Morgan · Geoffrey S. Smith |
| Trustworthy Global Computing: 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers | 978-3-642-41156-4 | 2013 | Mark D. Ryan |