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

Leila Amgoud, Maria Vanin Martinez, Maria Vanina Martinez, Cristia Molinaro, Cristian Molinaro, Subrahma... - A General Framework for Reasoning On Inconsistency

Leila Amgoud, Maria Vanin Martinez, Maria Vanina Martinez, Cristia Molinaro, Cristian Molinaro, Subrahma... A General Framework for Reasoning On Inconsistency English 25.01.2013 Paperback / Softback Fr. 55.90 1-2 weeks (title will be printed to order)

Mohu Banerjee, Mohua Banerjee, S, S, Krishna S. - Logic and Its Applications

Mohu Banerjee, Mohua Banerjee, S, S, Krishna S. Logic and Its Applications English 01.01.2014 Paperback / Softback Fr. 67.00 1-2 weeks (title will be printed to order)

Rahul Jain, Sanja Jain, Sanjay Jain, Frank Stephan - Theory and Applications of Models of Computation

Rahul Jain, Sanja Jain, Sanjay Jain, Frank Stephan Theory and Applications of Models of Computation English 01.01.2015 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Saddek Bensalem, Yassin Lakhnech, Yassine Lakhnech, Yassine Lakhneck, Axel Legay - From Programs to Systems - The Systems Perspective in Computing

Saddek Bensalem, Yassin Lakhnech, Yassine Lakhnech, Yassine Lakhneck, Axel Legay From Programs to Systems - The Systems Perspective in Computing English 04.03.2014 Paperback / Softback Fr. 67.00 1-2 weeks (title will be printed to order)

Dingzhu Du, Kun He, Lia Li, Lian Li, En Zhu, En Zhu et al - Theoretical Computer Science

Dingzhu Du, Kun He, Lia Li, Lian Li, En Zhu, En Zhu et al Theoretical Computer Science English 30.11.2017 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Marco Bernardo, Eri de Vink, Erik de Vink, Erik de Vink, Alessandra Di Pierro, Alessandra Di Pierro et al... - Formal Methods for Dynamical Systems

Marco Bernardo, Eri de Vink, Erik de Vink, Erik de Vink, Alessandra Di Pierro, Alessandra Di Pierro et al... Formal Methods for Dynamical Systems English 10.05.2013 Paperback / Softback Fr. 65.00 1-2 weeks (title will be printed to order)

Nic Bezhanishvili, Nick Bezhanishvili, GORANKO, Goranko, Valentin Goranko - Lectures on Logic and Computation

Nic Bezhanishvili, Nick Bezhanishvili, GORANKO, Goranko, Valentin Goranko Lectures on Logic and Computation English 04.06.2012 Paperback / Softback Fr. 65.00 1-2 weeks (title will be printed to order)

Ekkart Kindler, Ekkart Kindler et al, Dimitris Kolovos, Harald Störrle, Juha-Pekk Tolvanen, Juha-Pekka Tolvanen... - Modelling Foundations and Applications

Ekkart Kindler, Ekkart Kindler et al, Dimitris Kolovos, Harald Störrle, Juha-Pekk Tolvanen, Juha-Pekka Tolvanen... Modelling Foundations and Applications English 04.06.2012 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Joh Campbell, John Campbell, Jacques Carette, Jacques Carette et al, Gabriel Dos Reis, Johan Jeuring... - Intelligent Computer Mathematics

Joh Campbell, John Campbell, Jacques Carette, Jacques Carette et al, Gabriel Dos Reis, Johan Jeuring... Intelligent Computer Mathematics English 04.06.2012 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Bernhard Gramlich, Dal Miller, Dale Miller, Ulrike Sattler - Automated Reasoning

Bernhard Gramlich, Dal Miller, Dale Miller, Ulrike Sattler Automated Reasoning English 04.06.2012 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Nick Bassiliades, Sadri Fariba, Geor Gottlob, Georg Gottlob, Adrian Paschke, Dumitru Roman... - Rule Technologies: Foundations, Tools, and Applications

Nick Bassiliades, Sadri Fariba, Geor Gottlob, Georg Gottlob, Adrian Paschke, Dumitru Roman... Rule Technologies: Foundations, Tools, and Applications English 01.01.2015 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Francesca A Lisi, Francesca A. Lisi, Stephen Muggleton, Alirez Tamaddoni-Nezhad, Alireza Tamaddoni-Nezhad - Inductive Logic Programming

Francesca A Lisi, Francesca A. Lisi, Stephen Muggleton, Alirez Tamaddoni-Nezhad, Alireza Tamaddoni-Nezhad Inductive Logic Programming English 21.06.2012 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Page, Page, Rex Page, Ricard Peña, Ricardo Peña - Trends in Functional Programming

Page, Page, Rex Page, Ricard Peña, Ricardo Peña Trends in Functional Programming English 28.06.2012 Paperback / Softback Fr. 65.00 1-2 weeks (title will be printed to order)

Pete Csaba Ölveczky, Peter Csaba Ölveczky, Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott - Logic, Rewriting, and Concurrency

Pete Csaba Ölveczky, Peter Csaba Ölveczky, Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott Logic, Rewriting, and Concurrency English 01.01.2015 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Bern Fischer, Bernd Fischer, Geldenhuys, Geldenhuys, Jaco Geldenhuys - Model Checking Software

Bern Fischer, Bernd Fischer, Geldenhuys, Geldenhuys, Jaco Geldenhuys Model Checking Software English 01.01.2015 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Pedro R. D'Argenio, Kaustubh Joshi, Marku Siegle, Markus Siegle, Mariëlle Stoelinga, Mariëlle Stoelinga et al - Quantitative Evaluation of Systems

Pedro R. D'Argenio, Kaustubh Joshi, Marku Siegle, Markus Siegle, Mariëlle Stoelinga, Mariëlle Stoelinga et al Quantitative Evaluation of Systems English 01.02.2014 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Farha Arbab, Farhad Arbab, Sirjani, Sirjani, Marjan Sirjani - Fundamentals of Software Engineering

Farha Arbab, Farhad Arbab, Sirjani, Sirjani, Marjan Sirjani Fundamentals of Software Engineering English 25.07.2013 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Dang Van Hung, OGAWA, Ogawa, Mizuhito Ogawa, Dan Van Hung, Dang Van Hung - Automated Technology for Verification and Analysis

Dang Van Hung, OGAWA, Ogawa, Mizuhito Ogawa, Dan Van Hung, Dang Van Hung Automated Technology for Verification and Analysis English 26.08.2013 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Deny Duchier, Denys Duchier, Parmentier, Parmentier, Yannick Parmentier - Constraint Solving and Language Processing

Deny Duchier, Denys Duchier, Parmentier, Parmentier, Yannick Parmentier Constraint Solving and Language Processing English 22.09.2013 Paperback / Softback Fr. 65.00 1-2 weeks (title will be printed to order)

George Gonthier, Georges Gonthier, Norrish, Norrish, Michael Norrish - Certified Programs and Proofs

George Gonthier, Georges Gonthier, Norrish, Norrish, Michael Norrish Certified Programs and Proofs English 25.10.2013 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

1
2
3
4
...
38