Logic, Rationality, and Interaction |
- isbn : 978-3-662-60292-8
- pisbn : 978-3-662-60291-1
- doi : 10.1007/978-3-662-60292-8
|
Fulltext
|
Reachability Problems |
- isbn : 978-3-030-30806-3
- pisbn : 978-3-030-30805-6
- doi : 10.1007/978-3-030-30806-3
|
Fulltext
|
Software Engineering for Resilient Systems |
- isbn : 978-3-030-30856-8
- pisbn : 978-3-030-30855-1
- doi : 10.1007/978-3-030-30856-8
|
Fulltext
|
Internet of Things, Smart Spaces, and Next Generation Networks and Systems |
- isbn : 978-3-030-30859-9
- pisbn : 978-3-030-30858-2
- doi : 10.1007/978-3-030-30859-9
|
Fulltext
|
The Semantic Web – ISWC 2019 |
- isbn : 978-3-030-30793-6
- pisbn : 978-3-030-30792-9
- doi : 10.1007/978-3-030-30793-6
|
Fulltext
|
Model Checking Software |
- isbn : 978-3-030-30923-7
- pisbn : 978-3-030-30922-0
- doi : 10.1007/978-3-030-30923-7
|
Fulltext
|
Web Information Systems and Applications |
- isbn : 978-3-030-30952-7
- pisbn : 978-3-030-30951-0
- doi : 10.1007/978-3-030-30952-7
|
Fulltext
|
Unifying Theories of Programming |
- isbn : 978-3-030-31038-7
- pisbn : 978-3-030-31037-0
- doi : 10.1007/978-3-030-31038-7
|
Fulltext
|
Rules and Reasoning |
- isbn : 978-3-030-31095-0
- pisbn : 978-3-030-31094-3
- doi : 10.1007/978-3-030-31095-0
|
Fulltext
|
Tests and Proofs |
- isbn : 978-3-030-31157-5
- pisbn : 978-3-030-31156-8
- doi : 10.1007/978-3-030-31157-5
|
Fulltext
|