Perspectives of System Informatics
12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers
Published on 14. December 2019
Book
Paperback/Softback
XVIII, 263 pages
978-3-030-37486-0 (ISBN)
Description
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.
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.
More details
Series
Edition
2019 ed.
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Illustrations
147 s/w Abbildungen, 51 farbige Abbildungen
XVIII, 263 p. 198 illus., 51 illus. in color.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 16 mm
Weight
435 gr
ISBN-13
978-3-030-37486-0 (9783030374860)
DOI
10.1007/978-3-030-37487-7
Schweitzer Classification
Other editions
Additional editions
Nikolaj Bjørner | Irina Virbitskaite | Andrei Voronkov
Perspectives of System Informatics
12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers
E-Book
12/2019
Springer
€53.49
Available for download
Content
Mathematics of Computing.- Information Systems.- Formal Languages.- Automata Theory.- Algebraic Language Theory.- Logic.- Semantics and Reasoning.- Architectures.- Parallel Architectures.- Software and its engineering.- Document management and text processing.