Languages
Subject
Format
Availabity
Authors

Search result

Olivier Danvy, Andrzej Filinski - Programs as Data Objects
Olivier Danvy, Andrzej Filinski Programs as Data Objects English 25.04.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Jose-Manuel Colom, Maciej Koutny - Applications and Theory of Petri Nets 2001
Jose-Manuel Colom, Maciej Koutny Applications and Theory of Petri Nets 2001 English 13.06.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Robert Harper - Types in Compilation
Robert Harper Types in Compilation English 20.06.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Oliver Boldt, Helmut Jürgensen - Automata Implementation
Oliver Boldt, Helmut Jürgensen Automata Implementation English 24.10.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk - Proof Theory in Computer Science
Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk Proof Theory in Computer Science English 28.09.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Christian S. Calude, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa - Multiset Processing
Christian S. Calude, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa Multiset Processing English 14.12.2001 Paperback / Softback Fr. 70.00 6-7 weeks
C. A. Pena-Reyes, Carlos Andrés Peña-Reyes - Coevolutionary Fuzzy Modeling
C. A. Pena-Reyes, Carlos Andrés Peña-Reyes Coevolutionary Fuzzy Modeling English 18.10.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Raymond T. Boute, C. N. Dean, C. Neville Dean - Teaching Formal Methods
Raymond T. Boute, C. N. Dean, C. Neville Dean Teaching Formal Methods English 17.11.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Raymond S. T. Lee, Raymond S.T. Lee - Fuzzy-Neuro Approach to Agent Applications
Raymond S. T. Lee, Raymond S.T. Lee Fuzzy-Neuro Approach to Agent Applications English 12.02.2010 Paperback / Softback Fr. 70.00 6-7 weeks
Johann M. Schumann - Automated Theorem Proving in Software Engineering
Johann M. Schumann Automated Theorem Proving in Software Engineering English 01.12.2010 Paperback / Softback Fr. 70.00 6-7 weeks
Harrie C. M. de Swart, Harrie C.M. de Swart - Relational Methods in Computer Science
Harrie C. M. de Swart, Harrie C.M. de Swart Relational Methods in Computer Science English 11.12.2002 Paperback / Softback Fr. 70.00 6-7 weeks
Andrea Tettamanzi, Marco Tomassini - Soft Computing
Andrea Tettamanzi, Marco Tomassini Soft Computing English 09.12.2010 Paperback / Softback Fr. 70.00 6-7 weeks
Richard J. Boulton, Paul B. Jackson - Theorem Proving in Higher Order Logics
Richard J. Boulton, Paul B. Jackson Theorem Proving in Higher Order Logics English 22.08.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Eerke A. Boiten, Bernhard Möller - Mathematics of Program Construction
Eerke A. Boiten, Bernhard Möller Mathematics of Program Construction English 26.06.2002 Paperback / Softback Fr. 70.00 6-7 weeks
Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron - Membrane Computing
Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron Membrane Computing English 25.02.2003 Paperback / Softback Fr. 73.00 6-7 weeks
Jean-Marc Champarnaud, Denis Maurel - Implementation and Application of Automata
Jean-Marc Champarnaud, Denis Maurel Implementation and Application of Automata English 23.06.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Jens Blanck, Vasco Brattka, Peter Hertling - Computability and Complexity in Analysis
Jens Blanck, Vasco Brattka, Peter Hertling Computability and Complexity in Analysis English 23.05.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Daniel Le Metayer - Programming Languages and Systems
Daniel Le Metayer Programming Languages and Systems English 20.03.2002 Paperback / Softback Fr. 70.00 6-7 weeks
M. Leuschel - Logic Based Program Synthesis and Transformation
M. Leuschel Logic Based Program Synthesis and Transformation English 18.06.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Patrick Cousot - Static Analysis
Patrick Cousot Static Analysis English 04.07.2001 Paperback / Softback Fr. 70.00 6-7 weeks