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

Alessandr Cimatti, Alessandro Cimatti, Sebastiani, Sebastiani, Roberto Sebastiani - Theory and Applications of Satisfiability Testing -- SAT 2012

Alessandr Cimatti, Alessandro Cimatti, Sebastiani, Sebastiani, Roberto Sebastiani Theory and Applications of Satisfiability Testing -- SAT 2012 English 08.06.2012 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

H Ibarra, H Ibarra, Oscar H. Ibarra, Hsu-Chu Yen, Hsu-Chun Yen - Developments in Language Theory

H Ibarra, H Ibarra, Oscar H. Ibarra, Hsu-Chu Yen, Hsu-Chun Yen Developments in Language Theory English 08.06.2012 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Martin Kutrib, Nelm Moreira, Nelma Moreira, Rogério Reis - Descriptional Complexity of Formal Systems

Martin Kutrib, Nelm Moreira, Nelma Moreira, Rogério Reis Descriptional Complexity of Formal Systems English 08.06.2012 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Henning Bordihn, Marti Kutrib, Martin Kutrib, Bianca Truthe - Languages Alive

Henning Bordihn, Marti Kutrib, Martin Kutrib, Bianca Truthe Languages Alive English 08.06.2012 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Guohu Lin, Guohui Lin - Combinatorial Optimization and Applications

Guohu Lin, Guohui Lin Combinatorial Optimization and Applications English 13.06.2012 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Alastai Donaldson, Alastair Donaldson, Parker, Parker, David Parker - Model Checking Software

Alastai Donaldson, Alastair Donaldson, Parker, Parker, David Parker Model Checking Software English 13.06.2012 Paperback / Softback Fr. 65.00 1-2 weeks (title will be printed to order)

Jürgense, Helmut Jurgensen, Jürgensen, Jürgensen, Reis, Reis... - Descriptional Complexity of Formal Systems

Jürgense, Helmut Jurgensen, Jürgensen, Jürgensen, Reis, Reis... Descriptional Complexity of Formal Systems English 06.06.2013 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Igo Potapov, Igor Potapov - Developments in Language Theory

Igo Potapov, Igor Potapov Developments in Language Theory English 01.01.2015 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

A Schwarzmann, A Schwarzmann, Andrze Pelc, Andrzej Pelc, Alexander A. Schwarzmann - Stabilization, Safety, and Security of Distributed Systems

A Schwarzmann, A Schwarzmann, Andrze Pelc, Andrzej Pelc, Alexander A. Schwarzmann Stabilization, Safety, and Security of Distributed Systems English 01.01.2015 Paperback / Softback Fr. 76.00 1-2 weeks (title will be printed to order)

Nam P. Nguyen, Nam T. Nguyen, Na P Nguyen, Nam P Nguyen, Huawei Shen, My T. Thai - Computational Social Networks

Nam P. Nguyen, Nam T. Nguyen, Na P Nguyen, Nam P Nguyen, Huawei Shen, My T. Thai Computational Social Networks English 01.01.2015 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Swara Chaudhuri, Swarat Chaudhuri, Farzan, Farzan, Azadeh Farzan - Computer Aided Verification

Swara Chaudhuri, Swarat Chaudhuri, Farzan, Farzan, Azadeh Farzan Computer Aided Verification English 01.01.2016 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Manue Mazzara, Manuel Mazzara, Voronkov, Voronkov, Andrei Voronkov - Perspectives of System Informatics

Manue Mazzara, Manuel Mazzara, Voronkov, Voronkov, Andrei Voronkov Perspectives of System Informatics English 01.01.2016 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Amo Fiat, Amos Fiat, Sanders, Sanders, Peter Sanders - Algorithms - ESA 2009

Amo Fiat, Amos Fiat, Sanders, Sanders, Peter Sanders Algorithms - ESA 2009 English 01.01.2009 Paperback / Softback Fr. 134.00 1-2 weeks (title will be printed to order)

Sandrine Blazy, Christin Paulin-Mohring, Christine Paulin-Mohring, David Pichardie - Interactive Theorem Proving

Sandrine Blazy, Christin Paulin-Mohring, Christine Paulin-Mohring, David Pichardie Interactive Theorem Proving English 01.01.2014 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Bernady O. Apduhan, Maurizio Carlini, Maurizio Carlini et al, Osvaldo Gervasi, Sanja Misra, Sanjay Misra... - Computational Science and Its Applications -- ICCSA 2013. Pt.2

Bernady O. Apduhan, Maurizio Carlini, Maurizio Carlini et al, Osvaldo Gervasi, Sanja Misra, Sanjay Misra... Computational Science and Its Applications -- ICCSA 2013. Pt.2 English 19.06.2013 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Bernady O. Apduhan, Maurizio Carlini, Maurizio Carlini et al, Osvaldo Gervasi, Sanja Misra, Sanjay Misra... - Computational Science and Its Applications -- ICCSA 2013. Pt.3

Bernady O. Apduhan, Maurizio Carlini, Maurizio Carlini et al, Osvaldo Gervasi, Sanja Misra, Sanjay Misra... Computational Science and Its Applications -- ICCSA 2013. Pt.3 English 19.06.2013 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Bernady O. Apduhan, Maurizio Carlini, Maurizio Carlini et al, Osvaldo Gervasi, Sanja Misra, Sanjay Misra... - Computational Science and Its Applications -- ICCSA 2013. Pt.4

Bernady O. Apduhan, Maurizio Carlini, Maurizio Carlini et al, Osvaldo Gervasi, Sanja Misra, Sanjay Misra... Computational Science and Its Applications -- ICCSA 2013. Pt.4 English 19.06.2013 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Bernady O. Apduhan, Maurizio Carlini, Maurizio Carlini et al, Osvaldo Gervasi, Sanja Misra, Sanjay Misra... - Computational Science and Its Applications -- ICCSA 2013. Pt.5

Bernady O. Apduhan, Maurizio Carlini, Maurizio Carlini et al, Osvaldo Gervasi, Sanja Misra, Sanjay Misra... Computational Science and Its Applications -- ICCSA 2013. Pt.5 English 19.06.2013 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Bernady O. Apduhan, Maurizio Carlini, Maurizio Carlini et al, Osvaldo Gervasi, Sanja Misra, Sanjay Misra... - Computational Science and Its Applications -- ICCSA 2013. Pt.1

Bernady O. Apduhan, Maurizio Carlini, Maurizio Carlini et al, Osvaldo Gervasi, Sanja Misra, Sanjay Misra... Computational Science and Its Applications -- ICCSA 2013. Pt.1 English 19.06.2013 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Carroll Morgan, Carroll Morgan, Marti Leucker, Martin Leucker, Carroll Morgan, Charles Carroll Morgan - Theoretical Aspects of Computing - ICTAC 2009

Carroll Morgan, Carroll Morgan, Marti Leucker, Martin Leucker, Carroll Morgan, Charles Carroll Morgan Theoretical Aspects of Computing - ICTAC 2009 English 01.01.2009 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

1
...
12
13
14
...
66