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

Perspectives of System Informatics

Alexander K Petrenko • Andrei Voronkov

Pocket

769:-

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

Uppskattad leveranstid 10-15 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

    769:-
  2. bokomslag Perspectives of Systems Informatics

    Perspectives of Systems Informatics

    Andrei Voronkov Edmund Clarke

    Pocket

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

    Logic for Programming, Artificial Int...

    Andrei Voronkov Miki Hermann

    Pocket

    1519:-
  4. bokomslag Logic for Programming and Automated Reasoning

    Logic for Programming and Automated R...

    Andrei Voronkov Michel Parigot

    Pocket

    769:-
  5. bokomslag Perspectives of System Informatics

    Perspectives of System Informatics

    Dines Bjrner, Manfred Broy, Igor V Pottosin

    Pocket

    789:-
  6. bokomslag Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Int...

    Andrei Voronkov Christian G Fermller

    Pocket

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

    Logic for Programming, Artificial Int...

    Andrei Voronkov Nachum Dershowitz

    Pocket

    769:-
  8. bokomslag Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Int...

    Andrei Voronkov Edmund M Clarke Jr

    Pocket

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

    Logic for Programming, Artificial Int...

    Andrei Voronkov Matthias Baaz

    Pocket

    769:-
  10. bokomslag Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Int...

    Andrei Voronkov Nikolaj Bjrner

    Pocket

    769:-

Andra av samma författare

  1. bokomslag Handbook of Automated Reasoning

    Handbook of Automated Reasoning

    Andrei Voronkov

    Inbunden

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

    Logic for Programming, Artificial Int...

    Andrei Voronkov Matthias Baaz

    Pocket

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

    Logic for Programming, Artificial Int...

    Andrei Voronkov Moshe Vardi

    Pocket

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

    Logic for Programming, Artificial Int...

    Andrei Voronkov Franz Baader

    Pocket

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

    Logic for Programming, Artificial Int...

    Andrei Voronkov Geoff Sutcliffe

    Pocket

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

    Logic for Programming and Automated R...

    Andrei Voronkov Michel Parigot

    Pocket

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

    Logic for Programming, Artificial Int...

    Andrei Voronkov Robert Nieuwenhuis

    Pocket

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

    Automated Deduction - CADE-18

    Andrei Voronkov

    Pocket

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

    Logic for Programming, Artificial Int...

    Andrei Voronkov Miki Hermann

    Pocket

    1519:-
  10. bokomslag Logic Programming

    Logic Programming

    Andrei Voronkov

    Pocket

    769:-