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

Heinz Diete Ebbinghaus, Heinz Dieter Ebbinghaus, Volker Peckhaus - Ernst Zermelo

Heinz Diete Ebbinghaus, Heinz Dieter Ebbinghaus, Volker Peckhaus Ernst Zermelo English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks

Alexander Bochman - A Logical Theory of Nonmonotonic Inference and Belief Change

Alexander Bochman A Logical Theory of Nonmonotonic Inference and Belief Change English 14.10.2010 Paperback / Softback Fr. 189.00 6-7 weeks

Luca Paolini, Simona Ronchi Della Rocca, Simon Ronchi Della Rocca, Simona Ronchi Della Rocca - The Parametric Lambda Calculus

Luca Paolini, Simona Ronchi Della Rocca, Simon Ronchi Della Rocca, Simona Ronchi Della Rocca The Parametric Lambda Calculus English 11.10.2010 Paperback / Softback Fr. 70.00 6-7 weeks

Michael Hansen, Michael R Hansen, Michael R. Hansen, Chaoche Zhou, Chaochen Zhou - Duration Calculus

Michael Hansen, Michael R Hansen, Michael R. Hansen, Chaoche Zhou, Chaochen Zhou Duration Calculus English 13.10.2010 Paperback / Softback Fr. 135.00 6-7 weeks

Ingo Wegener, R. Pruim - Complexity Theory

Ingo Wegener, R. Pruim Complexity Theory English 14.10.2010 Paperback / Softback Fr. 104.00 6-7 weeks

Marcus Hutter - Universal Artificial Intelligence

Marcus Hutter Universal Artificial Intelligence English 11.10.2010 Paperback / Softback Fr. 124.00 6-7 weeks

Klaus Schneider - Verification of Reactive Systems

Klaus Schneider Verification of Reactive Systems English 11.10.2010 Paperback / Softback Fr. 70.00 6-7 weeks

Gabriel Ciobanu, Mari J Pérez-Jiménez, Mario J Pérez-Jiménez, Gheorghe P¿un, Gheorghe Paun, Gheorghe Păun... - Applications of Membrane Computing

Gabriel Ciobanu, Mari J Pérez-Jiménez, Mario J Pérez-Jiménez, Gheorghe P¿un, Gheorghe Paun, Gheorghe Păun... Applications of Membrane Computing English 13.10.2010 Paperback / Softback Fr. 135.00 6-7 weeks

Dines Bjoerner, Dines Bjorner, Dine Bjørner, Dines Bjørner, C Henson, C Henson... - Logics of Specification Languages

Dines Bjoerner, Dines Bjorner, Dine Bjørner, Dines Bjørner, C Henson, C Henson... Logics of Specification Languages English 06.10.2010 Paperback / Softback Fr. 189.00 6-7 weeks

Roger Mailler, Roger T. Mailler, Paul Scerri, Roger T Mailler, Régi Vincent, Régis Vincent - Coordination of Large-Scale Multiagent Systems

Roger Mailler, Roger T. Mailler, Paul Scerri, Roger T Mailler, Régi Vincent, Régis Vincent Coordination of Large-Scale Multiagent Systems English 22.10.2010 Paperback / Softback Fr. 193.00 6-7 weeks

Diana F. Gordon-Spears, Michae Hinchey, Michael Hinchey, James Rash, James Rash et al, Christopher Rouff... - Agent Technology from a Formal Perspective

Diana F. Gordon-Spears, Michae Hinchey, Michael Hinchey, James Rash, James Rash et al, Christopher Rouff... Agent Technology from a Formal Perspective English 26.10.2010 Paperback / Softback Fr. 193.00 6-7 weeks

Annabell McIver, Annabelle McIver, Carroll Morgan, Charles Carroll Morgan - Abstraction, Refinement and Proof for Probabilistic Systems

Annabell McIver, Annabelle McIver, Carroll Morgan, Charles Carroll Morgan Abstraction, Refinement and Proof for Probabilistic Systems English 27.10.2010 Paperback / Softback Fr. 203.00 6-7 weeks

Pallab Dasgupta - A Roadmap for Formal Property Verification

Pallab Dasgupta A Roadmap for Formal Property Verification English 20.10.2010 Paperback / Softback Fr. 169.00 6-7 weeks

Hiren Patel, Hiren D Patel, Hiren D. Patel, Sandeep Kumar Shukla - Ingredients for Successful System Level Design Methodology

Hiren Patel, Hiren D Patel, Hiren D. Patel, Sandeep Kumar Shukla Ingredients for Successful System Level Design Methodology English 18.10.2010 Paperback / Softback Fr. 179.00 6-7 weeks

Nino B Cocchiarella, Nino B. Cocchiarella - Formal Ontology and Conceptual Realism

Nino B Cocchiarella, Nino B. Cocchiarella Formal Ontology and Conceptual Realism English 18.10.2010 Paperback / Softback Fr. 207.00 6-7 weeks

Rolf Drechsler, Görschwi Fey, Görschwin Fey - Robustness and Usability in Modern Design Flows

Rolf Drechsler, Görschwi Fey, Görschwin Fey Robustness and Usability in Modern Design Flows English 18.10.2010 Paperback / Softback Fr. 149.00 6-7 weeks

Farid M. Ablaev, Farid M. Ablaev, Farid Ablayev, Fari M Ablaev, Farid M Ablaev, Ernst W. Mayr... - Computer Science -- Theory and Applications

Farid M. Ablaev, Farid M. Ablaev, Farid Ablayev, Fari M Ablaev, Farid M Ablaev, Ernst W. Mayr... Computer Science -- Theory and Applications English 30.07.2010 Paperback / Softback Fr. 70.00 6-7 weeks

Mehdi Dastani, Koen V. Hindriks, John-Jules Meyer, John-Jules Ch. Meyer, John-Jules Charles Meyer, Koe V Hindriks... - Specification and Verification of Multi-agent Systems

Mehdi Dastani, Koen V. Hindriks, John-Jules Meyer, John-Jules Ch. Meyer, John-Jules Charles Meyer, Koe V Hindriks... Specification and Verification of Multi-agent Systems English 02.09.2010 Hardback Fr. 193.00 6-7 weeks

Flum, J Flum, J. Flum, M Grohe, M. Grohe - Parameterized Complexity Theory

Flum, J Flum, J. Flum, M Grohe, M. Grohe Parameterized Complexity Theory English 12.10.2010 Paperback / Softback Fr. 110.00 6-7 weeks

Shaoying Liu - Formal Engineering for Industrial Software Development

Shaoying Liu Formal Engineering for Industrial Software Development English 13.10.2010 Paperback / Softback Fr. 70.00 6-7 weeks

1
...
32
33
34
...
43