| Relational and Algebraic Methods in Computer Science |
- isbn : 978-3-030-88701-8
- pisbn : 978-3-030-88700-1
|
Fulltext
|
| Discovery Science |
- isbn : 978-3-030-88942-5
- pisbn : 978-3-030-88941-8
|
Fulltext
|
| Logic, Language, Information, and Computation |
- isbn : 978-3-030-88853-4
- pisbn : 978-3-030-88852-7
|
Fulltext
|
| Automated Technology for Verification and Analysis |
- isbn : 978-3-030-88885-5
- pisbn : 978-3-030-88884-8
|
Fulltext
|
| Conceptual Modeling |
- isbn : 978-3-030-89022-3
- pisbn : 978-3-030-89021-6
|
Fulltext
|
| Advances in Computer Graphics |
- isbn : 978-3-030-89029-2
- pisbn : 978-3-030-89028-5
|
Fulltext
|
| Programming Languages and Systems |
- isbn : 978-3-030-89051-3
- pisbn : 978-3-030-89050-6
|
Fulltext
|
| Intelligent Robotics and Applications |
- isbn : 978-3-030-89092-6
- pisbn : 978-3-030-89091-9
|
Fulltext
|
| Intelligent Robotics and Applications |
- isbn : 978-3-030-89095-7
- pisbn : 978-3-030-89094-0
|
Fulltext
|
| Leveraging Applications of Formal Methods, Verification and Validation |
- isbn : 978-3-030-89159-6
- pisbn : 978-3-030-89158-9
|
Fulltext
|