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

Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk - Proof Theory in Computer Science

Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk Proof Theory in Computer Science English 28.09.2001 Paperback / Softback Fr. 70.00 6-7 weeks

Siddhartha Chatterjee, Jeanne Ferrante, Manish Gupta, Samuel P. Midkiff, Jose E. Moreira, Jan Prins... - Languages and Compilers for Parallel Computing

Siddhartha Chatterjee, Jeanne Ferrante, Manish Gupta, Samuel P. Midkiff, Jose E. Moreira, Jan Prins... Languages and Compilers for Parallel Computing English 05.12.2001 Paperback / Softback Fr. 70.00 6-7 weeks

Dragan Bosnacki, Stefan Leue - Model Checking Software

Dragan Bosnacki, Stefan Leue Model Checking Software English 27.03.2002 Paperback / Softback Fr. 70.00 6-7 weeks

T. Fahringer, Thomas Fahringer, B. Scholz, Bernhard Scholz - Advanced Symbolic Analysis for Compilers

T. Fahringer, Thomas Fahringer, B. Scholz, Bernhard Scholz Advanced Symbolic Analysis for Compilers English 07.04.2003 Paperback / Softback Fr. 70.00 6-7 weeks

Frank Maurer, Don Wells - Extreme Programming and Agile Methods - XP/Agile Universe 2003

Frank Maurer, Don Wells Extreme Programming and Agile Methods - XP/Agile Universe 2003 English 29.07.2003 Paperback / Softback Fr. 70.00 6-7 weeks

Roland C. Backhouse, Roland Backhouse, Jeremy Gibbons - Generic Programming

Roland C. Backhouse, Roland Backhouse, Jeremy Gibbons Generic Programming English 29.09.2003 Paperback / Softback Fr. 64.00 6-7 weeks

Marco Bernardo, Paola Inverardi - Formal Methods for Software Architectures

Marco Bernardo, Paola Inverardi Formal Methods for Software Architectures English 12.09.2003 Paperback / Softback Fr. 70.00 6-7 weeks

Frank Pfenning, Yannis Smaragdakis - Generative Programming and Component Engineering

Frank Pfenning, Yannis Smaragdakis Generative Programming and Component Engineering English 12.09.2003 Paperback / Softback Fr. 70.00 6-7 weeks

Egon Börger, Joachim Schmid, Robert F. Stärk - Java and the Java Virtual Machine

Egon Börger, Joachim Schmid, Robert F. Stärk Java and the Java Virtual Machine English 23.08.2014 Paperback / Softback Fr. 70.00 6-7 weeks

Christophe Dony, Jorgen Lindskov Knudsen, Alexander Romanovsky, Anand Tripathi - Advances in Exception Handling Techniques

Christophe Dony, Jorgen Lindskov Knudsen, Alexander Romanovsky, Anand Tripathi Advances in Exception Handling Techniques English 04.04.2001 Paperback / Softback Fr. 70.00 6-7 weeks

Philippe Codognet - Logic Programming

Philippe Codognet Logic Programming English 14.11.2001 Paperback / Softback Fr. 70.00 6-7 weeks

Richard J. Boulton, Paul B. Jackson - Theorem Proving in Higher Order Logics

Richard J. Boulton, Paul B. Jackson Theorem Proving in Higher Order Logics English 22.08.2001 Paperback / Softback Fr. 70.00 6-7 weeks

Don Wells, Lauris Williams - Extreme Programming and Agile Methods - XP/Agile Universe 2002

Don Wells, Lauris Williams Extreme Programming and Agile Methods - XP/Agile Universe 2002 English 24.07.2002 Paperback / Softback Fr. 70.00 6-7 weeks

Eerke A. Boiten, Bernhard Möller - Mathematics of Program Construction

Eerke A. Boiten, Bernhard Möller Mathematics of Program Construction English 26.06.2002 Paperback / Softback Fr. 70.00 6-7 weeks

Zhenjiang Hu, Mario Rodriquez-Artalejo - Functional and Logic Programming

Zhenjiang Hu, Mario Rodriquez-Artalejo Functional and Logic Programming English 02.09.2002 Paperback / Softback Fr. 70.00 6-7 weeks

Daniel Le Metayer - Programming Languages and Systems

Daniel Le Metayer Programming Languages and Systems English 20.03.2002 Paperback / Softback Fr. 70.00 6-7 weeks

Shriram Krishnamurthi, C. R. Ramakrishnan, C.R. Ramakrishnan - Practical Aspects of Declarative Languages

Shriram Krishnamurthi, C. R. Ramakrishnan, C.R. Ramakrishnan Practical Aspects of Declarative Languages English 09.01.2002 Paperback / Softback Fr. 70.00 6-7 weeks

Agostino Cortesi - Verification, Model Checking, and Abstract Interpretation

Agostino Cortesi Verification, Model Checking, and Abstract Interpretation English 24.04.2002 Paperback / Softback Fr. 70.00 6-7 weeks

Patrick Cousot - Static Analysis

Patrick Cousot Static Analysis English 04.07.2001 Paperback / Softback Fr. 70.00 6-7 weeks

Martin Hofmann - Typed Lambda Calculi and Applications

Martin Hofmann Typed Lambda Calculi and Applications English 27.05.2003 Paperback / Softback Fr. 70.00 6-7 weeks

1
...
21
22
23
...
34