Language, Logic, and Computation |
- isbn : 978-3-030-98479-3
- pisbn : 978-3-030-98478-6
- doi : 10.1007/978-3-030-98479-3
|
Fulltext
|
RoboCup 2021: Robot World Cup XXIV |
- isbn : 978-3-030-98682-7
- pisbn : 978-3-030-98681-0
- doi : 10.1007/978-3-030-98682-7
|
Fulltext
|
MultiMedia Modeling |
- isbn : 978-3-030-98355-0
- pisbn : 978-3-030-98354-3
- doi : 10.1007/978-3-030-98355-0
|
Fulltext
|
Security and Artificial Intelligence |
- isbn : 978-3-030-98795-4
- pisbn : 978-3-030-98794-7
- doi : 10.1007/978-3-030-98795-4
|
Fulltext
|
Logic-Based Program Synthesis and Transformation |
- isbn : 978-3-030-98869-2
- pisbn : 978-3-030-98868-5
- doi : 10.1007/978-3-030-98869-2
|
Fulltext
|
Verification and Evaluation of Computer and Communication Systems |
- isbn : 978-3-030-98850-0
- pisbn : 978-3-030-98849-4
- doi : 10.1007/978-3-030-98850-0
|
Fulltext
|
Passive and Active Measurement |
- isbn : 978-3-030-98785-5
- pisbn : 978-3-030-98784-8
- doi : 10.1007/978-3-030-98785-5
|
Fulltext
|
Machine Learning for Networking |
- isbn : 978-3-030-98978-1
- pisbn : 978-3-030-98977-4
- doi : 10.1007/978-3-030-98978-1
|
Fulltext
|
Selected Areas in Cryptography |
- isbn : 978-3-030-99277-4
- pisbn : 978-3-030-99276-7
- doi : 10.1007/978-3-030-99277-4
|
Fulltext
|
Foundations of Software Science and Computation Structures |
- isbn : 978-3-030-99253-8
- pisbn : 978-3-030-99252-1
- doi : 10.1007/978-3-030-99253-8
|
Fulltext
|