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)

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)

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)

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

Andrea Tettamanzi, Marco Tomassini - Soft Computing

Andrea Tettamanzi, Marco Tomassini Soft Computing English 09.12.2010 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)

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)

Marco Bernardo, Rocco De Nicola, Jane Hillston - Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Marco Bernardo, Rocco De Nicola, Jane Hillston Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems English 12.06.2016 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Emanuel Kitzelmann, Ute Schmid - Approaches and Applications of Inductive Programming

Emanuel Kitzelmann, Ute Schmid Approaches and Applications of Inductive Programming English 14.04.2010 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Jing Sun, Meng Sun - Formal Methods and Software Engineering

Jing Sun, Meng Sun Formal Methods and Software Engineering English 11.10.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Farid Karimipour, Miguel R. Luaces, Miguel R. Luaces - Web and Wireless Geographical Information Systems

Farid Karimipour, Miguel R. Luaces, Miguel R. Luaces Web and Wireless Geographical Information Systems English 17.04.2018 Paperback / Softback Fr. 58.50 1-2 weeks (title will be printed to order)

Michael Butler, Thai Son Hoang, Alexander Raschke, Klaus Reichl - Abstract State Machines, Alloy, B, TLA, VDM, and Z

Michael Butler, Thai Son Hoang, Alexander Raschke, Klaus Reichl Abstract State Machines, Alloy, B, TLA, VDM, and Z English 08.05.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

1
2
3
4
...
83