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

Perspectives of System Informatics

Nikolaj Bjrner • Irina Virbitskaite • Andrei Voronkov

Pocket

769:-

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

Uppskattad leveranstid 10-16 arbetsdagar

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

  • 263 sidor
  • 2019
This book constitutes the refereed proceedings of the 12th International Andrei P. Ershov Informatics Conference, PSI 2019, held in Novosibirsk, Russia, in July 2019. The 18 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers cover various topics related to the Mathematics of Computing, Information Systems, Formal Languages, dependable and fault-tolerant Systems and Network, Automata Theory, and much more.
  • Författare: Nikolaj Bjrner, Irina Virbitskaite, Andrei Voronkov
  • Format: Pocket/Paperback
  • ISBN: 9783030374860
  • Språk: Engelska
  • Antal sidor: 263
  • Utgivningsdatum: 2019-12-14
  • Förlag: Springer Nature Switzerland AG

Du kanske gillar

  1. bokomslag Computer Science - Theory and Applications

    Computer Science - Theory and Applica...

    Volker Diekert, Mikhail Volkov, Andrei Voronkov

    Pocket

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

    Logic for Programming, Artificial Int...

    Ken McMillan, Aart Middeldorp, Andrei Voronkov

    Pocket

    769:-
  3. bokomslag Perspectives of System Informatics

    Perspectives of System Informatics

    Dines Bjrner, Manfred Broy, Igor V Pottosin

    Pocket

    789:-
  4. bokomslag Logic Programming and Automated Reasoning

    Logic Programming and Automated Reaso...

    Harald Ganzinger, David Mcallester, Andrei Voronkov

    Pocket

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

    Logic for Programming, Artificial Int...

    Iliano Cervesato, Helmut Veith, Andrei Voronkov

    Pocket

    1519:-
  6. bokomslag FM 2015: Formal Methods

    FM 2015: Formal Methods

    Frank De Boer Nikolaj Bjrner

    Pocket

    769:-
  7. bokomslag Automated Deduction -- CADE-23

    Automated Deduction -- CADE-23

    Viorica Sofronie-Stokkermans Nikolaj ...

    Pocket

    769:-
  8. bokomslag Perspectives of System Informatics

    Perspectives of System Informatics

    Dines Bjrner, Manfred Broy, Alexandre Zamulin

    Pocket

    789:-
  9. bokomslag Perspectives of System Informatics

    Perspectives of System Informatics

    Andrei Voronkov Manuel Mazzara

    Pocket

    769:-
  10. bokomslag Perspectives of System Informatics

    Perspectives of System Informatics

    Dines Bjrner, Manfred Broy, Alexandre V Zamulin

    Pocket

    1559:-

Andra av samma författare

  1. bokomslag Handbook of Automated Reasoning

    Handbook of Automated Reasoning

    Andrei Voronkov

    Inbunden

    3639:-
  2. bokomslag FM 2015: Formal Methods

    FM 2015: Formal Methods

    Frank De Boer Nikolaj Bjrner

    Pocket

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

    Logic for Programming, Artificial Int...

    Andrei Voronkov Matthias Baaz

    Pocket

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

    Logic for Programming, Artificial Int...

    Andrei Voronkov Moshe Vardi

    Pocket

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

    Logic for Programming, Artificial Int...

    Andrei Voronkov Franz Baader

    Pocket

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

    Logic for Programming, Artificial Int...

    Andrei Voronkov Geoff Sutcliffe

    Pocket

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

    Logic for Programming and Automated R...

    Andrei Voronkov Michel Parigot

    Pocket

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

    Logic for Programming, Artificial Int...

    Andrei Voronkov Robert Nieuwenhuis

    Pocket

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

    Automated Deduction - CADE-18

    Andrei Voronkov

    Pocket

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

    Logic for Programming, Artificial Int...

    Andrei Voronkov Miki Hermann

    Pocket

    1519:-