| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| CONCUR 2002 - Concurrency Theory: 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings | 978-3-540-44043-7 (3-540-44043-7) | 2008 | Antonin Kucera · Petr Jancar · Mojmir Kretinsky |
| Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th ... Notes in Computer Science , Band 4346) | 978-3-540-70951-0 (3-540-70951-7) | 2007 | |
| Mathematical Foundations of Computer Science 1998: 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998 | 978-3-540-64827-7 (3-540-64827-5) | 1998 | Josef Gruska · Jiri Zlatuska |