Andrei voronkov editor

Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, Psi 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers

Bjørner, Nikolaj (Editor)/ Virbitskaite, Irina (Editor)/ Voronkov, Andrei (Editor)

Langue : anglais

Edité par Springer-Verlag New York Inc, 2020

3030374866 / 9783030374860

Couverture souple

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 78,06

EUR 11,69 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponible(s)

Paperback. Etat : Brand New. revised edition. 450 pages. 9.25x6.10x0.64 inches. In Stock.

Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, Psi 2017, Moscow, Russia, June 26-29, 2017, Revised Selected Papers

Petrenko, Alexander K. (Editor)/ Voronkov, Andrei (Editor)

Langue : anglais

Edité par Springer-Verlag New York Inc, 2018

3319743120 / 9783319743127

Couverture souple

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 80,62

EUR 14,61 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponible(s)

Paperback. Etat : Brand New. revised edition. 444 pages. 9.25x6.10x0.91 inches. In Stock.

Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, Psi 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers

Clarke, Edmund (Editor)/ Virbitskaite, Irina (Editor)/ Voronkov, Andrei (Editor)

Langue : anglais

Edité par Springer-Verlag New York Inc, 2012

3642297080 / 9783642297083

Couverture souple

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 80,76

EUR 14,61 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponible(s)

Paperback. Etat : Brand New. 2012 edition. 410 pages. 9.00x6.00x1.00 inches. In Stock.

Computer Science: Theory and Applications: Second International Symposium on Computer Science in Russia, Csr 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceeding

Diekert, Volker (Editor)/ Volkov, Mikhail (Editor)/ Voronkov, Andrei (Editor)

Langue : anglais

Edité par Springer-Verlag New York Inc, 2007

3540745092 / 9783540745099

Couverture souple

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 80,88

EUR 14,61 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponible(s)

Paperback. Etat : Brand New. 1st edition. 420 pages. 9.20x6.50x1.00 inches. In Stock.

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, Lpar-18, Merida, Venezuela, March 11-15, 2012, Proceedings

Bjørner, Nikolaj (Editor)/ Voronkov, Andrei (Editor)

Langue : anglais

Edité par Springer-Verlag New York Inc, 2012

3642287166 / 9783642287169

Couverture souple

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 81,03

EUR 14,61 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponible(s)

Paperback. Etat : Brand New. 2012 edition. 457 pages. 9.25x6.10x1.02 inches. In Stock.

Rewriting Techniques and Applications: 19th International Conference, Rta 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings

Voronkov, Andrei (Editor)

Langue : anglais

Edité par Springer-Verlag New York Inc, 2008

3540705880 / 9783540705888

Couverture souple

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 81,56

EUR 14,61 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponible(s)

Paperback. Etat : Brand New. 1st edition. 457 pages. 9.00x6.00x1.00 inches. In Stock.

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, Lpar 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

Dershowitz, Nachum (Editor)/ Voronkov, Andrei (Editor)

Langue : anglais

Edité par Springer-Verlag New York Inc, 2007

3540755586 / 9783540755586

Couverture souple

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 83,64

EUR 14,61 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponible(s)

Paperback. Etat : Brand New. 1st edition. 562 pages. 9.50x6.50x0.75 inches. In Stock.

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

Andrei Voronkov (Editor)

Langue : anglais

Edité par Springer, 2008

3540705880 / 9783540705888

Couverture souple

Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 103,08

EUR 18,10 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Paperback. Etat : New.

Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, Revised Selected Papers

Mazzara, Manuel (Editor)/ Voronkov, Andrei (Editor)

Langue : anglais

Edité par Springer-Verlag New York Inc, 2016

3319415786 / 9783319415789

Couverture souple

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 79,16

EUR 40,91 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponible(s)

Paperback. Etat : Brand New. revised edition. 337 pages. 9.25x6.25x1.00 inches. In Stock.

Perspectives of Systems Informatics: 9th International Ershov Informatics Conference, Psi 2014, Selected Papers

Voronkov, Andrei (Editor)/ Virbitskaite, Irina (Editor)

Langue : anglais

Edité par Springer-Verlag New York Inc, 2015

3662468220 / 9783662468227

Couverture souple

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 80,40

EUR 40,91 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponible(s)

Paperback. Etat : Brand New. revised edition. 432 pages. 9.25x6.10x0.98 inches. In Stock.

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, Lpar-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Davis, Martin (Editor)/ Fehnker, Ansgar (Editor)/ McIver, Annabelle (Editor)/ Voronkov, Andrei (Editor)

Langue : anglais

Edité par Springer-Verlag New York Inc, 2015

3662488981 / 9783662488980

Couverture souple

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 83,88

EUR 40,91 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponible(s)

Paperback. Etat : Brand New. 656 pages. 9.25x6.10x1.48 inches. In Stock.

Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, . Computer Science and General Issues)

Fermüller, Christian G. (Editor) / Voronkov, Andrei (Editor)

Langue : anglais

Edité par Springer, 2010

364216241X / 9783642162411

Couverture souple

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 157,75

EUR 14,61 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Paperback. Etat : Brand New. 656 pages. 9.10x6.20x1.20 inches. In Stock.

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings

Cervesato, Iliano (Editor)/ Veith, Helmut (Editor)/ Voronkov, Andrei (Editor)

Langue : anglais

Edité par Springer-Verlag New York Inc, 2008

3540894381 / 9783540894384

Couverture souple

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 158,69

EUR 17,53 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponible(s)

Paperback. Etat : Brand New. 2008 edition. 714 pages. 9.00x5.75x1.00 inches. In Stock.

Logic for Programming, Artificial Intelligence, And Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Baader, Franz (Editor)/ Voronkov, Andrei (Editor)

Langue : anglais

Edité par Springer Verlag, 2005

3540252363 / 9783540252368

Couverture souple

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 165,53

EUR 14,61 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Paperback. Etat : Brand New. 1st edition. 562 pages. German language. 6.00x9.25x1.00 inches. In Stock.

Handbook of Automated Reasoning : Volume II (Handbook of Automated Reasoning)

Robinson, J. A. (Editor)/ Robinson, Alan/ Voronkov, Andrei (Editor)

Langue : anglais

Edité par North-Holland, 2001

0444508120 / 9780444508126

Couverture rigide
impression à la demande

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 234,34

EUR 23,38 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponible(s)

Hardcover. Etat : Brand New. 1st edition. 2122 pages. 9.50x6.75x2.00 inches. In Stock. This item is printed on demand.

Andrei voronkov editor (15 résultats)

Affiner la recherche

Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, Psi 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers

Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, Psi 2017, Moscow, Russia, June 26-29, 2017, Revised Selected Papers

Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, Psi 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers

Computer Science: Theory and Applications: Second International Symposium on Computer Science in Russia, Csr 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceeding

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, Lpar-18, Merida, Venezuela, March 11-15, 2012, Proceedings

Rewriting Techniques and Applications: 19th International Conference, Rta 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, Lpar 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

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

Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, Revised Selected Papers

Perspectives of Systems Informatics: 9th International Ershov Informatics Conference, Psi 2014, Selected Papers

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, Lpar-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, . Computer Science and General Issues)

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings

Logic for Programming, Artificial Intelligence, And Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Handbook of Automated Reasoning : Volume II (Handbook of Automated Reasoning)