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

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

Nabil Abdennadher, Nabi Abdennahder, Nabil Abdennahder, KORDON, Kordon, Fabrice Kordon - Reliable Software Technologies - Ada-Europe 2007

Nabil Abdennadher, Nabi Abdennahder, Nabil Abdennahder, KORDON, Kordon, Fabrice Kordon Reliable Software Technologies - Ada-Europe 2007 English 05.08.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Hubert Comon-Lundh, Claud Kirchner, Claude Kirchner, Hélène Kirchner - Rewriting, Computation and Proof

Hubert Comon-Lundh, Claud Kirchner, Claude Kirchner, Hélène Kirchner Rewriting, Computation and Proof English 05.08.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Neil Ellis, Neil et Ellis, Meera Kunnumpurath, Meeraj Kunnumpurath, Meeraj M. Kunnumpurath, Meeraj Moidoo Kunnumpurath... - Pro J2EE 1.4

Neil Ellis, Neil et Ellis, Meera Kunnumpurath, Meeraj Kunnumpurath, Meeraj M. Kunnumpurath, Meeraj Moidoo Kunnumpurath... Pro J2EE 1.4 English 01.01.2004 Paperback / Softback Fr. 110.00 6-7 weeks

Silvia Acuna, Silvia T Acuna, Silvia T. Acuna, Natali Juristo, Natalia Juristo, Alicia Mon... - A Software Process Model Handbook for Incorporating People's Capabilities

Silvia Acuna, Silvia T Acuna, Silvia T. Acuna, Natali Juristo, Natalia Juristo, Alicia Mon... A Software Process Model Handbook for Incorporating People's Capabilities English 01.01.2005 Hardback Fr. 193.00 6-7 weeks

D. Björner, Dines Bjørner - Software Engineering 2. Vol.2

D. Björner, Dines Bjørner Software Engineering 2. Vol.2 English 01.03.2006 Hardback Fr. 70.00 6-7 weeks

William Clocksin, William F Clocksin, William F. Clocksin, Christopher S Mellish, Christopher S. Mellish - Programming in Prolog

William Clocksin, William F Clocksin, William F. Clocksin, Christopher S Mellish, Christopher S. Mellish Programming in Prolog English 01.01.2003 Paperback / Softback Fr. 97.00 6-7 weeks

A. J. Herbert, Andrew Herbert, Andrew James Herbert, Karen Spärck Jones, Karen I.B. Spaerck Jones, Karen Spaerck-Jones... - Computer Systems

A. J. Herbert, Andrew Herbert, Andrew James Herbert, Karen Spärck Jones, Karen I.B. Spaerck Jones, Karen Spaerck-Jones... Computer Systems English 01.01.2004 Hardback Fr. 110.00 6-7 weeks

Eric Wong, W Eric Wong, W. Eric Wong - Mutation Testing for the New Century

Eric Wong, W Eric Wong, W. Eric Wong Mutation Testing for the New Century English 01.01.2007 Hardback Fr. 207.00 6-7 weeks

Ivica Crnkovic, Raffaela Mirandola, Danny Weyns - Software Architecture

Ivica Crnkovic, Raffaela Mirandola, Danny Weyns Software Architecture English 26.08.2015 Paperback / Softback Fr. 70.00 6-7 weeks

Coen van Gulijk, Floor Koornneef, Coen van Gulijk - Computer Safety, Reliability, and Security

Coen van Gulijk, Floor Koornneef, Coen van Gulijk Computer Safety, Reliability, and Security English 26.11.2015 Paperback / Softback Fr. 70.00 6-7 weeks

1
...
27
28
29
...
56