Search result - Books - CeDe.ch

Your contact at CeDe

Any questions, tips, praise or criticism? Your feedback helps us to make CeDe.ch even better. That's why we are pleased to receive every message and answer all our emails quickly, competently and willingly. Thank you!

This site uses cookies. Read our privacy policy to learn more about how we use cookies and how you can change your preferences. OK

Top service and free shipping since 1997

Search result

Hubert Comon, Claude Marche, Ralf Treinen - Constraints in Computational Logics. Theory and Applications

Hubert Comon, Claude Marche, Ralf Treinen Constraints in Computational Logics. Theory and Applications English 18.04.2001 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Olivier Danvy, Andrzej Filinski - Programs as Data Objects

Olivier Danvy, Andrzej Filinski Programs as Data Objects English 25.04.2001 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

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. 69.00 1-2 weeks (title will be printed to order)

Robert Harper - Types in Compilation

Robert Harper Types in Compilation English 20.06.2001 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Oliver Boldt, Helmut Jürgensen - Automata Implementation

Oliver Boldt, Helmut Jürgensen Automata Implementation English 24.10.2001 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

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. 69.00 1-2 weeks (title will be printed to order)

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. 69.00 1-2 weeks (title will be printed to order)

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. 69.00 1-2 weeks (title will be printed to order)

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. 69.00 1-2 weeks (title will be printed to order)

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. 69.00 1-2 weeks (title will be printed to order)

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. 69.00 1-2 weeks (title will be printed to order)

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. 69.00 1-2 weeks (title will be printed to order)

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. 69.00 1-2 weeks (title will be printed to order)

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. 72.00 1-2 weeks (title will be printed to order)

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. 69.00 1-2 weeks (title will be printed to order)

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. 69.00 1-2 weeks (title will be printed to order)

Daniel Le Metayer - Programming Languages and Systems

Daniel Le Metayer Programming Languages and Systems English 20.03.2002 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

M. Leuschel - Logic Based Program Synthesis and Transformation

M. Leuschel Logic Based Program Synthesis and Transformation English 18.06.2003 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Patrick Cousot - Static Analysis

Patrick Cousot Static Analysis English 04.07.2001 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Martin Hofmann - Typed Lambda Calculi and Applications

Martin Hofmann Typed Lambda Calculi and Applications English 27.05.2003 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

1
2
3
4
...
67