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

Nikolaj Bjørner, Irin Virbitskaite, Irina Virbitskaite, Andrei Voronkov - Perspectives of System Informatics

Nikolaj Bjørner, Irin Virbitskaite, Irina Virbitskaite, Andrei Voronkov Perspectives of System Informatics English 01.01.2019 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

P Ershov Institute of Informatic, Virbitskaite, Virbitskaite, Irina Virbitskaite, Andre Voronkov, Andrei Voronkov - Perspectives of System Informatics

P Ershov Institute of Informatic, Virbitskaite, Virbitskaite, Irina Virbitskaite, Andre Voronkov, Andrei Voronkov Perspectives of System Informatics English 01.01.2015 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Andre Voronkov, Andrei Voronkov, Weidenbach, Weidenbach, Christoph Weidenbach - Programming Logics

Andre Voronkov, Andrei Voronkov, Weidenbach, Weidenbach, Christoph Weidenbach Programming Logics English 22.03.2013 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Edmund Clarke, Edmund M. Clarke, Irin Virbitskaite, Irina Virbitskaite, Voronkov, Andrei Voronkov - Perspectives of Systems Informatics

Edmund Clarke, Edmund M. Clarke, Irin Virbitskaite, Irina Virbitskaite, Voronkov, Andrei Voronkov Perspectives of Systems Informatics English 13.04.2012 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Manue Mazzara, Manuel Mazzara, Voronkov, Voronkov, Andrei Voronkov - Perspectives of System Informatics

Manue Mazzara, Manuel Mazzara, Voronkov, Voronkov, Andrei Voronkov Perspectives of System Informatics English 01.01.2016 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Edmund M. Clarke, Edmun M Clarke, Edmund M Clarke, Voronkov, Voronkov, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning

Edmund M. Clarke, Edmun M Clarke, Edmund M Clarke, Voronkov, Voronkov, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning English 03.11.2010 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Amir Pnueli, Irin Virbitskaite, Irina Virbitskaite, Voronkov, Andrei Voronkov - Perspectives of Systems Informatics

Amir Pnueli, Irin Virbitskaite, Irina Virbitskaite, Voronkov, Andrei Voronkov Perspectives of Systems Informatics English 09.12.2009 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Andre Voronkov, Andrei Voronkov - Rewriting Techniques and Applications

Andre Voronkov, Andrei Voronkov Rewriting Techniques and Applications English 29.01.2013 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

A. Robinson, Alan J A Robinson, Alan J. A. Voronkov Robinson, Alan J.A. (96 Highland Avenue Robinson, Alan J.a. Voronkov Robinson, A. Voronkov... - Handbook of Automated Reasoning

A. Robinson, Alan J A Robinson, Alan J. A. Voronkov Robinson, Alan J.A. (96 Highland Avenue Robinson, Alan J.a. Voronkov Robinson, A. Voronkov... Handbook of Automated Reasoning English 21.06.2001 Hardback Fr. 309.00 1-3 weeks (not available at short notice)

Robinson, A. Robinson, A. Voronkov, Alan Robinson, Alan J. a. Robinson, Alan J.A. (96 Highland Avenue Robinson... - Handbook of Automated Reasoning

Robinson, A. Robinson, A. Voronkov, Alan Robinson, Alan J. a. Robinson, Alan J.A. (96 Highland Avenue Robinson... Handbook of Automated Reasoning English 21.06.2001 Hardback Fr. 235.00 1-3 weeks (not available at short notice)

Andre Voronkov, Andrei Voronkov - Logic Programming and Automated Reasoning

Andre Voronkov, Andrei Voronkov Logic Programming and Automated Reasoning English 01.01.1960 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Andre Voronkov, Andrei Voronkov - Logic Programming

Andre Voronkov, Andrei Voronkov Logic Programming English 30.06.2009 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Andre Voronkov, Andrei Voronkov - Logic Programming and Automated Reasoning

Andre Voronkov, Andrei Voronkov Logic Programming and Automated Reasoning English 01.01.1960 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Harald Ganzinger, Davi McAllester, David McAllester, Andrei Voronkov - Logic Programming and Automated Reasoning

Harald Ganzinger, Davi McAllester, David McAllester, Andrei Voronkov Logic Programming and Automated Reasoning English 27.05.2002 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Michel Parigot, Andrei Voronkov - Logic for Programming and Automated Reasoning

Michel Parigot, Andrei Voronkov Logic for Programming and Automated Reasoning English 19.02.2009 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Alexander K. Petrenko, Andrei Voronkov - Perspectives of System Informatics

Alexander K. Petrenko, Andrei Voronkov Perspectives of System Informatics English 18.01.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Hendri Decker, Hendrik Decker, Burkhard Freitag, Michael Kifer, Michael Kifer et al, STAGE150livetest STAGE150livetest... - Transactions and Change in Logic Databases

Hendri Decker, Hendrik Decker, Burkhard Freitag, Michael Kifer, Michael Kifer et al, STAGE150livetest STAGE150livetest... Transactions and Change in Logic Databases English 18.05.2004 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Volker Diekert, Mikhai Volkov, Mikhail Volkov, Mikhail V. Volkov, Andrei Voronkov - Computer Science - Theory and Applications

Volker Diekert, Mikhai Volkov, Mikhail Volkov, Mikhail V. Volkov, Andrei Voronkov Computer Science - Theory and Applications English 14.04.2009 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Nachum Dershowitz, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning

Nachum Dershowitz, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning English 14.04.2009 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Fran Baader, Franz Baader, Voronkov, Voronkov, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning

Fran Baader, Franz Baader, Voronkov, Voronkov, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning English 30.06.2009 Paperback / Softback Fr. 135.00 6-7 weeks

1
2