Formal Methods for Industrial Critical Systems |
- isbn : 978-3-031-15008-1
- pisbn : 978-3-031-15007-4
- doi : 10.1007/978-3-031-15008-1
|
Fulltext
|
Diagrammatic Representation and Inference |
- isbn : 978-3-031-15146-0
- pisbn : 978-3-031-15145-3
- doi : 10.1007/978-3-031-15146-0
|
Fulltext
|
Serious Games |
- isbn : 978-3-031-15325-9
- pisbn : 978-3-031-15324-2
- doi : 10.1007/978-3-031-15325-9
|
Fulltext
|
Logic, Language, Information, and Computation |
- isbn : 978-3-031-15298-6
- pisbn : 978-3-031-15297-9
- doi : 10.1007/978-3-031-15298-6
|
Fulltext
|
The Role of Digital Technologies in Shaping the Post-Pandemic World |
- isbn : 978-3-031-15342-6
- pisbn : 978-3-031-15341-9
- doi : 10.1007/978-3-031-15342-6
|
Fulltext
|
Hybrid Artificial Intelligent Systems |
- isbn : 978-3-031-15471-3
- pisbn : 978-3-031-15470-6
- doi : 10.1007/978-3-031-15471-3
|
Fulltext
|
A Journey from Process Algebra via Timed Automata to Model Learning |
- isbn : 978-3-031-15629-8
- pisbn : 978-3-031-15628-1
- doi : 10.1007/978-3-031-15629-8
|
Fulltext
|
Explainable and Transparent AI and Multi-Agent Systems |
- isbn : 978-3-031-15565-9
- pisbn : 978-3-031-15564-2
- doi : 10.1007/978-3-031-15565-9
|
Fulltext
|
Algorithmic Game Theory |
- isbn : 978-3-031-15714-1
- pisbn : 978-3-031-15713-4
- doi : 10.1007/978-3-031-15714-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
|