The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Andrei Voronkov Books

Results for Andrei Voronkov

Showing 1 to 12 of 18 results
Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised ... Computer Science and General Issues) Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised ... Computer Science and General Issues) by N/A

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised ... Computer Science and General Issues)

by N/A


ISBN 13: 9783642114854

Format: Paperback (425 pages)
Publisher: Springer
Published: 08 Feb 2010

Save for later

 
New : $56.96  
New : $56.96
Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings ... / Lecture Notes in Artificial Intelligence) Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings ... / Lecture Notes in Artificial Intelligence) by

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings ... / Lecture Notes in Artificial Intelligence)

by


ISBN 13: 9783540412854

Format: Paperback (487 pages)
Publisher: Springer
Published: 23 Oct 2000

Save for later

 
New : $56.96  
New : $56.96
Computer Science - Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September ... Computer Science and General Issues) Computer Science - Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September ... Computer Science and General Issues) by

Computer Science - Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September ... Computer Science and General Issues)

by


ISBN 13: 9783540745099

Format: Paperback (420 pages)
Publisher: Springer
Published: 15 Aug 2007

Save for later

 
New : $56.88  
New : $56.88
Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings (Lecture Notes in ... Computer Science and General Issues) Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings (Lecture Notes in ... Computer Science and General Issues) by

Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings (Lecture Notes in ... Computer Science and General Issues)

by


ISBN 13: 9783540705888

Format: Paperback (457 pages)
Publisher: Springer
Published: 04 Jul 2008

Save for later

 
New : $99.47  
New : $99.47
Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, ... / Lecture Notes in Artificial Intelligence) Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, ... / Lecture Notes in Artificial Intelligence) by

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, ... / Lecture Notes in Artificial Intelligence)

by


ISBN 13: 9783540755586

Format: Paperback (562 pages)
Publisher: Springer
Published: 08 Oct 2007

Save for later

 
New : $57.02  
New : $57.02
Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, ... / Lecture Notes in Artificial Intelligence) Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, ... / Lecture Notes in Artificial Intelligence) by

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, ... / Lecture Notes in Artificial Intelligence)

by


ISBN 13: 9783540894384

Format: Paperback (728 pages)
Publisher: Springer
Published: 13 Nov 2008

Save for later

 
New : $110.30  
New : $110.30
Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, ... Computer Science and General Issues) Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, ... Computer Science and General Issues) by

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, ... Computer Science and General Issues)

by


ISBN 13: 9783642287169

Format: Paperback (446 pages)
Publisher: Springer
Published: 24 Feb 2012

Save for later

 
New : $56.93  
New : $56.93
Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, ... / Lecture Notes in Artificial Intelligence) Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, ... / Lecture Notes in Artificial Intelligence) by Geoff Sutcliffe, Andrei Voronkov

Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, ... / Lecture Notes in Artificial Intelligence)

by Geoff Sutcliffe, Andrei Voronkov


ISBN 13: 9783540305538

Format: Paperback (744 pages)
Publisher: Springer
Published: 24 Nov 2005

Save for later

 
New : $110.30  
New : $110.30
Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, ... Applications, incl. Internet/Web, and HCI) Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, ... Applications, incl. Internet/Web, and HCI) by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov

Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, ... Applications, incl. Internet/Web, and HCI)

by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov


ISBN 13: 9783642297083

Format: Paperback (428 pages)
Publisher: Springer
Published: 30 May 2012

Save for later

 
New : $56.82  
New : $56.82
Programming Logics: Essays in Memory of Harald Ganzinger (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) Programming Logics: Essays in Memory of Harald Ganzinger (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) by Andrei Voronkov, Christoph Weidenbach

Programming Logics: Essays in Memory of Harald Ganzinger (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by Andrei Voronkov, Christoph Weidenbach


ISBN 13: 9783642376504

Format: Paperback (460 pages)
Publisher: Springer
Published: 03 Apr 2013

Save for later

 
New : $56.93  
New : $56.93
Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers (Lecture Notes in Computer Science) Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers (Lecture Notes in Computer Science) by Andrei Voronkov, Irina Virbitskaite

Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers (Lecture Notes in Computer Science)

by Andrei Voronkov, Irina Virbitskaite


ISBN 13: 9783662468227

Format: Paperback (432 pages)
Publisher: Springer
Published: 30 Apr 2015

Save for later

 
New : $56.89  
New : $56.89
Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings (Lecture Notes in Computer Science) Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings (Lecture Notes in Computer Science) by Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings (Lecture Notes in Computer Science)

by Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov


ISBN 13: 9783662488980

Format: Paperback (656 pages)
Publisher: Springer
Published: 30 Dec 2015

Save for later

 
New : $57.16  
New : $57.16