Perspectives of System Informatics 1
bokomslag Perspectives of System Informatics
Data & IT

Perspectives of System Informatics

Alexander K Petrenko • Andrei Voronkov

Pocket

1009:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-11 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 432 sidor
  • 2018
This book constitutes the refereed proceedings of the 11th International Andrei P. Ershov Informatics Conference, PSI 2017, held in Moscow, Russia, in June 2017. The 31 full papers presented in this volume were carefully reviewed and selected from 57 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.
  • Författare: Alexander K Petrenko, Andrei Voronkov
  • Illustratör: Bibliographie 80 schwarz-weiße Abbildungen
  • Format: Pocket/Paperback
  • ISBN: 9783319743127
  • Språk: Engelska
  • Antal sidor: 432
  • Utgivningsdatum: 2018-01-18
  • Förlag: Springer International Publishing AG

Du kanske gillar

  1. bokomslag Perspectives of Systems Informatics

    Perspectives of Systems Informatics

    Andrei Voronkov Amir Pnueli

    Pocket

    1009:-
  2. bokomslag Perspectives of Systems Informatics

    Perspectives of Systems Informatics

    Andrei Voronkov Edmund Clarke

    Pocket

    1009:-
  3. bokomslag Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Int...

    Andrei Voronkov Miki Hermann

    Pocket

    1999:-
  4. bokomslag Perspectives of System Informatics

    Perspectives of System Informatics

    Dines Bjrner, Manfred Broy, Igor V Pottosin

    Pocket

    1039:-
  5. bokomslag Logic for Programming and Automated Reasoning

    Logic for Programming and Automated R...

    Andrei Voronkov Michel Parigot

    Pocket

    1009:-
  6. bokomslag Perspectives of System Informatics

    Perspectives of System Informatics

    Nikolaj Bjrner, Irina Virbitskaite, Andrei Voronkov

    Pocket

    1009:-
  7. bokomslag Perspectives of System Informatics

    Perspectives of System Informatics

    Dines Bjrner, Manfred Broy, Alexandre Zamulin

    Pocket

    1039:-
  8. bokomslag Perspectives of System Informatics

    Perspectives of System Informatics

    Andrei Voronkov Manuel Mazzara

    Pocket

    1009:-
  9. bokomslag Perspectives of System Informatics

    Perspectives of System Informatics

    Dines Bjrner, Manfred Broy, Alexandre V Zamulin

    Pocket

    2059:-
  10. bokomslag Perspectives of System Informatics

    Perspectives of System Informatics

    Andrei Voronkov

    Pocket

    1009:-

Andra av samma författare

  1. bokomslag Handbook of Automated Reasoning

    Handbook of Automated Reasoning

    Andrei Voronkov

    Inbunden

    3599:-
  2. bokomslag Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Int...

    Andrei Voronkov Matthias Baaz

    Pocket

    1009:-
  3. bokomslag Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Int...

    Andrei Voronkov Moshe Vardi

    Pocket

    1009:-
  4. bokomslag Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Int...

    Andrei Voronkov Franz Baader

    Pocket

    1469:-
  5. bokomslag Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Int...

    Andrei Voronkov Geoff Sutcliffe

    Pocket

    1999:-
  6. bokomslag Logic for Programming and Automated Reasoning

    Logic for Programming and Automated R...

    Andrei Voronkov Michel Parigot

    Pocket

    1009:-
  7. bokomslag Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Int...

    Andrei Voronkov Robert Nieuwenhuis

    Pocket

    2059:-
  8. bokomslag Automated Deduction - CADE-18

    Automated Deduction - CADE-18

    Andrei Voronkov

    Pocket

    1039:-
  9. bokomslag Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Int...

    Andrei Voronkov Miki Hermann

    Pocket

    1999:-
  10. bokomslag Logic Programming

    Logic Programming

    Andrei Voronkov

    Pocket

    1009:-