| Reachability Problems |
- isbn : 978-3-030-30806-3
- pisbn : 978-3-030-30805-6
|
Fulltext
|
| New Trends in Image Analysis and Processing – ICIAP 2019 |
- isbn : 978-3-030-30754-7
- pisbn : 978-3-030-30753-0
|
Fulltext
|
| Software Engineering for Resilient Systems |
- isbn : 978-3-030-30856-8
- pisbn : 978-3-030-30855-1
|
Fulltext
|
| Internet of Things, Smart Spaces, and Next Generation Networks and Systems |
- isbn : 978-3-030-30859-9
- pisbn : 978-3-030-30858-2
|
Fulltext
|
| Model Checking Software |
- isbn : 978-3-030-30923-7
- pisbn : 978-3-030-30922-0
|
Fulltext
|
| Web Information Systems and Applications |
- isbn : 978-3-030-30952-7
- pisbn : 978-3-030-30951-0
|
Fulltext
|
| Cooperative Design, Visualization, and Engineering |
- isbn : 978-3-030-30949-7
- pisbn : 978-3-030-30948-0
|
Fulltext
|
| Formal Methods – The Next 30 Years |
- isbn : 978-3-030-30942-8
- pisbn : 978-3-030-30941-1
|
Fulltext
|
| Unifying Theories of Programming |
- isbn : 978-3-030-31038-7
- pisbn : 978-3-030-31037-0
|
Fulltext
|
| Rules and Reasoning |
- isbn : 978-3-030-31095-0
- pisbn : 978-3-030-31094-3
|
Fulltext
|