Montant total (1 article articles) :
Destination de la commande :
andrey rybalchenko (37 résultats)
Commentaires
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (37)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (33)
- Comme neuf, Très bon ou Bon (4)
- Assez bon ou satisfaisant (Aucun autre résultat ne correspond à ces critères)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (Aucun autre résultat ne correspond à ces critères)
Reliure
- Toutes
- Couverture rigide (Aucun autre résultat ne correspond à ces critères)
- Couverture souple (37)
Particularités
- Ed. originale (Aucun autre résultat ne correspond à ces critères)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (14)
- Sans impressions à la demande (28)
Langue (1)
Livraison gratuite
- Livraison gratuite à destination de France (Aucun autre résultat ne correspond à ces critères)
Pays
Evaluation du vendeur
-
Computer Science - Theory and Applications : Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009, Proceedings
Edité par Springer Berlin Heidelberg, 2009
ISBN 10 : 3642033504 ISBN 13 : 9783642033506
Langue: anglais
EUR 9,90 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
EUR 9,90 expédition depuis Allemagne vers France
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Computer Science - Theory and Applications: Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, ... (Lecture Notes in Computer Science, 5675)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 58,32
Autre deviseEUR 4,60 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers (Programming and Software Engineering)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 60,32
Autre deviseEUR 4,60 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Computer Science - Theory and Applications : Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009, Proceedings
Edité par Springer Berlin Heidelberg, 2009
ISBN 10 : 3642033504 ISBN 13 : 9783642033506
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Autre deviseEUR 10,99 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - The 4th International Computer Science Symposium in Russia (CSR 2009) was held August 18 23,2009 in Novosibirsk,Russia, hosted by the Sobolev Institute of Mathematics and Novosibirsk State University. It was the fourth event in the series of regular international meetings, following CSR 2006 in St. Petersburg, CSR 2007 in Ekaterinburg, and CSR 2008 in Moscow. The opening lecture was given by Andrei Voronkov, and four other invited plenary lectures were given by Sergei Odintsov, Wolfgang Thomas, Nikolai Vereshchagin, and Hongseok Yang. This volume contains all the accepted papers and some of the abstracts of the invited speakers. The scope of the proposed topics for the symposium was quite broad and covered basically all areas of computer science. We received 66 papers in total, and the Program Committee selected 29. Yandex provided the Best Student Paper Awards; the recepients of these awards were selected by the Program Committee: Dmitry Itsykson, Structural complexity of AvgBPP Yuri Pritykin and Julya Ulyashkina, Aperiodicity measure for in nite sequences. The reviewing processwasorganizedusing the EasyChairconferencesystem, created by Andrei Voronkov. We are grateful to our sponsors: Russian Foundation for Basic Research Yandex (the largest Russian Internet portal providing key Web services). We also thank the group of local organizers and in particular Pavel Salimov.
-
Verified Software: Theorie, Tools, Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
Edité par Springer Berlin Heidelberg, 2014
ISBN 10 : 3642541070 ISBN 13 : 9783642541070
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Autre deviseEUR 10,99 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013. The 17 revised full papers presented were carefully revised and selected from 35 submissions. The papers address a wide range of topics including education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools, tool integration, benchmarks, challenge problems, and integrated verification environments.
-
Computer Science - Theory and Applications: Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, . 5675 (Lecture Notes in Computer Science)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 56,74
Autre deviseEUR 10,94 expédition depuis Royaume-Uni vers FranceQuantité disponible : 10 disponible(s)
Ajouter au panierPaperback. Etat : New.
-
Verified Software: Theorie, Tools, Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Pape
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 56,74
Autre deviseEUR 10,94 expédition depuis Royaume-Uni vers FranceQuantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
-
Verified Software: Theorie, Tools, Experiments
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 2014, 2014
ISBN 10 : 3642541070 ISBN 13 : 9783642541070
Langue: anglais
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Autre deviseEUR 15 expédition depuis Allemagne vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware -This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013. The 17 revised full papers presented were carefully revised and selected from 35 submissions. The papers address a wide range of topics including education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools, tool integration, benchmarks, challenge problems, and integrated verification environments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 364 pp. Englisch.
-
Computer Science - Theory and Applications
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 2009, 2009
ISBN 10 : 3642033504 ISBN 13 : 9783642033506
Langue: anglais
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Autre deviseEUR 15 expédition depuis Allemagne vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware -The 4th International Computer Science Symposium in Russia (CSR 2009) was held August 18¿23,2009 in Novosibirsk,Russia, hosted by the Sobolev Institute of Mathematics and Novosibirsk State University. It was the fourth event in the series of regular international meetings, following CSR 2006 in St. Petersburg, CSR 2007 in Ekaterinburg, and CSR 2008 in Moscow. The opening lecture was given by Andrei Voronkov, and four other invited plenary lectures were given by Sergei Odintsov, Wolfgang Thomas, Nikolai Vereshchagin, and Hongseok Yang. This volume contains all the accepted papers and some of the abstracts of the invited speakers. The scope of the proposed topics for the symposium was quite broad and covered basically all areas of computer science. We received 66 papers in total, and the Program Committee selected 29. Yandex provided the Best Student Paper Awards; the recepients of these awards were selected by the Program Committee: ¿ Dmitry Itsykson, ¿Structural complexity of AvgBPP¿ ¿ Yuri Pritykin and Julya Ulyashkina, ¿Aperiodicity measure for in nite sequences.¿ The reviewing processwasorganizedusing the EasyChairconferencesystem, created by Andrei Voronkov. We are grateful to our sponsors: ¿ Russian Foundation for Basic Research ¿ Yandex (the largest Russian Internet portal providing key Web services). We also thank the group of local organizers and in particular Pavel Salimov.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 384 pp. Englisch.
-
Verified Software : Theorie, Tools, Experiments - 5th International Conference, Vstte 2013, Menlo Park, Ca, USA, May 17-19, 2013, Revised Selected Papers
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,03
Autre deviseEUR 16,90 expédition depuis Etats-Unis vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers (Programming and Software Engineering)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 64,45
Autre deviseEUR 6,76 expédition depuis Etats-Unis vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings (Lecture Notes in Computer Science, 7148)
Vendeur : Best Price, Torrance, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 47,90
Autre deviseEUR 25,35 expédition depuis Etats-Unis vers FranceQuantité disponible : 3 disponible(s)
Ajouter au panierEtat : New. SUPER FAST SHIPPING.
-
Computer Science - Theory and Applications: Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, ... (Lecture Notes in Computer Science, 5675)
Vendeur : Best Price, Torrance, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 47,90
Autre deviseEUR 25,35 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. SUPER FAST SHIPPING.
-
Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers (Programming and Software Engineering)
Vendeur : Best Price, Torrance, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 47,90
Autre deviseEUR 25,35 expédition depuis Etats-Unis vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : New. SUPER FAST SHIPPING.
-
Verified Software : Theorie, Tools, Experiments - 5th International Conference, Vstte 2013, Menlo Park, Ca, USA, May 17-19, 2013, Revised Selected Papers
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 59,69
Autre deviseEUR 17,29 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Verified Software : Theorie, Tools, Experiments - 5th International Conference, Vstte 2013, Menlo Park, Ca, USA, May 17-19, 2013, Revised Selected Papers
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 60,37
Autre deviseEUR 16,90 expédition depuis Etats-Unis vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Verified Software : Theorie, Tools, Experiments - 5th International Conference, Vstte 2013, Menlo Park, Ca, USA, May 17-19, 2013, Revised Selected Papers
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 66,11
Autre deviseEUR 17,29 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Verified Software
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 76,70
Autre deviseEUR 7,61 expédition depuis Etats-Unis vers FranceQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 364.
-
Computer Science--Theory and Applications
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 77,80
Autre deviseEUR 7,61 expédition depuis Etats-Unis vers FranceQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 384.
-
Verification, Model Checking, and Abstract Interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings
Edité par Springer, Berlin, Springer Berlin Heidelberg, Springer, 2012
ISBN 10 : 3642279392 ISBN 13 : 9783642279393
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 78,58
Autre deviseEUR 10,99 expédition depuis Allemagne vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware - This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.
-
Computer Science - Theory and Applications: Fourth International Computer Science Symposium in Russia, Csr 2009, Novosibirsk, Russia, August 18-23, 2009, Proceedings: Vol 5675
Edité par Springer-Verlag New York Inc, 2009
ISBN 10 : 3642033504 ISBN 13 : 9783642033506
Langue: anglais
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 78,95
Autre deviseEUR 11,53 expédition depuis Royaume-Uni vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 2009 edition. 369 pages. 9.10x6.00x0.40 inches. In Stock.
-
Verification, Model Checking, and Abstract Interpretation: 13th International Conference, Vmcai 2012, Philadelphia, Pa, USA, January 22-24, 2012, Proceedings
Edité par Springer-Verlag New York Inc, 2012
ISBN 10 : 3642279392 ISBN 13 : 9783642279393
Langue: anglais
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 80,23
Autre deviseEUR 11,53 expédition depuis Royaume-Uni vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 2012 edition. 470 pages. 9.10x6.10x1.10 inches. In Stock.
-
Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers (Programming and Software Engineering)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 51,86
Autre deviseEUR 63,42 expédition depuis Etats-Unis vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Computer Science - Theory and Applications: Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, ... (Lecture Notes in Computer Science, 5675)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 52,26
Autre deviseEUR 63,42 expédition depuis Etats-Unis vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings (Lecture Notes in Computer Science, 7148)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 52,26
Autre deviseEUR 63,42 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New.
-
Edition internationaleCOMPUTER SCIENCE-THEORY AND APPLICATIONS (PB)
Vendeur : UK BOOKS STORE, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 118,52
Autre deviseEUR 5,75 expédition depuis Royaume-Uni vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Brand New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
-
Verification, Model Checking, and Abstract Interpretation (Paperback)
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2012
ISBN 10 : 3642279392 ISBN 13 : 9783642279393
Langue: anglais
Vendeur : Grand Eagle Retail, Mason, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 64,50
Autre deviseEUR 63,42 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization. This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Verified Software: Theorie, Tools, Experiments
Edité par Springer Berlin Heidelberg, 2014
ISBN 10 : 3642541070 ISBN 13 : 9783642541070
Langue: anglais
EUR 48,37
Autre deviseEUR 9,70 expédition depuis Allemagne vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013. The 17 revised full papers presente.
-
Computer Science - Theory and Applications
Edité par Springer Berlin Heidelberg, 2009
ISBN 10 : 3642033504 ISBN 13 : 9783642033506
Langue: anglais
EUR 48,37
Autre deviseEUR 9,70 expédition depuis Allemagne vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Invited Papers.- Well-Founded and Partial Stable Semantics Logical Aspects.- The Reachability Problem over Infinite Graphs.- Kolmogorov Complexity and Model Selection.- Automatic Verification of Heap-Manipulating Programs Using Separation Logic.- Accepted P.
