Titel | | ISBN-13 | Erschei- nungsjahr | andere Autoren |
Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings | | 978-3-540-67693-5 | 2008 | Dan Simpson |
Automata, Languages and Programming: 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 Proceedings | | 978-3-540-66224-2 | 2008 | Peter van Emde Boas · Jiri Wiedermann |
Computer Science Logic: 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers | | 978-3-540-64570-2 | 2008 | Wolfgang Thomas |
CONCUR 2001 - Concurrency Theory: 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings | | 978-3-540-42497-0 | 2008 | Kim G. Larsen |
Foundations of Software Science and Computation Structures: 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences ... Notes in Computer Science , Band 2303) | | 978-3-540-43366-8 | 2008 | Uffe Engberg |
Mathematical Foundations of Computer Science 2000: 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 ... Notes in Computer Science , Band 1893) | | 978-3-540-67901-1 | 2009 | Branislav Rovan |
SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, ... Notes in Computer Science, Band 5404) | | 978-3-540-95890-1 | 2009 |
TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. ... Notes in Computer Science , Band 915) | | 978-3-540-59293-8 | 1995 | Peter D. Mosses · Michael I. Schwartzbach |
Tapsoft '95: Theory and Practice of Software Development: 6th International Joint Conference Caap/Fase Aarhus, Denmark, May 22-26, 1995: Proceedin | | 978-0-387-59293-0 | 1995 | Portugal) ETAPS 98 (1998 : Lisbon · Colloquium on Formal Approaches of Software Engineering · Peter D. Mosses · Denmark) Colloquium on Trees in Algebra and Programming (1995 : Aarhus · Michael I. Schwartzbach |