Formal Modeling and Analysis of Timed Systems |
- isbn : 978-3-031-15839-1
- pisbn : 978-3-031-15838-4
- doi : 10.1007/978-3-031-15839-1
|
Fulltext
|
Advances in Cryptology – CRYPTO 2022 |
- isbn : 978-3-031-15802-5
- pisbn : 978-3-031-15801-8
- doi : 10.1007/978-3-031-15802-5
|
Fulltext
|
KI 2022: Advances in Artificial Intelligence |
- isbn : 978-3-031-15791-2
- pisbn : 978-3-031-15790-5
- doi : 10.1007/978-3-031-15791-2
|
Fulltext
|
Informatics in Schools. A Step Beyond Digital Education |
- isbn : 978-3-031-15851-3
- pisbn : 978-3-031-15850-6
- doi : 10.1007/978-3-031-15851-3
|
Fulltext
|
Electronic Voting |
- isbn : 978-3-031-15911-4
- pisbn : 978-3-031-15910-7
- doi : 10.1007/978-3-031-15911-4
|
Fulltext
|
Model-Based Safety and Assessment |
- isbn : 978-3-031-15842-1
- pisbn : 978-3-031-15841-4
- doi : 10.1007/978-3-031-15842-1
|
Fulltext
|
Graph-Theoretic Concepts in Computer Science |
- isbn : 978-3-031-15914-5
- pisbn : 978-3-031-15913-8
- doi : 10.1007/978-3-031-15914-5
|
Fulltext
|
Artificial Neural Networks and Machine Learning – ICANN 2022 |
- isbn : 978-3-031-15919-0
- pisbn : 978-3-031-15918-3
- doi : 10.1007/978-3-031-15919-0
|
Fulltext
|
Artificial Neural Networks and Machine Learning – ICANN 2022 |
- isbn : 978-3-031-15937-4
- pisbn : 978-3-031-15936-7
- doi : 10.1007/978-3-031-15937-4
|
Fulltext
|
OpenMP in a Modern World: From Multi-device Support to Meta Programming |
- isbn : 978-3-031-15922-0
- pisbn : 978-3-031-15921-3
- doi : 10.1007/978-3-031-15922-0
|
Fulltext
|