| Titel | | ISBN-13 | Erschei- nungsjahr | andere Autoren |
| Advances in Computing Science - ASIAN'99: 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings | | 978-3-540-66856-5 | 2008 | Roland Yap |
| Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings | | 978-3-540-75453-4 | 2007 | Jean-Francois Raskin |
| Foundations of Software Technology and Theoretical Computer Science: 14th Conference, Madras, India, December 15 - 17, 1994. Proceedings | | 978-3-540-58715-6 | 2008 |
| Foundations of Software Technology and Theoretical Computer Science: 14th Conference, Madras, India, December 15-17, 1994: Proceedings | | 978-0-387-58715-8 | 1994 |
| Foundations of Software Technology and Theoretical Computer Science: 15th Conference; Bangalore, India, December 1995. Proceedings | | 978-3-540-60692-5 | 2008 |
| From Model-Driven Design to Resource Management for Distributed Embedded Systems: IFIP TC 10 Working Conference on Distributed and Parallel Embedded ... in Information and Communication Technology) | | 978-0-387-39361-2 | 2006 | Bernd Kleinjohann · Lisa Kleinjohann · Ricardo J. Machado · Carlos Pereira |
| Petri Nets and Other Models of Concurrency - ICATPN 2006: 27th International Conference on Applications and Theory of Petri Nets and Other Models of ... Notes in Computer Science , Band 4024) | | 978-3-540-34699-9 | 2008 | Susanna Donatelli |