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

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)

B. K. Aichernig, Bernhard K. Aichernig, T. Maibaum, Tom Maibaum - Formal Methods at the Crossroads. From Panacea to Foundational Support

B. K. Aichernig, Bernhard K. Aichernig, T. Maibaum, Tom Maibaum Formal Methods at the Crossroads. From Panacea to Foundational Support English 18.11.2003 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)

Michael Schroeder, Gerd Wagner - Rules and Rule Markup Languages for the Semantic Web

Michael Schroeder, Gerd Wagner Rules and Rule Markup Languages for the Semantic Web English 09.10.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)

Susanne Graf, Laurent Mounier - Model Checking Software

Susanne Graf, Laurent Mounier Model Checking Software English 18.03.2004 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Frank Mueller - High-Level Parallel Programming Models and Supportive Environments

Frank Mueller High-Level Parallel Programming Models and Supportive Environments English 04.04.2001 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Matthew Dwyer - Model Checking Software

Matthew Dwyer Model Checking Software English 02.05.2001 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)

Stein Krogdahl, Tom Lyche, Olaf Owe - From Object-Orientation to Formal Methods

Stein Krogdahl, Tom Lyche, Olaf Owe From Object-Orientation to Formal Methods English 31.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)

Maurice Bruynooghe - Logic Based Program Synthesis and Transformation

Maurice Bruynooghe Logic Based Program Synthesis and Transformation English 24.06.2004 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Bruce Watson, Derick Wood - Implementation and Application of Automata

Bruce Watson, Derick Wood Implementation and Application of Automata English 16.01.2003 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Hubert Baumeister, Jutta Eckstein - Extreme Programming and Agile Processes in Software Engineering

Hubert Baumeister, Jutta Eckstein Extreme Programming and Agile Processes in Software Engineering English 01.06.2004 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Wolfgang Emmerich, Alexander L. Wolf - Component Deployment

Wolfgang Emmerich, Alexander L. Wolf Component Deployment English 11.05.2004 Paperback / Softback Fr. 72.00 1-2 weeks (title will be printed to order)

Hans-Dieter Ehrich, John-Jules Ch. Meyer, Mark Ryan - Objects, Agents, and Features

Hans-Dieter Ehrich, John-Jules Ch. Meyer, Mark Ryan Objects, Agents, and Features English 02.06.2004 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Hakan Erdogmus, Lowell Lindstrom, Carmen Zannier - Extreme Programming and Agile Methods - XP/Agile Universe 2004

Hakan Erdogmus, Lowell Lindstrom, Carmen Zannier Extreme Programming and Agile Methods - XP/Agile Universe 2004 English 03.08.2004 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

1
2
3
4
...
65