Graph-Theoretic Concepts in Computer Science |
- isbn : 978-3-030-30786-8
- pisbn : 978-3-030-30785-1
- doi : 10.1007/978-3-030-30786-8
|
Fulltext
|
Formal Methods – The Next 30 Years |
- pisbn : 978-3-030-30941-1
- isbn : 978-3-030-30942-8
- doi : 10.1007/978-3-030-30942-8
|
Fulltext
|
From Software Engineering to Formal Methods and Tools, and Back |
- pisbn : 978-3-030-30984-8
- isbn : 978-3-030-30985-5
- doi : 10.1007/978-3-030-30985-5
|
Fulltext
|
The Semantic Web – ISWC 2019 |
- isbn : 978-3-030-30796-7
- pisbn : 978-3-030-30795-0
- doi : 10.1007/978-3-030-30796-7
|
Fulltext
|
Cooperative Design, Visualization, and Engineering |
- pisbn : 978-3-030-30948-0
- isbn : 978-3-030-30949-7
- doi : 10.1007/978-3-030-30949-7
|
Fulltext
|
Networked Systems |
- isbn : 978-3-030-31277-0
- pisbn : 978-3-030-31276-3
- doi : 10.1007/978-3-030-31277-0
|
Fulltext
|
Pattern Recognition and Image Analysis |
- isbn : 978-3-030-31332-6
- pisbn : 978-3-030-31331-9
- doi : 10.1007/978-3-030-31332-6
|
Fulltext
|
Cryptology and Network Security |
- pisbn : 978-3-030-31577-1
- isbn : 978-3-030-31578-8
- doi : 10.1007/978-3-030-31578-8
|
Fulltext
|
Statistical Language and Speech Processing |
- isbn : 978-3-030-31372-2
- pisbn : 978-3-030-31371-5
- doi : 10.1007/978-3-030-31372-2
|
Fulltext
|
Pattern Recognition and Image Analysis |
- pisbn : 978-3-030-31320-3
- isbn : 978-3-030-31321-0
- doi : 10.1007/978-3-030-31321-0
|
Fulltext
|