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

S. Bistarelli, Stefano Bistarelli - Semirings for Soft Constraint Solving and Programming

S. Bistarelli, Stefano Bistarelli Semirings for Soft Constraint Solving and Programming English 24.02.2004 Paperback / Softback Fr. 69.00 6-7 weeks

Kim G. Larsen, Peter Niebert - Formal Modeling and Analysis of Timed Systems

Kim G. Larsen, Peter Niebert Formal Modeling and Analysis of Timed Systems English 08.04.2004 Paperback / Softback Fr. 69.00 6-7 weeks

Cristina Baroglio, Piero A. Bonatti, Jan Maluszynski, Massimo Marchiori, Axel Polleres, Sebastian Schaffert - Reasoning Web

Cristina Baroglio, Piero A. Bonatti, Jan Maluszynski, Massimo Marchiori, Axel Polleres, Sebastian Schaffert Reasoning Web English 25.08.2008 Paperback / Softback Fr. 69.00 6-7 weeks

Frank S. de Boer, Marcello M. Bonsangue, Frank S. de Boer, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al... - Formal Methods for Components and Objects

Frank S. de Boer, Marcello M. Bonsangue, Frank S. de Boer, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al... Formal Methods for Components and Objects English 20.10.2006 Paperback / Softback Fr. 70.00 6-7 weeks

Frank Pfenning - Term Rewriting and Applications

Frank Pfenning Term Rewriting and Applications English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

B Jones, B Jones, Thoma Ball, Thomas Ball, Robert B. Jones - Computer Aided Verification

B Jones, B Jones, Thoma Ball, Thomas Ball, Robert B. Jones Computer Aided Verification English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks

Ulric Furbach, Ulrich Furbach, Shankar, Shankar, Natarajan Shankar - Automated Reasoning

Ulric Furbach, Ulrich Furbach, Shankar, Shankar, Natarajan Shankar Automated Reasoning English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks

Andrea Corradini, Hartmu Ehrig, Hartmut Ehrig, Ugo Montanari, Ugo Montanari et al, Leila Ribeiro... - Graph Transformations

Andrea Corradini, Hartmu Ehrig, Hartmut Ehrig, Ugo Montanari, Ugo Montanari et al, Leila Ribeiro... Graph Transformations English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Davi Lightfoot, David Lightfoot, Szyperski, Szyperski, Clemens Szyperski - Modular Programming Languages

Davi Lightfoot, David Lightfoot, Szyperski, Szyperski, Clemens Szyperski Modular Programming Languages English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Eugene Asarin, Patricia Bouyer - Formal Modeling and Analysis of Timed Systems

Eugene Asarin, Patricia Bouyer Formal Modeling and Analysis of Timed Systems English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Zoltá Ésik, Zoltán Ésik - Computer Science Logic

Zoltá Ésik, Zoltán Ésik Computer Science Logic English 26.06.2009 Paperback / Softback Fr. 135.00 6-7 weeks

Helder Coelho, Solange Oliveira Rezende, Jaime Simao Sichman, Jaime Simão Sichman - Advances in Artificial Intelligence - IBERAMIA-SBIA 2006

Helder Coelho, Solange Oliveira Rezende, Jaime Simao Sichman, Jaime Simão Sichman Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks

Janus Górski, Janusz Górski, Janusz Gòrski - Computer Safety, Reliability, and Security

Janus Górski, Janusz Górski, Janusz Gòrski Computer Safety, Reliability, and Security English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Manfred Broy, Ingolf Krüger, Michael Meisinger - Automotive Software-Connected Services in Mobile Networks

Manfred Broy, Ingolf Krüger, Michael Meisinger Automotive Software-Connected Services in Mobile Networks English 05.11.2012 Paperback / Softback Fr. 70.00 6-7 weeks

Susanne Graf, Wenhui Zhang - Automated Technology for Verification and Analysis

Susanne Graf, Wenhui Zhang Automated Technology for Verification and Analysis English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Jifeng He, Zhiming Liu - Formal Methods and Software Engineering

Jifeng He, Zhiming Liu Formal Methods and Software Engineering English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks

Mik Hermann, Miki Hermann, Voronkov, Voronkov, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning

Mik Hermann, Miki Hermann, Voronkov, Voronkov, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks

Matthia Baaz, Matthias Baaz, M Makowsky, M Makowsky, J. A. Makowsky, Johann M. Makowsky - Computer Science Logic

Matthia Baaz, Matthias Baaz, M Makowsky, M Makowsky, J. A. Makowsky, Johann M. Makowsky Computer Science Logic English 26.06.2009 Paperback / Softback Fr. 135.00 6-7 weeks

Laszlo Böszörmenyi, Lászl Böszörményi, László Böszörményi, Schojer, Schojer, Peter Schojer - Modular Programming Languages

Laszlo Böszörmenyi, Lászl Böszörményi, László Böszörményi, Schojer, Schojer, Peter Schojer Modular Programming Languages English 15.03.2011 Paperback / Softback Fr. 70.00 6-7 weeks

E. Sheratt, Ede Sherratt, Edel Sherratt - Telecommunications and beyond: The Broader Applicability of SDL and MSC

E. Sheratt, Ede Sherratt, Edel Sherratt Telecommunications and beyond: The Broader Applicability of SDL and MSC English 26.06.2009 Paperback / Softback Fr. 70.00 6-7 weeks

1
...
23
24
25
...
46