Bild von Perspectives of System Informatics

Perspectives of System Informatics

Geben Sie eine Produktbewertung ab.

10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

Autor: Andrei (Hrsg.) Voronkov

CHF 69.00

ISBN: 978-3-319-41578-9

Einband: Kartonierter Einband (Kt)

Verfügbarkeit: Folgt in ca. 5 Arbeitstagen

Menge:

+ -

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.

Autor	Voronkov, Andrei (Hrsg.) / Mazzara, Manuel (Hrsg.)
Verlag	Springer International Publishing
Einband	Kartonierter Einband (Kt)
Erscheinungsjahr	2016
Seitenangabe	352 S.
Lieferstatus	Folgt in ca. 5 Arbeitstagen
Ausgabekennzeichen	Englisch
Abbildungen	Paperback
Masse	H23.5 cm x B15.5 cm x D2.0 cm 534 g
Auflage	1st ed. 2016

Weitere Titel von Andrei (Hrsg.) Voronkov

Cover-Bild zu Perspectives of System Informatics (eBook)

Perspectives of System Informatics (eBook) Springer International Publishing

PDF | 2019

CHF

59.00

Cover-Bild zu Perspectives of System Informatics (eBook)

Perspectives of System Informatics (eBook) Springer International Publishing

PDF | 2018

CHF

59.00

Cover-Bild zu Perspectives of System Informatics (eBook)

Perspectives of System Informatics (eBook) Springer International Publishing

PDF | 2016

CHF

59.00

Cover-Bild zu Perspectives of System Informatics (eBook)

Perspectives of System Informatics (eBook) Springer Berlin Heidelberg

PDF | 2015

CHF

59.00

Cover-Bild zu Logic for Programming, Artificial Intelligence, and Reasoning (eBook)

Logic for Programming, Artificial Intelligence, an Springer Berlin Heidelberg

PDF | 2015

CHF

59.00

Cover-Bild zu Programming Logics (eBook)

Programming Logics (eBook) Springer Berlin Heidelberg

PDF | 2013

CHF

59.00

Cover-Bild zu Logic for Programming, Artificial Intelligence, and Reasoning (eBook)

Logic for Programming, Artificial Intelligence, an Springer Berlin Heidelberg

PDF | 2013

CHF

59.00

Cover-Bild zu Logic for Programming, Artificial Intelligence, and Reasoning (eBook)

Logic for Programming, Artificial Intelligence, an Springer Berlin Heidelberg

PDF | 2012

CHF

59.00

Cover-Bild zu Perspectives of Systems Informatics (eBook)

Perspectives of Systems Informatics (eBook) Springer Berlin Heidelberg

PDF | 2012

CHF

59.00

Cover-Bild zu Logic for Programming, Artificial Intelligence, and Reasoning (eBook)

Logic for Programming, Artificial Intelligence, an Springer Berlin Heidelberg

PDF | 2010

CHF

118.00

Cover-Bild zu Logic for Programming, Artificial Intelligence, and Reasoning (eBook)

Logic for Programming, Artificial Intelligence, an Springer Berlin Heidelberg

PDF | 2010

CHF

59.00

Cover-Bild zu Perspectives of Systems Informatics (eBook)

Perspectives of Systems Informatics (eBook) Springer Berlin Heidelberg

PDF | 2010

CHF

59.00

Cover-Bild zu Rewriting Techniques and Applications (eBook)

Rewriting Techniques and Applications (eBook) Springer Berlin Heidelberg

PDF | 2008

CHF

59.00

Cover-Bild zu Logic for Programming, Artificial Intelligence, and Reasoning (eBook)

Logic for Programming, Artificial Intelligence, an Springer Berlin Heidelberg

PDF | 2008

CHF

118.00

Cover-Bild zu Perspectives of Systems Informatics (eBook)

Perspectives of Systems Informatics (eBook) Springer Berlin Heidelberg

PDF | 2007

CHF

59.00

Cover-Bild zu Logic for Programming, Artificial Intelligence, and Reasoning (eBook)

Logic for Programming, Artificial Intelligence, an Springer Berlin Heidelberg

PDF | 2007

CHF

59.00

Cover-Bild zu Computer Science - Theory and Applications (eBook)

Computer Science - Theory and Applications (eBook) Springer Berlin Heidelberg

PDF | 2007

CHF

59.00

Cover-Bild zu Logic Programming and Automated Reasoning (eBook)

Logic Programming and Automated Reasoning (eBook) Springer Berlin Heidelberg

PDF | 2007

CHF

59.00

Cover-Bild zu Logic for Programming, Artificial Intelligence, and Reasoning (eBook)

Logic for Programming, Artificial Intelligence, an Springer Berlin Heidelberg

PDF | 2006

CHF

118.00

Cover-Bild zu Logic for Programming, Artificial Intelligence, and Reasoning (eBook)

Logic for Programming, Artificial Intelligence, an Springer Berlin Heidelberg

PDF | 2005

CHF

118.00

Cover-Bild zu Logic for Programming, Artificial Intelligence, and Reasoning (eBook)

Logic for Programming, Artificial Intelligence, an Springer Berlin Heidelberg

PDF | 2005

CHF

118.00

Cover-Bild zu Logic Programming (eBook)

Logic Programming (eBook) Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

Cover-Bild zu Logic Programming and Automated Reasoning (eBook)

Logic Programming and Automated Reasoning (eBook) Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

Cover-Bild zu Logic Programming and Automated Reasoning (eBook)

Logic Programming and Automated Reasoning (eBook) Springer Berlin Heidelberg

PDF | 2005

CHF

59.00