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

Jean Pierre Banatre, Jean-Pierre Banatre, Matthias Hölzl, Axel Rauschmayer, Martin Wirsing - Software-Intensive Systems and New Computing Paradigms

Jean Pierre Banatre, Jean-Pierre Banatre, Matthias Hölzl, Axel Rauschmayer, Martin Wirsing Software-Intensive Systems and New Computing Paradigms English 06.11.2008 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

David England, Philippe Palanque, Jean Vanderdonckt, Peter Wild - Task Models and Diagrams for User Interface Design

David England, Philippe Palanque, Jean Vanderdonckt, Peter Wild Task Models and Diagrams for User Interface Design English 18.02.2010 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych - Information and Communication Technologies in Education, Research, and Industrial Applications

Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych Information and Communication Technologies in Education, Research, and Industrial Applications English 05.12.2013 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Markus Müller-Olm - Variations on Constants

Markus Müller-Olm Variations on Constants English 02.10.2006 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Kim G. Larsen, Peter Niebert - Formal Modeling and Analysis of Timed Systems

Kim G. Larsen, Peter Niebert Formal Modeling and Analysis of Timed Systems English 08.04.2004 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Krzysztof R. Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef Váncza - Recent Advances in Constraints

Krzysztof R. Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef Váncza Recent Advances in Constraints English 07.04.2004 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Tiziana Maragria, Bernhard Steffen - Leveraging Applications of Formal Methods

Tiziana Maragria, Bernhard Steffen Leveraging Applications of Formal Methods English 03.11.2006 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Michael G. Hinchey, James L. Rash, Christopher A. Rouff, Walter F. Truszkowski - Formal Approaches to Agent-Based Systems

Michael G. Hinchey, James L. Rash, Christopher A. Rouff, Walter F. Truszkowski Formal Approaches to Agent-Based Systems English 31.01.2005 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Cristina Baroglio, Piero A. Bonatti, Jan Maluszynski, Massimo Marchiori, Axel Polleres, Sebastian Schaffert - Reasoning Web

Cristina Baroglio, Piero A. Bonatti, Jan Maluszynski, Massimo Marchiori, Axel Polleres, Sebastian Schaffert Reasoning Web English 25.08.2008 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Paolo Giorgini, Jörg Müller, Jörg P. Müller, James Odell - Agent-Oriented Software Engineering V

Paolo Giorgini, Jörg Müller, Jörg P. Müller, James Odell Agent-Oriented Software Engineering V English 24.01.2005 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Oleg Sokolsky, Serdar Tasiran - Runtime Verification

Oleg Sokolsky, Serdar Tasiran Runtime Verification English 12.12.2007 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

András Horváth, Miklós Telek - Formal Methods and Stochastic Models for Performance Evaluation

András Horváth, Miklós Telek Formal Methods and Stochastic Models for Performance Evaluation English 12.06.2006 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

M. Bidoit, Michel Bidoit, P. D. Mosses, Peter D. Mosses - CASL User Manual

M. Bidoit, Michel Bidoit, P. D. Mosses, Peter D. Mosses CASL User Manual English 29.01.2004 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Atsushi Ohori - Programming Languages and Systems

Atsushi Ohori Programming Languages and Systems English 12.11.2003 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

R. Focardi, Riccardo Focardi, Roberto Gorrieri - Foundations of Security Analysis and Design II

R. Focardi, Riccardo Focardi, Roberto Gorrieri Foundations of Security Analysis and Design II English 28.01.2004 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Evelyn Duesterwald - Compiler Construction

Evelyn Duesterwald Compiler Construction English 18.03.2004 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack - Types for Proofs and Programs

Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack Types for Proofs and Programs English 20.02.2002 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Yukiyoshi Kameyama, Peter J. Stuckey - Functional and Logic Programming

Yukiyoshi Kameyama, Peter J. Stuckey Functional and Logic Programming English 24.03.2004 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Bharat Jayaraman - Practical Aspects of Declarative Languages

Bharat Jayaraman Practical Aspects of Declarative Languages English 14.06.2004 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

R. Berghammer, Bernhard Möller, Georg Struth - Relational and Kleene-Algebraic Methods in Computer Science

R. Berghammer, Bernhard Möller, Georg Struth Relational and Kleene-Algebraic Methods in Computer Science English 01.06.2004 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

1
2
3
4
...
60