Perspectives of Systems Informatics / 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers / Andrei Voronkov (u. a.) / Buch - Taschenbuch
2015, ISBN: 9783662468227
[ED: Taschenbuch], [PU: Springer Berlin], This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. Petersburg, Rus… Mehr…
booklooker.de |
Perspectives of Systems Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers Andrei Voronkov (u. a.) Buch - Taschenbuch
2015, ISBN: 9783662468227
[ED: Taschenbuch], [PU: Springer Berlin], This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. Petersburg, Rus… Mehr…
booklooker.de |
2014, ISBN: 9783662468227
[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. … Mehr…
booklooker.de Buchhandlung - Bides GbR Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
2014, ISBN: 9783662468227
[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. … Mehr…
booklooker.de |
2015, ISBN: 9783662468227
9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers, Buch, Softcover, 2015, [PU: Springer Berlin], Springer Berlin… Mehr…
lehmanns.de Versandkosten:sofort lieferbar. (EUR 0.00) Details... |
Perspectives of Systems Informatics / 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers / Andrei Voronkov (u. a.) / Buch - Taschenbuch
2015, ISBN: 9783662468227
[ED: Taschenbuch], [PU: Springer Berlin], This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. Petersburg, Rus… Mehr…
Voronkov, Andrei:
Perspectives of Systems Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers Andrei Voronkov (u. a.) Buch - Taschenbuch2015, ISBN: 9783662468227
[ED: Taschenbuch], [PU: Springer Berlin], This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. Petersburg, Rus… Mehr…
2014
ISBN: 9783662468227
[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. … Mehr…
2014, ISBN: 9783662468227
[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. … Mehr…
2015, ISBN: 9783662468227
9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers, Buch, Softcover, 2015, [PU: Springer Berlin], Springer Berlin… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Perspectives of System Informatics
EAN (ISBN-13): 9783662468227
ISBN (ISBN-10): 3662468220
Taschenbuch
Erscheinungsjahr: 2015
Herausgeber: Springer Berlin
Buch in der Datenbank seit 2015-07-30T15:21:17+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-01-19T19:29:27+01:00 (Berlin)
ISBN/EAN: 9783662468227
ISBN - alternative Schreibweisen:
3-662-46822-0, 978-3-662-46822-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: voronkov
Titel des Buches: perspectives, petersburg, russia
Daten vom Verlag:
Autor/in: Andrei Voronkov; Irina Virbitskaite
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers
Verlag: Springer; Springer Berlin
415 Seiten
Erscheinungsjahr: 2015-04-30
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XIII, 415 p. 106 illus.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Informatik; Computational complexity; Concurrency; Formal languages and automata theory; Foundations of program developments; Functional languages; Information technologies; Knowledge engineering; Knowledge management; Knowledge-based systems; Logic; Model checking; Models of computation; Program analysis; Program constructs; Programming methodology; Semantics and reasoning; Software engineering; System analysis; System development; Timed and hybrid models; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Software Engineering; Theory of Computation; Compiler und Übersetzer; Software Engineering; EA
This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. Petersburg, Russia, in June 2014. The 17 revised full papers, 11 revised short papers, and 2 system and experimental papers presented in this book were carefully reviewed and selected from 80 submissions. The volume also contains 5 keynote talks which cover a range of hot topics in computer science and informatics. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and software engineering and information technologies.Includes supplementary material: sn.pub/extras
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030374860 Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2?5, 2019, Revised ... (Lecture Notes in Computer Science, 11964) (Nikolaj Bjrner)
- 9783030374860 Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2?5, 2019, Revised ... (Lecture Notes in Computer Science, 11964) (Nikolaj Bjrner)
- 9783030374877 Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised (Nikolaj Bjørner; Irina Virbitskaite; Andrei Voronkov)
- 9783319743127 Perspectives of System Informatics (Alexander K. Petrenko; Andrei Voronkov)
- 9783319415789 Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, ... (Lecture Notes in Computer Science, 9609) (Andrei Voronkov)
- 9783642114854 Perspectives of Systems Informatics (Amir Pnueli; Irina Virbitskaite; Andrei Voronkov)
< zum Archiv...