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

Irina Virbitskaite, Andrei Voronkov - Perspectives of Systems Informatics

Irina Virbitskaite, Andrei Voronkov Perspectives of Systems Informatics English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Andrei Voronkov - Automated Deduction - CADE-18

Andrei Voronkov Automated Deduction - CADE-18 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Nikolaj Bjørner, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning

Nikolaj Bjørner, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning English 24.02.2012 Paperback / Softback Fr. 70.00 6-7 weeks

Andre Voronkov, Andrei Voronkov - Rewriting Techniques and Applications

Andre Voronkov, Andrei Voronkov Rewriting Techniques and Applications English 29.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks

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. 70.00 6-7 weeks

Ken MacMillan, Ken McMillan, Aar Middeldorp, Aart Middeldorp, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning

Ken MacMillan, Ken McMillan, Aar Middeldorp, Aart Middeldorp, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning English 19.11.2013 Paperback / Softback Fr. 70.00 6-7 weeks

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. 70.00 6-7 weeks

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. 70.00 6-7 weeks

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. 70.00 6-7 weeks

Martin Davis, Ansga Fehnker, Ansgar Fehnker, Annabelle McIver, Annabelle McIver et al, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning

Martin Davis, Ansga Fehnker, Ansgar Fehnker, Annabelle McIver, Annabelle McIver et al, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks

A.P. Ershov Institute of Informatics Systems, P Ershov Institute of Informatic, Virbitskaite, Virbitskaite, Irina Virbitskaite, Andre Voronkov... - Perspectives of System Informatics

A.P. Ershov Institute of Informatics Systems, P Ershov Institute of Informatic, Virbitskaite, Virbitskaite, Irina Virbitskaite, Andre Voronkov... Perspectives of System Informatics English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks