國立虎尾科技大學 |

Perspectives of System Informatics = 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Perspectives of System Informatics/ edited by Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov.
Reminder of title:	12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers /
other author:	Bjørner, Nikolaj.
Description:	XVIII, 263 p. 198 illus., 51 illus. in color.online resource. :
Contained By:	Springer Nature eBook
Subject:	Computer logic. -
Online resource:	https://doi.org/10.1007/978-3-030-37487-7
ISBN:	9783030374877

Perspectives of System Informatics = 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers /
Perspectives of System Informatics12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers /[electronic resource] :edited by Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov. - 1st ed. 2019. - XVIII, 263 p. 198 illus., 51 illus. in color.online resource. - Theoretical Computer Science and General Issues ;11964. - Theoretical Computer Science and General Issues ;9163.

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. .

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.

ISBN: 9783030374877

Standard No.: 10.1007/978-3-030-37487-7doiSubjects--Topical Terms:

786340
Computer logic.

LC Class. No.: QA76.9.L63

Dewey Class. No.: 005.1015113

Perspectives of System Informatics = 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers /
LDR:02370nam a22004335i 4500 001 1005374
003 DE-He213
005 20200703084740.0
007 cr nn 008mamaa
008 210106s2019 gw | s |||| 0|eng d
020 $a 9783030374877 $9 978-3-030-37487-7
024 7 $a 10.1007/978-3-030-37487-7 $2 doi
035 $a 978-3-030-37487-7
050 4 $a QA76.9.L63
050 4 $a QA76.5913
072 7 $a UM $2 bicssc
072 7 $a COM051000 $2 bisacsh
072 7 $a UM $2 thema
072 7 $a UYF $2 thema
082 0 4 $a 005.1015113 $2 23
245 1 0 $a Perspectives of System Informatics $h [electronic resource] : $b 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers / $c edited by Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov.
250 $a 1st ed. 2019.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a XVIII, 263 p. 198 illus., 51 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Theoretical Computer Science and General Issues ; $v 11964
505 0 $a 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. .
520 $a 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.
650 0 $a Computer logic. $3 786340
650 0 $a Computer communication systems. $3 1115394
650 0 $a Special purpose computers. $3 1204562
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Computer programming. $3 527822
650 0 $a Artificial intelligence. $3 559380
650 1 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Computer Communication Networks. $3 669310
650 2 4 $a Special Purpose and Application-Based Systems. $3 669833
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
650 2 4 $a Programming Techniques. $3 669781
650 2 4 $a Logic in AI. $3 1228083
700 1 $a Bjørner, Nikolaj. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1264793
700 1 $a Virbitskaite, Irina. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 885384
700 1 $a Voronkov, Andrei. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 674793
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030374860
776 0 8 $i Printed edition: $z 9783030374884
830 0 $a Theoretical Computer Science and General Issues ; $v 9163 $3 1253524
856 4 0 $u https://doi.org/10.1007/978-3-030-37487-7
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)