| Language, Logic, and Computation |
- isbn : 978-3-030-98479-3
- pisbn : 978-3-030-98478-6
|
Fulltext
|
| Passive and Active Measurement |
- isbn : 978-3-030-98785-5
- pisbn : 978-3-030-98784-8
|
Fulltext
|
| Security and Artificial Intelligence |
- isbn : 978-3-030-98795-4
- pisbn : 978-3-030-98794-7
|
Fulltext
|
| Logic-Based Program Synthesis and Transformation |
- isbn : 978-3-030-98869-2
- pisbn : 978-3-030-98868-5
|
Fulltext
|
| Verification and Evaluation of Computer and Communication Systems |
- isbn : 978-3-030-98850-0
- pisbn : 978-3-030-98849-4
|
Fulltext
|
| Foundations of Software Science and Computation Structures |
- isbn : 978-3-030-99253-8
- pisbn : 978-3-030-99252-1
|
Fulltext
|
| Machine Learning for Networking |
- isbn : 978-3-030-98978-1
- pisbn : 978-3-030-98977-4
|
Fulltext
|
| Selected Areas in Cryptography |
- isbn : 978-3-030-99277-4
- pisbn : 978-3-030-99276-7
|
Fulltext
|
| Programming Languages and Systems |
- isbn : 978-3-030-99336-8
- pisbn : 978-3-030-99335-1
|
Fulltext
|
| Fundamental Approaches to Software Engineering |
- isbn : 978-3-030-99429-7
- pisbn : 978-3-030-99428-0
|
Fulltext
|