| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Advances in Petri Nets 1984 | Paperback | | 978-0-387-15204-2 | 1985 |
| Advances in Petri Nets 1985 | Taschenbuch | | 978-3-540-16480-7 | 2008 |
| Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986: Part 2: Petri Nets: Applications and Relationships ... Notes in Computer Science , Band 255) | " | | 978-3-540-17906-1 | 2008 | Wilfried Brauer · Wolfgang Reisig |
| Advances in Petri Nets 1987 | " | | 978-3-540-18086-9 | 2008 |
| Advances in Petri Nets 1987 | Paperback | | 978-0-387-18086-1 | 1987 |
| Advances in Petri Nets 1988 | Taschenbuch | | 978-3-540-50580-8 | 2008 |
| Advances in Petri Nets 1988 | Paperback | | 978-0-387-50580-0 | 1989 |
| Advances in Petri Nets 1989 | Taschenbuch | | 978-3-540-52494-6 | 2008 |
| Advances in Petri Nets, 1989 | Paperback | | 978-0-387-52494-8 | 1990 |
| Advances in Petri Nets 1990: 10th Annual International Conference on Applications and Theory of Petri Nets, Selected Papers | Taschenbuch | | 978-3-540-53863-9 | 2008 |
| Advances in Petri Nets, 1990 | Paperback | | 978-0-387-53863-1 | 1991 |
| Advances in Petri Nets 1991: 11th International Conference on Applications and Theory of Petri Nets, Selected Papers | Taschenbuch | | 978-3-540-54398-5 | 2008 |
| Advances in Petri Nets 1991 | Paperback | | 978-0-387-54398-7 | 1991 |
| Advances in Petri Nets 1992 | Taschenbuch | | 978-3-540-55610-7 | 2008 |
| Advances in Petri Nets, 1992 | Paperback | | 978-0-387-55610-9 | 1992 |
| Advances in Petri Nets 1993: 12th International Conference on Applications and Theory of Petri Nets: Selected Papers | Taschenbuch | | 978-3-540-56689-2 | 2008 |
| Advances in Petri Nets 1993 | Hardcover | | 978-0-387-56689-4 | 1993 |
| Application of Petri Nets to Communication Networks: Advances in Petri Nets | Taschenbuch | | 978-3-540-65870-2 | 2008 | Jonathan Billington · Michel Diaz |
| Applications and Theory of Petri Nets: Selected Papers from the 3Rdeuropean Workshop on Application and Theory of Petri Nets, Varenna, Italy | Paperback | | 978-0-387-12309-7 | 1983 | Italy) European Workshop on Application and Theory of Petri Nets (3rd : 1982 : Varenna · Anastasia Pagnoni |
| Aspects of Molecular Computing: Essays Dedicated to Tom Head on the Occasion of His 70th Birthday | Taschenbuch | | 978-3-540-20781-8 | 2009 | Nataša Jonoska · Gheorghe Paun |
| Computation in Living Cells: Gene Assembly in Ciliates | " | | 978-3-642-07401-1 | 2010 | Andrzej Ehrenfeucht · Tero Harju · Ion Petre · David M. Prescott |
| Computation in Living Cells: Gene Assembly in Ciliates | Gebunden | | 978-3-540-40795-9 | 2003 | Andrzej Ehrenfeucht · Tero Harju · Ion Petre · David M. Prescott |
| Concurrency and Hardware Design: Advances in Petri Nets | Taschenbuch | | 978-3-540-00199-7 | 2008 | Alex Yakovlev · Jordi Cortadella |
| Concurrency and Nets: Advances in Petri Nets | Gebunden | | 978-3-540-18057-9 | 1987 | Klaus Voss · Hartmann J. Genrich |
| Concurrent Object-Oriented Programming and Petri Nets: Advances in Petri Nets | Taschenbuch | | 978-3-540-41942-6 | 2008 | Gul A. Agha · Fiorella De Cindio |
| Cornerstones of Undecidability C | Paperback | | 978-0-13-297425-7 | 1994 | Arto Salomaa |
| Current Trends in Concurrency: Overviews and Tutorials | Taschenbuch | | 978-3-540-16488-3 | 2008 | Willem-Paul De Roever · Jacobus W. De Bakker |
| Developments in Language Theory: 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers | " | | 978-3-540-43453-5 | 2008 | Arto Salomaa · Werner Kuich |
| DNA Computing: 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers | " | | 978-3-540-42076-7 | 2008 | Anne Condon |
| DNA Computing: New Computing Paradigms | " | | 978-3-642-08388-4 | 2010 | Gheorghe Paun · Arto Salomaa |
| DNA Computing: New Computing Paradigms | Gebunden | | 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 | Taschenbuch | | 978-3-540-24936-8 | 2008 | Ugo Montanari · Gabriele Taentzer · Fernando Orejas · Hans-Jörg Kreowski |
| Graph-Grammars and Their Application to Computer Science: 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986 | " | | 978-3-540-18771-4 | 2008 | Azriel Rosenfeld · Hartmut Ehrig · Manfred Nagl |
| Graph Grammars and Their Application to Computer Science: 3rd International Workshop Warrenton, Virginia, Usa, December 2-6, 1986 | Paperback | | 978-0-387-18771-6 | 1988 | Hartmut Ehrig · Manfred Nagl |
| Graph Grammars and Their Application to Computer Science: 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings | Taschenbuch | | 978-3-540-54478-4 | 2008 | Hartmut Ehrig · Hans-J??rg Kreowski |
| Graph Grammars and Their Application to Computer Science: 5th International Workshop, Williamsburg, VA, USA, November , 1995. Selected Papers. ... Notes in Computer Science , Band 1073) | " | | 978-3-540-61228-5 | 2008 | Hartmut Ehrig · Janice Cuny · Gregor Engels |
| Graph Transformation: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings | " | | 978-3-642-33653-9 | 2012 | Hartmut Ehrig · Gregor Engels · Hans-Jörg Kreowski |
| Graph Transformation: First International Conference, ICGT 2002 Barcelona, Spain, October 7-12, 2002 Proceedings | " | | 978-3-540-44310-0 | 2009 | Andrea Corradini · Hartmut Ehrig · Hans-Jürg Kreowski |
| Graph Transformations: 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings | " | | 978-3-642-15927-5 | 2010 | Hartmut Ehrig · Arend Rensink · Andy Schürr |
| Graph Transformations: Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings | " | | 978-3-540-23207-0 | 2008 | Hartmut Ehrig · Gregor Engels · Francesco Parisi-Presicce |
| Graph Transformations: Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings | " | | 978-3-540-38870-8 | 2008 | Ugo Montanari · Hartmut Ehrig · Andrea Corradini · Leila Ribeiro |
| Handbook of Formal Languages: Vols. 1 - 3 | Gebunden | | 978-3-540-61486-9 | 1997 | Arto Salomaa |
| Handbook of Formal Languages: Volume 1 Word, Language, Grammar | Taschenbuch | | 978-3-642-63863-3 | 2012 | " |
| Handbook of Formal Languages: Volume 1. Word, Language, Grammar | Hardcover | | 978-3-540-60420-4 | 1997 | " |
| Handbook of Formal Languages: Volume 2. Linear Modeling: Background and Application | Taschenbuch | | 978-3-642-08230-6 | 2010 | " |
| Handbook of Formal Languages: Volume 2. Linear Modeling: Background and Application | Gebunden | | 978-3-540-60648-2 | 1997 | " |
| Handbook of Formal Languages: Volume 3 Beyond Words | Taschenbuch | | 978-3-642-63859-6 | 2012 | " |
| Handbook of Formal Languages: Volume 3 Beyond Words | Gebunden | | 978-3-540-60649-9 | 1996 | " |
| Handbook of Natural Computing | " | | 978-3-540-92909-3 | 2012 | Thomas Bäck · Joost N. Kok |
| Handbook of Natural Computing | Digital Download | | 978-3-540-92910-9 | 2012 | Thomas Bäck · Joost N. Kok |
| Handbook of Natural Computing | Gebunden | | 978-3-540-92911-6 | 2012 | Thomas Bäck · Joost N. Kok |
| High-level Petri Nets: Theory and Application | Taschenbuch | | 978-3-540-54125-7 | 1991 | Kurt Jensen |
| Jewels are Forever: Contributions on Theoretical Computer Science in Honor of Arto Salomaa | Gebunden | | 978-3-540-65984-6 | 1999 | Juhani Karhumäki · Hermann Maurer · Gheorghe Paun |
| Lectures on Concurrency and Petri Nets: Advances in Petri Nets | Taschenbuch | | 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 | 2008 | Frits W. Vaandrager |
| Lectures on Petri Nets I: Basic Models: Advances in Petri Nets | " | | 978-3-540-65306-6 | 2008 | Wolfgang Reisig |
| Lectures on Petri Nets II: Applications: Advances in Petri Nets | " | | 978-3-540-65307-3 | 2008 | " |
| Lindenmayer Systems: Impacts on Theoretical Computer Science, Computer Graphics, and Developmental Biology | " | | 978-3-642-63474-1 | 2012 |
| Lindenmayer Systems: Impacts on Theoretical Computer Science, Computer Graphics, and Developmental Biology | Gebunden | | 978-3-540-55320-5 | 1992 | Arto Salomaa |
| Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June ... Notes in Computer Science , Band 354) | Taschenbuch | | 978-3-540-51080-2 | 2008 | 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 | 2008 | Gheorghe Paun · Mario J. P??rez-Jim??nez · Giancarlo Mauri · Arto Salomaa |
| Membrane Computing: 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers | " | | 978-3-540-30948-2 | 2006 | Rudolph Freund · Gheorghe Paun · Arto Salomaa |
| Membrane Computing: 7th International Workshop, WMC 2006 Leiden, Netherlands, July 17-21, 2006 Revised, Selected, and Invited Papers | " | | 978-3-540-69088-7 | 2009 | Hendrik Jan Hoogeboom · Gheorghe Paun · 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 | 2007 | George Eleftherakis · Petros Kefalas · Gheorghe Paun · Arto Salomaa |
| Membrane Computing: 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers | " | | 978-3-540-95884-0 | 2009 | David Corne · Pierluigi Frisco · Gheorghe Pun · Arto Salomaa |
| Membrane Computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers | " | | 978-3-642-11466-3 | 2010 | Gheorghe Paun · Mario J. Perez-Jimenez · Agustin Riscos-Nunez · Arto Salomaa |
| Membrane Computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009, Revised, Selected and Invited Papers | Paperback | | 978-3-642-11468-7 | 2010 | Gheorghe Paun · Mario J. Perez-Jimenez · Agustin Riscos-Nunez · Arto Salomaa |
| Membrane Computing: 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers | Taschenbuch | | 978-3-642-18122-1 | 2011 | Marian Gheorghe · Thomas Hinze · Gheorghe Păun · Arto Salomaa |
| Membrane Computing: 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers | " | | 978-3-642-28023-8 | 2012 | Marian Gheorghe · Gheorghe Paun · Arto Salomaa · Sergey Verlan |
| Membrane Computing: 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers | " | | 978-3-642-36750-2 | 2013 | Erzsebet Csuhaj-Varju · Marian Gheorghe · Arto Salomaa · György Vaszil |
| Membrane Computing: 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers | " | | 978-3-642-54238-1 | 2014 | Artiom Alhazov · Svetlana Cojocaru · Marian Gheorghe · Yurii Rogozhin · Arto Salomaa |
| Membrane Computing: 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers | " | | 978-3-319-14369-9 | 2015 | Marian Gheorghe · Arto Salomaa · Petr Sosík · Claudio Zandron |
| Membrane Computing: 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers | " | | 978-3-319-28474-3 | 2016 | Arto Salomaa · José M. Sempere · Claudio Zandron |
| Membrane Computing: 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers | " | | 978-3-319-73358-6 | 2018 | Marian Gheorghe · Arto Salomaa · Claudio Zandron |
| Membrane Computing: International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers | " | | 978-3-540-20895-2 | 2008 | Carlos Mart¿¿n-Vide · Gheorghe Paun · Arto Salomaa · Giancarlo Mauri |
| Membrane Computing: International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August 19-23, 2002, Revised Papers | " | | 978-3-540-00611-4 | 2008 | Gheorghe Paun · Arto Salomaa · Claudio Zandron |
| Modelling in Molecular Biology | " | | 978-3-642-62269-4 | 2012 | Gabriel Ciobanu |
| Modelling in Molecular Biology | Gebunden | | 978-3-540-40799-7 | 2004 | " |
| Multiset Processing: Mathematical, Computer Science, and Molecular Computing Points of View | Taschenbuch | | 978-3-540-43063-6 | 2008 | Gheorghe Paun · Arto Salomaa · Christian S. Calude |
| Nanotechnology: Science and Computation | " | | 978-3-642-06775-4 | 2010 | Junghuei Chen · Natasha Jonoska |
| Nanotechnology: Science and Computation | Gebunden | | 978-3-540-30295-7 | 2005 | Junghuei Chen · Natasha Jonoska |
| Petri Nets: Central Models and Their Properties: Advances in Petri Nets 1986, Part I Proceedings of an Advanced Course Bad Honnef, 8.-19. September ... Notes in Computer Science , Band 254) | Taschenbuch | | 978-3-540-17905-4 | 1987 | Wilfried Brauer · Wolfgang Reisig |
| Petri Net Technology for Communication-Based Systems: Advances in Petri Nets | " | | 978-3-540-20538-8 | 2008 | Hartmut Ehrig · Herbert Weber · Wolfgang Reisig |
| Rainbow of Computer Science: Essays Dedicated to Hermann Maurer on the Occasion of His 70th Birthday | " | | 978-3-642-19390-3 | 2011 | Cristian S. Calude · Arto Salomaa |
| Results and Trends in Theoretical Computer Science: Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10 - 11, 1994. Proceedings | " | | 978-3-540-58131-4 | 2008 | Hermann Maurer · Juliani Karhum??ki |
| Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings | " | | 978-3-540-52559-2 | 1990 | Jaco W. de Bakker · Willem-Paul de Roever |
| Structures in Logic and Computer Science: A Selection of Essays in Honor of A. Ehrenfeucht | " | | 978-3-540-63246-7 | 2008 | Arto Salomaa · Jan Mycielski |
| The Book of L | Gebunden | | 978-3-540-16022-9 | 1985 | Arto K. Salomaa |
| The Mathematical Theory of L Systems | Hardcover | | 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 | Taschenbuch | | 978-3-540-67203-6 | 2000 | Hartmut Ehrig · Hans-Jörg Kreowski · Gregor Engels |
| Theory Is Forever: Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday | " | | 978-3-540-22393-1 | 2008 | Juhani Karhumaki · Hermann Maurer · Gheorghe Paun |
| Theory of 2-Structures, The: A Framework for Decomposition and Transformation of Graphs | Hardcover | | 978-981-02-4042-4 | 1999 | Andrzej Ehrenfeucht · Tero Harju |
| The Oxford Handbook of Membrane Computing | " | | 978-0-19-955667-0 | 2009 | Gheorghe Paun · Arto Salomaa |
| Unconventional Computation: 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, Proceedings | Taschenbuch | | 978-3-540-29100-8 | 2008 | Cristian S. Calude · Michael J. Dinneen · Gheorghe Paun · Mario de Jesus J. Pérez-Jiménez |
| Unconventional Computation: 5th International Conference, UC 2006, York, UK, September 4-8, 2006, Proceedings | " | | 978-3-540-38593-6 | 2008 | Cristian S. Calude · Gheorghe Paun · Michael J. Dinneen · Susan Stepney |
| Unconventional Computation: 6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007, Proceedings | " | | 978-3-540-73553-3 | 2007 | Selim G. Akl · Cristian S. Calude · Michael J. Dinneen · H. Todd Wareham |
| Unconventional Computation: 7th International Conference, UC 2008, Vienna, Austria, August 25-28, 2008, Proceedings | " | | 978-3-540-85193-6 | 2008 | Christian S. Calude · Jose Felix Gomes da Costa · Rudolf Freund · Marion Oswald |
| Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009, Proceedings | " | | 978-3-642-03744-3 | 2009 | Christian S. Calude · Jose Felix Gomes da Costa · Nachum Dershowitz · Elisabete Freire |
| Unconventional Computation: 9th International Conference, UC 2010, Tokyo, Japan, June 21-25, 2010, Proceedings | " | | 978-3-642-13522-4 | 2010 | Christian S. Calude · Masami Hagiya · Kenichi Morita · Jonathan Timmis |
| Unconventional Computation: 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings | " | | 978-3-642-21340-3 | 2011 | Cristian S. Calude · Jarkko Kari · Ion Petre |
| Unifying Petri Nets: Advances in Petri Nets | " | | 978-3-540-43067-4 | 2008 | Gabriel Juhas · Hartmut Ehrig · Julia Padberg |