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

Ki G Larsen, Kim G Larsen, Kim G. Larsen, Nielsen, Nielsen, Mogens Nielsen - CONCUR 2001 - Concurrency Theory

Ki G Larsen, Kim G Larsen, Kim G. Larsen, Nielsen, Nielsen, Mogens Nielsen CONCUR 2001 - Concurrency Theory English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Ramesh Hariharan, Madhava Mukund, Madhavan Mukund, V Vinay, V. Vinay - FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science

Ramesh Hariharan, Madhava Mukund, Madhavan Mukund, V Vinay, V. Vinay FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science English 19.02.2009 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

Johan Blieberger, Johann Blieberger, Strohmeier, Strohmeier, Alfred Strohmeier - Reliable Software Technologies - Ada-Europe 2002

Johan Blieberger, Johann Blieberger, Strohmeier, Strohmeier, Alfred Strohmeier Reliable Software Technologies - Ada-Europe 2002 English 19.02.2009 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. 70.00 6-7 weeks

Didier Bert, Jonathan P. Bowen, Martin C Henson et al, Martin C. Henson, Jonatha P Bowen, Jonathan P Bowen... - ZB 2002: Formal Specification and Development in Z and B

Didier Bert, Jonathan P. Bowen, Martin C Henson et al, Martin C. Henson, Jonatha P Bowen, Jonathan P Bowen... ZB 2002: Formal Specification and Development in Z and B English 19.02.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

N. Carbonell, Noell Carbonell, Noelle Carbonell, Stephanidis, Stephanidis, C. Stephanidis... - Universal Access. Theoretical Perspectives, Practice, and Experience

N. Carbonell, Noell Carbonell, Noelle Carbonell, Stephanidis, Stephanidis, C. Stephanidis... Universal Access. Theoretical Perspectives, Practice, and Experience English 19.02.2009 Paperback / Softback Fr. 135.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

Markus Endler, Douglas Schmidt, Douglas C. Schmidt - Middleware 2003

Markus Endler, Douglas Schmidt, Douglas C. Schmidt Middleware 2003 English 26.06.2009 Paperback / Softback Fr. 135.00 6-7 weeks

Radhia Cousot - Static Analysis

Radhia Cousot Static Analysis English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

H. Hussmann, Heinrich Hussmann - Fundamental Approaches to Software Engineering

H. Hussmann, Heinrich Hussmann Fundamental Approaches to Software Engineering English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Andre D Gordon, Andrew D Gordon, Andrew D. Gordon - Foundations of Software Science and Computational Structures

Andre D Gordon, Andrew D Gordon, Andrew D. Gordon Foundations of Software Science and Computational Structures English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

1
...
25
26
27
...
56