| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Advances in Petri Nets 1990: 10th Annual International Conference on Applications and Theory of Petri Nets, Selected Papers | | 978-3-540-53863-9 | 1991 |
| Advances in Petri Nets 1993 | | 978-0-387-56689-4 | 1993 |
| Application of Petri Nets to Communication Networks: Advances in Petri Nets | | 978-3-540-65870-2 | 1999 | Jonathan Billington · Michel Diaz |
| Aspects of Molecular Computing: Essays Dedicated to Tom Head on the Occasion of His 70th Birthday | | 978-3-540-20781-8 | 2003 | Natasha Jonoska · Gheorghe Paun |
| Computation in Living Cells: Gene Assembly in Ciliates | | 978-3-540-40795-9 | 2004 | Andrzej Ehrenfeucht · Tero Harju · Ion Petre · David M. Prescott |
| Concurrency and Hardware Design: Advances in Petri Nets | | 978-3-540-00199-7 | 2002 | Jordi Cortadella · Alex Yakovlev |
| Current Trends in Concurrency: Overviews and Tutorials | | 978-3-540-16488-3 | 1986 | Jacobus W. De Bakker · Willem-Paul De Roever |
| Developments in Language Theory: 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers | | 978-3-540-43453-5 | 2002 | Werner Kuich · Arto Salomaa |
| DNA Computing: New Computing Paradigms | | 978-3-540-64196-4 | 1998 | Gheorghe Paun · Arto Salomaa |
| Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday | | 978-3-540-24936-8 | 2007 | Hans-Jörg Kreowski · Ugo Montanari · Fernando Orejas · Taentzer, Gabriele |
| Graph Grammars and Their Application to Computer Science: 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings: International ... 4th, 1990 | | 978-3-540-54478-4 | 1991 | Hartmut Ehrig · Hans-Jörg Kreowski |
| Graph Grammars and Their Application to Computer Science: 5th International Workshop, Williamsburg, VA, USA, November , 1995. Selected Papers: ... Papers | | 978-3-540-61228-5 | 1996 | Janice Cuny · Hartmut Ehrig · Gregor Engels |
| Graph Transformation: First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings | | 978-3-540-44310-0 | 2002 | Andrea Corradini · Hartmut Ehrig · Hans-Jörg Kreowski |
| Graph Transformations: Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings | | 978-3-540-23207-0 | 2004 | Hartmut Ehrig · Gregor Engels · Francesco Parisi-Presicce |
| Handbook of Formal Languages III. Beyond Words: 3 | | 978-3-540-60649-9 | 1997 | Arto Salomaa |
| Handbook of Formal Languages I/ III: 3 Bände. | | 978-3-540-61486-9 | 1996 | " |
| Handbook of Formal Languages: Volume 1. Word, Language, Grammar | | 978-3-540-60420-4 | 1997 | " |
| Handbook of Formal Languages: Volume 2. Linear Modeling: Background and Application | | 978-3-540-60648-2 | 1997 | " |
| Handbook of Natural Computing | | 978-3-540-92910-9 | 2010 | Thomas H.W. Bäck · Joost N. Kok |
| High- Level Petri Nets. Theory and Application | | 978-3-540-54125-7 | 1991 | Kurt Jensen |
| Lectures on Concurrency and Petri Nets: Advances in Petri Nets | | 978-3-540-22261-3 | 2004 | Jörg Desel · Wolfgang Reisig |
| Lectures on Embedded Systems: European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996 | | 978-3-540-65193-2 | 1998 | Frits W. Vaandrager |
| Lectures on Petri Nets I: Basic Models: Advances in Petri Nets: Basic Models v. 1 | | 978-3-540-65306-6 | 1998 | Wolfgang Reisig |
| Lectures on Petri Nets II: Applications: Advances in Petri Nets: 002 | | 978-3-540-65307-3 | 1998 | " |
| Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988 | | 978-3-540-51080-2 | 1989 | Jacobus W. de Bakker · Willem-Paul de Roever |
| Membrane Computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers | | 978-3-540-25080-7 | 2005 | Giancarlo Mauri · Gheorghe Paun · Mario J. Pérez-Jiménez · Arto Salomaa |
| Membrane Computing: 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers | | 978-3-540-77311-5 | 2008 | George Eleftherakis · Petros Kefalas · Gheorghe Paun · Arto Salomaa |
| Membrane Computing: International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers | | 978-3-540-20895-2 | 2004 | Carlos Martín-Vide · Giancarlo Mauri · Gheorghe Paun · Arto Salomaa |
| Membrane Computing: International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August 19-23, 2002, Revised Papers: v. 2597 | | 978-3-540-00611-4 | 2003 | Gheorghe Paun · Arto Salomaa · Zandron, Claudio |
| Modelling in Molecular Biology | | 978-3-540-40799-7 | 2004 | Gabriel Ciobanu |
| Petri Net Technology for Communication-Based Systems: Advances in Petri Nets | | 978-3-540-20538-8 | 2003 | Hartmut Ehrig · Wolfgang Reisig · Herbert Weber |
| Structures in Logic and Computer Science: A Selection of Essays in Honor of A. Ehrenfeucht | | 978-3-540-63246-7 | 1997 | Jan Mycielski · Arto Salomaa |
| The Book of L | | 978-3-540-16022-9 | 1986 | Arto K. Salomaa |
| The Mathematical Theory of L Systems | | 978-0-12-597140-9 | 1980 |
| Theory and Application of Graph Transformations: 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers | | 978-3-540-67203-6 | 2000 | Hartmut Ehrig · Gregor Engels · Hans-Jörg Kreowski |
| Theory Is Forever: Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday | | 978-3-540-22393-1 | 2004 | Juhani Karhumäki · Gheorghe Paun · Hermann Maurer |
| Unconventional Computation: 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, Proceedings | | 978-3-540-29100-8 | 2005 | Cristian S. Calude · Michael J. Dinneen · Gheorghe Paun · Mario de Jesus Pérez-Jiménez |
| Unconventional Computation: 5715 | | 978-3-642-03744-3 | 2009 | Christian S. Calude · Jose Felix Gomes da Costa · Nachum Dershowitz · Elisabete Freire |
| Unifying Petri Nets: Advances in Petri Nets | | 978-3-540-43067-4 | 2001 | Hartmut Ehrig · Gabriel Juhas · Julia Padberg |