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

A. Restivo, Antonio Restivo, S. Ronchi Della Rocca, Simon Ronchi Della Rocca, Simona Ronchi Della Rocca, L. Roversi... - Theoretical Computer Science

A. Restivo, Antonio Restivo, S. Ronchi Della Rocca, Simon Ronchi Della Rocca, Simona Ronchi Della Rocca, L. Roversi... Theoretical Computer Science English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Paolo Ciancarini, Gerhar Weiss, Gerhard Weiss, Michael J. Wooldridge - Agent-Oriented Software Engineering II

Paolo Ciancarini, Gerhar Weiss, Gerhard Weiss, Michael J. Wooldridge Agent-Oriented Software Engineering II English 28.03.2002 Paperback / Softback Fr. 70.00 6-7 weeks

ENGBERG, Engberg, Uffe Engberg, Mogen Nielsen, Mogens Nielsen - Foundations of Software Science and Computation Structures

ENGBERG, Engberg, Uffe Engberg, Mogen Nielsen, Mogens Nielsen Foundations of Software Science and Computation Structures English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Joost-Piete Katoen, Joost-Pieter Katoen, Stevens, Stevens, Perdita Stevens - Tools and Algorithms for the Construction and Analysis of Systems

Joost-Piete Katoen, Joost-Pieter Katoen, Stevens, Stevens, Perdita Stevens Tools and Algorithms for the Construction and Analysis of Systems English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Wilfried Brauer, Hartmu Ehrig, Hartmut Ehrig, Juhani Karhumäki, Juhani Karhumäki et al, Arto K. Salomaa - Formal and Natural Computing

Wilfried Brauer, Hartmu Ehrig, Hartmut Ehrig, Juhani Karhumäki, Juhani Karhumäki et al, Arto K. Salomaa Formal and Natural Computing English 28.03.2002 Paperback / Softback Fr. 70.00 6-7 weeks

Thoma Arts, Thomas Arts, Mohnen, Mohnen, Markus Mohnen - Implementation of Functional Languages

Thoma Arts, Thomas Arts, Mohnen, Mohnen, Markus Mohnen Implementation of Functional Languages English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Sophi Tison, Sophie Tison - Rewriting Techniques and Applications

Sophi Tison, Sophie Tison Rewriting Techniques and Applications English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Bori Magnusson, Boris Magnusson - ECOOP 2002 - Object-Oriented Programming

Bori Magnusson, Boris Magnusson ECOOP 2002 - Object-Oriented Programming English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks

Lubos Brim, Pet Jancar, Petr Jancar, Mojmir Kretinsky, Mojmir Kretinsky et al, Antonin Kucera - CONCUR 2002 - Concurrency Theory

Lubos Brim, Pet Jancar, Petr Jancar, Mojmir Kretinsky, Mojmir Kretinsky et al, Antonin Kucera CONCUR 2002 - Concurrency Theory English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks

Holge Hermanns, Holger Hermanns, SEGALA, Segala, Roberto Segala - Process Algebra and Probabilistic Methods: Performance Modeling and Verification

Holge Hermanns, Holger Hermanns, SEGALA, Segala, Roberto Segala Process Algebra and Probabilistic Methods: Performance Modeling and Verification English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie - Formal Methods and Software Engineering

Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie Formal Methods and Software Engineering English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Roland Backhouse, Jerem Gibbons, Jeremy Gibbons, Ralf Hinze, Ralf Hinze et al, Johan Jeuring... - Datatype-Generic Programming

Roland Backhouse, Jerem Gibbons, Jeremy Gibbons, Ralf Hinze, Ralf Hinze et al, Johan Jeuring... Datatype-Generic Programming English 14.04.2009 Paperback / Softback Fr. 69.00 6-7 weeks

Hilar Johnson, Hilary Johnson, Philippe Palanque, Marco Winckler - Task Models and Diagrams for User Interface Design

Hilar Johnson, Hilary Johnson, Philippe Palanque, Marco Winckler Task Models and Diagrams for User Interface Design English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Roland Backhouse, Ro Crole, Roy Crole, Jeremy Gibbons - Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

Roland Backhouse, Ro Crole, Roy Crole, Jeremy Gibbons Algebraic and Coalgebraic Methods in the Mathematics of Program Construction English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Mark D. Aagaard, Mar D Aagaard, Mark D Aagaard, John W. O'Leary, W O'Leary, W O'Leary - Formal Methods in Computer-Aided Design

Mark D. Aagaard, Mar D Aagaard, Mark D Aagaard, John W. O'Leary, W O'Leary, W O'Leary Formal Methods in Computer-Aided Design English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Carlo Blundo, Cosimo Laneve - Theoretical Computer Science

Carlo Blundo, Cosimo Laneve Theoretical Computer Science English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Werner Kuich, Grzegorz Rozenberg, Arto Salomaa - Developments in Language Theory

Werner Kuich, Grzegorz Rozenberg, Arto Salomaa Developments in Language Theory English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Paul D. Attie, Agostino Cortesi, Supratik Mukhopadhyay, Lenore D. Zuck - Verification, Model Checking, and Abstract Interpretation

Paul D. Attie, Agostino Cortesi, Supratik Mukhopadhyay, Lenore D. Zuck Verification, Model Checking, and Abstract Interpretation English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Tiziana Margaria, Tom Melham - Correct Hardware Design and Verification Methods

Tiziana Margaria, Tom Melham Correct Hardware Design and Verification Methods English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Z. Ésik, Zoltán Ésik, Z. Fülöp, Zoltan Fülöp, Zoltán Fülöp - Developments in Language Theory

Z. Ésik, Zoltán Ésik, Z. Fülöp, Zoltan Fülöp, Zoltán Fülöp Developments in Language Theory English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

1
...
31
32
33
...
46