Andrei Voronkov

Andrei Voronkov als Mitarbeiter/in Alle 32 Treffer anzeigen

Nikolaj Bjørner, Irin Virbitskaite, Irina Virbitskaite, Andrei Voronkov - Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers
Nikolaj Bjørner, Irin Virbitskaite, Irina Virbitskaite, Andrei Voronkov Perspectives of System Informatics Englisch 01.01.2019 Taschenbuch CHF 69.00 1-2 Wochen
Manue Mazzara, Manuel Mazzara, Voronkov, Voronkov, Andrei Voronkov - Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Manue Mazzara, Manuel Mazzara, Voronkov, Voronkov, Andrei Voronkov Perspectives of System Informatics Englisch 01.01.2016 Taschenbuch CHF 70.00 6-7 Wochen
A.P. Ershov Institute of Informatics Systems, P Ershov Institute of Informatic, Virbitskaite, Virbitskaite, Irina Virbitskaite, … - Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers
A.P. Ershov Institute of Informatics Systems, P Ershov Institute of Informatic, Virbitskaite, Virbitskaite, Irina Virbitskaite, … Perspectives of System Informatics Englisch 01.01.2015 Taschenbuch CHF 70.00 6-7 Wochen
Martin Davis, Ansga Fehnker, Ansgar Fehnker, Annabelle McIver, Annabelle McIver et al, … - Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Martin Davis, Ansga Fehnker, Ansgar Fehnker, Annabelle McIver, Annabelle McIver et al, … Logic for Programming, Artificial Intelligence, and Reasoning Englisch 01.01.2015 Taschenbuch CHF 70.00 6-7 Wochen
Alexander K. Petrenko, Andrei Voronkov - Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
Alexander K. Petrenko, Andrei Voronkov Perspectives of System Informatics Englisch 18.01.2018 Taschenbuch CHF 69.00 1-2 Wochen
Andre Voronkov, Andrei Voronkov, Weidenbach, Weidenbach, Christoph Weidenbach - Programming Logics Essays in Memory of Harald Ganzinger
Andre Voronkov, Andrei Voronkov, Weidenbach, Weidenbach, Christoph Weidenbach Programming Logics Englisch 22.03.2013 Taschenbuch CHF 70.00 6-7 Wochen
Ken Macmillan, Ken McMillan, Aar Middeldorp, Aart Middeldorp, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings
Ken Macmillan, Ken McMillan, Aar Middeldorp, Aart Middeldorp, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning Englisch 19.11.2013 Taschenbuch CHF 70.00 6-7 Wochen
Edmund Clarke, Edmund M. Clarke, Irin Virbitskaite, Irina Virbitskaite, Voronkov, … - Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers
Edmund Clarke, Edmund M. Clarke, Irin Virbitskaite, Irina Virbitskaite, Voronkov, … Perspectives of Systems Informatics Englisch 13.04.2012 Taschenbuch CHF 70.00 6-7 Wochen
Edmund M. Clarke, Edmun M Clarke, Edmund M Clarke, Voronkov, Voronkov, … - Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers
Edmund M. Clarke, Edmun M Clarke, Edmund M Clarke, Voronkov, Voronkov, … Logic for Programming, Artificial Intelligence, and Reasoning Englisch 03.11.2010 Taschenbuch CHF 70.00 6-7 Wochen
Amir Pnueli, Irin Virbitskaite, Irina Virbitskaite, Voronkov, Andrei Voronkov - Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers
Amir Pnueli, Irin Virbitskaite, Irina Virbitskaite, Voronkov, Andrei Voronkov Perspectives of Systems Informatics Englisch 09.12.2009 Taschenbuch CHF 70.00 6-7 Wochen