The Logic of Software. A Tasting Menu of Formal Methods |
- isbn : 978-3-031-08166-8
- pisbn : 978-3-031-08165-1
- doi : 10.1007/978-3-031-08166-8
|
Fulltext
|
Computers Helping People with Special Needs |
- isbn : 978-3-031-08648-9
- pisbn : 978-3-031-08647-2
- doi : 10.1007/978-3-031-08648-9
|
Fulltext
|
Computational Science – ICCS 2022 |
- isbn : 978-3-031-08751-6
- pisbn : 978-3-031-08750-9
- doi : 10.1007/978-3-031-08751-6
|
Fulltext
|
Formal Techniques for Distributed Objects, Components, and Systems |
- isbn : 978-3-031-08679-3
- pisbn : 978-3-031-08678-6
- doi : 10.1007/978-3-031-08679-3
|
Fulltext
|
Computers Helping People with Special Needs |
- isbn : 978-3-031-08645-8
- pisbn : 978-3-031-08644-1
- doi : 10.1007/978-3-031-08645-8
|
Fulltext
|
Advances and Trends in Artificial Intelligence. Theory and Practices in Artificial Intelligence |
- isbn : 978-3-031-08530-7
- pisbn : 978-3-031-08529-1
- doi : 10.1007/978-3-031-08530-7
|
Fulltext
|
AIxIA 2021 – Advances in Artificial Intelligence |
- isbn : 978-3-031-08421-8
- pisbn : 978-3-031-08420-1
- doi : 10.1007/978-3-031-08421-8
|
Fulltext
|
Computational Science – ICCS 2022 |
- isbn : 978-3-031-08757-8
- pisbn : 978-3-031-08756-1
- doi : 10.1007/978-3-031-08757-8
|
Fulltext
|
Computational Science – ICCS 2022 |
- isbn : 978-3-031-08760-8
- pisbn : 978-3-031-08759-2
- doi : 10.1007/978-3-031-08760-8
|
Fulltext
|
Information Security and Cryptology – ICISC 2021 |
- isbn : 978-3-031-08896-4
- pisbn : 978-3-031-08895-7
- doi : 10.1007/978-3-031-08896-4
|
Fulltext
|