語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Reachability Problems = 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings /
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Reachability Problems/ edited by Anthony W. Lin, Georg Zetzsche, Igor Potapov.
其他題名:
16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings /
其他作者:
Lin, Anthony W.
面頁冊數:
XLIII, 179 p. 28 illus., 7 illus. in color.online resource. :
Contained By:
Springer Nature eBook
標題:
Machine theory. -
電子資源:
https://doi.org/10.1007/978-3-031-19135-0
ISBN:
9783031191350
Reachability Problems = 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings /
Reachability Problems
16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings /[electronic resource] :edited by Anthony W. Lin, Georg Zetzsche, Igor Potapov. - 1st ed. 2022. - XLIII, 179 p. 28 illus., 7 illus. in color.online resource. - Lecture Notes in Computer Science,136081611-3349 ;. - Lecture Notes in Computer Science,9324.
This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany, in October 2022. The 8 full papers presented were carefully reviewed and selected from 14 submissions. In addition, 3 invited papers were included in this volume. The RP proceedings cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps; and new computational paradigms.
ISBN: 9783031191350
Standard No.: 10.1007/978-3-031-19135-0doiSubjects--Topical Terms:
527775
Machine theory.
LC Class. No.: QA267-268.5
Dewey Class. No.: 005.131
Reachability Problems = 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings /
LDR
:02257nam a22003975i 4500
001
1084185
003
DE-He213
005
20221011063528.0
007
cr nn 008mamaa
008
221228s2022 sz | s |||| 0|eng d
020
$a
9783031191350
$9
978-3-031-19135-0
024
7
$a
10.1007/978-3-031-19135-0
$2
doi
035
$a
978-3-031-19135-0
050
4
$a
QA267-268.5
072
7
$a
UYA
$2
bicssc
072
7
$a
MAT018000
$2
bisacsh
072
7
$a
UYA
$2
thema
082
0 4
$a
005.131
$2
23
245
1 0
$a
Reachability Problems
$h
[electronic resource] :
$b
16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings /
$c
edited by Anthony W. Lin, Georg Zetzsche, Igor Potapov.
250
$a
1st ed. 2022.
264
1
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2022.
300
$a
XLIII, 179 p. 28 illus., 7 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
Lecture Notes in Computer Science,
$x
1611-3349 ;
$v
13608
520
$a
This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany, in October 2022. The 8 full papers presented were carefully reviewed and selected from 14 submissions. In addition, 3 invited papers were included in this volume. The RP proceedings cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps; and new computational paradigms.
650
0
$a
Machine theory.
$3
527775
650
0
$a
Computer science.
$3
573171
650
0
$a
Software engineering.
$3
562952
650
0
$a
Logic programming.
$3
670217
650
0
$a
Algorithms.
$3
527865
650
0
$a
Computer science—Mathematics.
$3
1253519
650
1 4
$a
Formal Languages and Automata Theory.
$3
1365747
650
2 4
$a
Computer Science Logic and Foundations of Programming.
$3
1365757
650
2 4
$a
Software Engineering.
$3
669632
650
2 4
$a
Logic in AI.
$3
1228083
650
2 4
$a
Design and Analysis of Algorithms.
$3
1365721
650
2 4
$a
Mathematics of Computing.
$3
669457
700
1
$a
Lin, Anthony W.
$e
editor.
$4
edt
$4
http://id.loc.gov/vocabulary/relators/edt
$3
1390416
700
1
$a
Zetzsche, Georg.
$e
editor.
$4
edt
$4
http://id.loc.gov/vocabulary/relators/edt
$3
1390417
700
1
$a
Potapov, Igor.
$4
edt
$4
http://id.loc.gov/vocabulary/relators/edt
$3
793384
710
2
$a
SpringerLink (Online service)
$3
593884
773
0
$t
Springer Nature eBook
776
0 8
$i
Printed edition:
$z
9783031191343
776
0 8
$i
Printed edition:
$z
9783031191367
830
0
$a
Lecture Notes in Computer Science,
$x
0302-9743 ;
$v
9324
$3
1258960
856
4 0
$u
https://doi.org/10.1007/978-3-031-19135-0
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)
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入