Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

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 Inglese 01.01.2019 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
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 Inglese 01.01.2015 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Andre Voronkov, Andrei Voronkov, Weidenbach, Weidenbach, Christoph Weidenbach - Programming Logics
Andre Voronkov, Andrei Voronkov, Weidenbach, Weidenbach, Christoph Weidenbach Programming Logics Inglese 22.03.2013 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
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 Inglese 13.04.2012 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Manue Mazzara, Manuel Mazzara, Voronkov, Voronkov, Andrei Voronkov - Perspectives of System Informatics
Manue Mazzara, Manuel Mazzara, Voronkov, Voronkov, Andrei Voronkov Perspectives of System Informatics Inglese 01.01.2016 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
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 Inglese 03.11.2010 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
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 Inglese 09.12.2009 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Andre Voronkov, Andrei Voronkov - Rewriting Techniques and Applications
Andre Voronkov, Andrei Voronkov Rewriting Techniques and Applications Inglese 29.01.2013 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
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 Inglese 21.06.2001 Copertina rigida Fr. 309.00 1-3 settimane (non disponibile a breve termine)
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 Inglese 21.06.2001 Copertina rigida Fr. 235.00 1-3 settimane (non disponibile a breve termine)
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 Inglese 14.04.2009 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Andre Voronkov, Andrei Voronkov - Logic Programming and Automated Reasoning
Andre Voronkov, Andrei Voronkov Logic Programming and Automated Reasoning Inglese 01.01.1960 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Andre Voronkov, Andrei Voronkov - Logic Programming
Andre Voronkov, Andrei Voronkov Logic Programming Inglese 30.06.2009 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Andre Voronkov, Andrei Voronkov - Logic Programming and Automated Reasoning
Andre Voronkov, Andrei Voronkov Logic Programming and Automated Reasoning Inglese 01.01.1960 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Nachum Dershowitz, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Nachum Dershowitz, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning Inglese 14.04.2009 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
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 Inglese 27.05.2002 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Michel Parigot, Andrei Voronkov - Logic for Programming and Automated Reasoning
Michel Parigot, Andrei Voronkov Logic for Programming and Automated Reasoning Inglese 19.02.2009 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
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 Inglese 18.05.2004 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Alexander K. Petrenko, Andrei Voronkov - Perspectives of System Informatics
Alexander K. Petrenko, Andrei Voronkov Perspectives of System Informatics Inglese 18.01.2018 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
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 Inglese 30.06.2009 Tascabile Fr. 135.00 6-7 settimane