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

Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Wolfram Luther et al, Christop M Hoffmann, Christoph M Hoffmann... - Reliable Implementation of Real Number Algorithms: Theory and Practice

Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Wolfram Luther et al, Christop M Hoffmann, Christoph M Hoffmann... Reliable Implementation of Real Number Algorithms: Theory and Practice English 01.01.2008 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Paul Boca, Egon Börger, Jonathan P. Bowen, Michae Butler, Michael Butler, Jonathan P Bowen et al - Abstract State Machines, B and Z

Paul Boca, Egon Börger, Jonathan P. Bowen, Michae Butler, Michael Butler, Jonathan P Bowen et al Abstract State Machines, B and Z English 29.01.2013 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Maria Josa Blesa Aguilera, Christian Blum, Carlo Cotta, Carlos Cotta, Antonio J. Fernández, Antonio José Fernández Leiva... - Hybrid Metaheuristics

Maria Josa Blesa Aguilera, Christian Blum, Carlo Cotta, Carlos Cotta, Antonio J. Fernández, Antonio José Fernández Leiva... Hybrid Metaheuristics English 01.01.2008 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Orn Grumberg, Orna Grumberg, Veith, Veith, Helmut Veith - 25 Years of Model Checking

Orn Grumberg, Orna Grumberg, Veith, Veith, Helmut Veith 25 Years of Model Checking English 19.06.2008 Paperback / Softback Fr. 49.90 1-2 weeks (title will be printed to order)

Ezi Bartocci, Ezio Bartocci, R Ramakrishnan, R Ramakrishnan, C. R. Ramakrishnan - Model Checking Software

Ezi Bartocci, Ezio Bartocci, R Ramakrishnan, R Ramakrishnan, C. R. Ramakrishnan Model Checking Software English 03.06.2013 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Fedor V. Fomin, Rusin Freivalds, Rusins Freivalds, Marta Kwiatkowska, Marta Kwiatkowska et al, David Peleg - Automata, Languages, and Programming

Fedor V. Fomin, Rusin Freivalds, Rusins Freivalds, Marta Kwiatkowska, Marta Kwiatkowska et al, David Peleg Automata, Languages, and Programming English 03.06.2013 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Fedor V. Fomin, Rusin Freivalds, Rusins Freivalds, Marta Kwiatkowska, Marta Kwiatkowska et al, David Peleg - Automata, Languages, and Programming

Fedor V. Fomin, Rusin Freivalds, Rusins Freivalds, Marta Kwiatkowska, Marta Kwiatkowska et al, David Peleg Automata, Languages, and Programming English 03.06.2013 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Saint Mary's University Department of Mathematics, Stavro Konstantinidis, Stavros Konstantinidis - Implementation and Application of Automata

Saint Mary's University Department of Mathematics, Stavro Konstantinidis, Stavros Konstantinidis Implementation and Application of Automata English 03.06.2013 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Shaoyin Liu, Shaoying Liu - Structured Object-Oriented Formal Language and Method

Shaoyin Liu, Shaoying Liu Structured Object-Oriented Formal Language and Method English 03.06.2013 Paperback / Softback Fr. 65.00 1-2 weeks (title will be printed to order)

Francesc Parisi-Presicce, Francesco Parisi-Presicce, Westfechtel, Westfechtel, Bernhard Westfechtel - Graph Transformation

Francesc Parisi-Presicce, Francesco Parisi-Presicce, Westfechtel, Westfechtel, Bernhard Westfechtel Graph Transformation English 01.01.2015 Paperback / Softback Fr. 67.00 1-2 weeks (title will be printed to order)

Bernady O. Apduhan, Marina L. Gavrilova, Osvaldo Gervasi, Sanjay Misra, Sanjay Misra et al, Beniamin Murgante... - Computational Science and Its Applications -- ICCSA 2015

Bernady O. Apduhan, Marina L. Gavrilova, Osvaldo Gervasi, Sanjay Misra, Sanjay Misra et al, Beniamin Murgante... Computational Science and Its Applications -- ICCSA 2015 English 01.01.2015 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Dingzhu Du, Dongle Du, Donglei Du, Dachuan Xu - Computing and Combinatorics

Dingzhu Du, Dongle Du, Donglei Du, Dachuan Xu Computing and Combinatorics English 01.01.2015 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Bernady O. Apduhan, Marina L. Gavrilova, Osvaldo Gervasi, Sanjay Misra, Sanjay Misra et al, Beniamin Murgante... - Computational Science and Its Applications -- ICCSA 2015

Bernady O. Apduhan, Marina L. Gavrilova, Osvaldo Gervasi, Sanjay Misra, Sanjay Misra et al, Beniamin Murgante... Computational Science and Its Applications -- ICCSA 2015 English 01.01.2015 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Bernady O. Apduhan, Marina L. Gavrilova, Osvaldo Gervasi, Sanjay Misra, Sanjay Misra et al, Beniamin Murgante... - Computational Science and Its Applications -- ICCSA 2015

Bernady O. Apduhan, Marina L. Gavrilova, Osvaldo Gervasi, Sanjay Misra, Sanjay Misra et al, Beniamin Murgante... Computational Science and Its Applications -- ICCSA 2015 English 01.01.2015 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Bernady O. Apduhan, Marina L. Gavrilova, Osvaldo Gervasi, Sanjay Misra, Sanjay Misra et al, Beniamin Murgante... - Computational Science and Its Applications -- ICCSA 2015

Bernady O. Apduhan, Marina L. Gavrilova, Osvaldo Gervasi, Sanjay Misra, Sanjay Misra et al, Beniamin Murgante... Computational Science and Its Applications -- ICCSA 2015 English 01.01.2015 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Bernady O. Apduhan, Marina L. Gavrilova, Osvaldo Gervasi, Sanjay Misra, Sanjay Misra et al, Beniamin Murgante... - Computational Science and Its Applications -- ICCSA 2015

Bernady O. Apduhan, Marina L. Gavrilova, Osvaldo Gervasi, Sanjay Misra, Sanjay Misra et al, Beniamin Murgante... Computational Science and Its Applications -- ICCSA 2015 English 01.01.2015 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Mei Chen, Bastia Leibe, Bastian Leibe, Bernd Neumann - Computer Vision Systems

Mei Chen, Bastia Leibe, Bastian Leibe, Bernd Neumann Computer Vision Systems English 06.06.2013 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Danie Kroening, Daniel Kroening, Corina S. P¿s¿reanu, Corina S. Pasareanu, Corina S. Păsăreanu, S Pasareanu... - Computer Aided Verification

Danie Kroening, Daniel Kroening, Corina S. P¿s¿reanu, Corina S. Pasareanu, Corina S. Păsăreanu, S Pasareanu... Computer Aided Verification English 01.01.2015 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Danie Kroening, Daniel Kroening, Corina S. P¿s¿reanu, Corina S. Pasareanu, Corina S. Păsăreanu, S Pasareanu... - Computer Aided Verification

Danie Kroening, Daniel Kroening, Corina S. P¿s¿reanu, Corina S. Pasareanu, Corina S. Păsăreanu, S Pasareanu... Computer Aided Verification English 01.01.2015 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Nelm Moreira, Nelma Moreira, Reis, Reis, Rogério Reis - Implementation and Application of Automata

Nelm Moreira, Nelma Moreira, Reis, Reis, Rogério Reis Implementation and Application of Automata English 08.06.2012 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

1
...
11
12
13
...
66