Zur Startseite wechseln
CHF 0.00
Kategorien
Englisch und andere Fremdsprachen
Englisch
Produktbild
Andrei (Hrsg.) 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

Buch

This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015. The 2 invited and 23 full papers presented in this volume were carefully reviewed and selected from 56 submissions. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and software engineering and information technologies.

CHF 93.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails

Weitere Autoren: Mazzara, Manuel (Hrsg.)
  • ISBN: 978-3-319-41578-9
  • EAN: 9783319415789
  • Produktnummer: 20035416
  • Verlag: Springer International Publishing
  • Sprache: Englisch
  • Erscheinungsjahr: 2016
  • Seitenangabe: 352 S.
  • Masse: H23.5 cm x B15.5 cm x D1.8 cm 534 g
  • Auflage: 1st ed. 2016
  • Abbildungen: Paperback
  • Gewicht: 534

56 weitere Werke von Andrei (Hrsg.) Voronkov:

Produktbild
Computer Science - Theory and Applications
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Buch
CHF 130.00
Produktbild
Logic Programming and Automated Reasoning
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Buch
CHF 136.00
Produktbild
Logic Programming and Automated Reasoning
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Buch
CHF 115.00
Produktbild
Logic for Programming, Artificial Intelligence, and Reasoning
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Buch
CHF 179.00
Produktbild
Logic for Programming and Automated Reasoning
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Buch
CHF 130.00
Produktbild
Perspectives of Systems 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
Buch
CHF 136.00
Produktbild
Logic for Programming, Artificial Intelligence, and Reasoning
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Ebook (PDF Format)
CHF 133.50
Produktbild
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
Ebook (PDF Format)
CHF 68.50
Produktbild
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
Ebook (PDF Format)
CHF 77.00
Produktbild
Logic for Programming, Artificial Intelligence, and Reasoning
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Ebook (PDF Format)
CHF 140.00
Produktbild
Logic for Programming, Artificial Intelligence, and Reasoning
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Ebook (PDF Format)
CHF 140.00
Produktbild
Perspectives of Systems 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
Buch
CHF 100.00
Produktbild
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
Buch
CHF 95.00
Produktbild
Logic for Programming and Automated Reasoning
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Ebook (PDF Format)
CHF 120.00
Produktbild
Logic Programming and Automated Reasoning
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Ebook (PDF Format)
CHF 116.00
Produktbild
Logic for Programming, Artificial Intelligence, and Reasoning
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Buch
CHF 158.00
Produktbild
Rewriting Techniques and Applications
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Buch
CHF 130.00
Produktbild
Logic for Programming, Artificial Intelligence, and Reasoning
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Buch
CHF 165.00
Produktbild
Logic Programming and Automated Reasoning
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Buch
CHF 126.00
Produktbild
Logic for Programming Artificial Intelligence and Reasoning
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Buch
CHF 136.00
Produktbild
Logic for Programming, Artificial Intelligence, and Reasoning
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Buch
CHF 130.00
Produktbild
Transactions and Change in Logic Databases
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Buch
CHF 126.00
Produktbild
Logic for Programming, Artificial Intelligence, and Reasoning
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Ebook (PDF Format)
CHF 153.50
Produktbild
Perspectives of Systems 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
Ebook (PDF Format)
CHF 118.00
Produktbild
Programming Logics
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Ebook (PDF Format)
CHF 73.50
Produktbild
Logic for Programming, Artificial Intelligence, and Reasoning
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Ebook (PDF Format)
CHF 106.50
Produktbild
Logic for Programming, Artificial Intelligence, and Reasoning
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Ebook (PDF Format)
CHF 120.00
Produktbild
Logic for Programming, Artificial Intelligence, and Reasoning
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Ebook (PDF Format)
CHF 160.00
Produktbild
Logic for Programming, Artificial Intelligence, and Reasoning
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Ebook (PDF Format)
CHF 153.50
Produktbild
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
Buch
CHF 84.00
Produktbild
Logic for Programming, Artificial Intelligence, and Reasoning
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Ebook (PDF Format)
CHF 160.00
Produktbild
Automated Deduction - CADE-18
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Ebook (PDF Format)
CHF 133.50
Produktbild
Handbook of Automated Reasoning
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Ebook (EPUB Format)
CHF 496.65
Produktbild
Automated Deduction - CADE-18
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Buch
CHF 136.00
Produktbild
Logic for Programming, Artificial Intelligence, and Reasoning
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Buch
CHF 130.00
Produktbild
Logic Programming
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Buch
CHF 115.00
Produktbild
Logic for Programming, Artificial Intelligence, and Reasoning
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Buch
CHF 134.00
Produktbild
Logic for Programming, Artificial Intelligence, and Reasoning
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Buch
CHF 136.00
Produktbild
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
Buch
CHF 92.00
Produktbild
Logic for Programming, Artificial Intelligence, and Reasoning
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Buch
CHF 144.00
Produktbild
Logic for Programming, Artificial Intelligence, and Reasoning
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Buch
CHF 130.00
Produktbild
Logic for Programming, Artificial Intelligence, and Reasoning
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Buch
CHF 144.00
Produktbild
Rewriting Techniques and Applications
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Ebook (PDF Format)
CHF 120.00
Produktbild
Perspectives of Systems 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
Ebook (PDF Format)
CHF 82.50
Produktbild
Perspectives of Systems 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
Ebook (PDF Format)
CHF 120.00
Produktbild
Computer Science - Theory and Applications
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Ebook (PDF Format)
CHF 106.50
Produktbild
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
Ebook (PDF Format)
CHF 75.50
Produktbild
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
Ebook (PDF Format)
CHF 78.00
Produktbild
Logic for Programming, Artificial Intelligence, and Reasoning
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Ebook (PDF Format)
CHF 93.50
Produktbild
Logic for Programming, Artificial Intelligence, and Reasoning
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Ebook (PDF Format)
CHF 118.00
Produktbild
Logic for Programming, Artificial Intelligence, and Reasoning
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Buch
CHF 165.00
Produktbild
Logic for Programming, Artificial Intelligence, and Reasoning
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Ebook (PDF Format)
CHF 120.00
Produktbild
Logic for Programming, Artificial Intelligence, and Reasoning
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Ebook (PDF Format)
CHF 120.00
Produktbild
Programming Logics
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Buch
CHF 134.00
Produktbild
Perspectives of Systems 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
Buch
CHF 130.00
Produktbild
Logic for Programming, Artificial Intelligence, and Reasoning
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Buch
CHF 100.00

Bewertungen

0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...