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

Pascal Van Hentenryck, Pascal van Hentenryck - Principles and Practice of Constraint Programming - CP 2002

Pascal Van Hentenryck, Pascal van Hentenryck Principles and Practice of Constraint Programming - CP 2002 English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks

Manuel Hermenegildo, German Puebla - Static Analysis

Manuel Hermenegildo, German Puebla Static Analysis English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Peter J. Stuckey - Logic Programming

Peter J. Stuckey Logic Programming English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Giorgia Ghelli, Gosta Grahne - Database Programming Languages

Giorgia Ghelli, Gosta Grahne Database Programming Languages English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Veronica Dahl, Philip Wadler - Practical Aspects of Declarative Languages

Veronica Dahl, Philip Wadler Practical Aspects of Declarative Languages English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Laurent Fribourg - Computer Science Logic

Laurent Fribourg Computer Science Logic English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks

Lars-Henrik Eriksson, Peter A. Lindsay - FME 2002: Formal Methods - Getting IT Right

Lars-Henrik Eriksson, Peter A. Lindsay FME 2002: Formal Methods - Getting IT Right English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks

Tobia Nipkow, Tobias Nipkow, Lawrence Paulson, Lawrence C Paulson, Lawrence C. Paulson, Markus Wenzel - Isabelle/HOL

Tobia Nipkow, Tobias Nipkow, Lawrence Paulson, Lawrence C Paulson, Lawrence C. Paulson, Markus Wenzel Isabelle/HOL English 25.04.2002 Paperback / Softback Fr. 77.00 6-7 weeks

Pau Hudak, Paul Hudak, S Warren, S Warren, David S. Warren - Practical Aspects of Declarative Languages

Pau Hudak, Paul Hudak, S Warren, S Warren, David S. Warren Practical Aspects of Declarative Languages English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Johan Jeuring, Simon Peyton Jones - Advanced Functional Programming

Johan Jeuring, Simon Peyton Jones Advanced Functional Programming English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Nigel R. Horspool, R. N. Horspool, R. Niegel Horspool - Compiler Construction

Nigel R. Horspool, R. N. Horspool, R. Niegel Horspool Compiler Construction English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Furio Honsell, Marino Miculan - Foundations of Software Science and Computation Structures

Furio Honsell, Marino Miculan Foundations of Software Science and Computation Structures English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Farhad Arbab, Carolyn Talcott - Coordination Models and Languages

Farhad Arbab, Carolyn Talcott Coordination Models and Languages English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Martin Braschler, Julio Gonzalo, Michael Kluck, Carol Peters - Evaluation of Cross-Language Information Retrieval Systems

Martin Braschler, Julio Gonzalo, Michael Kluck, Carol Peters Evaluation of Cross-Language Information Retrieval Systems English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks

R. Nieuwenhuis, Robert Nieuwenhuis - Rewriting Techniques and Applications

R. Nieuwenhuis, Robert Nieuwenhuis Rewriting Techniques and Applications English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Andrei Voronkov - Automated Deduction - CADE-18

Andrei Voronkov Automated Deduction - CADE-18 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

B. Falsafi, T. N. Vijaykumar, T.N. Vijaykumar - Power-Aware Computer Systems

B. Falsafi, T. N. Vijaykumar, T.N. Vijaykumar Power-Aware Computer Systems English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Vaclav Matousek, Paul Mautner, Roman Moucek, Karel Tauser - Text, Speech and Dialogue

Vaclav Matousek, Paul Mautner, Roman Moucek, Karel Tauser Text, Speech and Dialogue English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Marti Gogolla, Martin Gogolla, Kobryn, Kobryn, Cris Kobryn - UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools

Marti Gogolla, Martin Gogolla, Kobryn, Kobryn, Cris Kobryn UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Naoki Kobayashi, Benjamin C. Pierce - Theoretical Aspects of Computer Software

Naoki Kobayashi, Benjamin C. Pierce Theoretical Aspects of Computer Software English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

1
...
40
41
42
...
56