| Integrated Formal Methods |
- isbn : 978-3-031-07727-2
- pisbn : 978-3-031-07726-5
|
Fulltext
|
| Cyber Security, Cryptology, and Machine Learning |
- isbn : 978-3-031-07689-3
- pisbn : 978-3-031-07688-6
|
Fulltext
|
| Bioinformatics and Biomedical Engineering |
- isbn : 978-3-031-07802-6
- pisbn : 978-3-031-07801-9
|
Fulltext
|
| Integration of Constraint Programming, Artificial Intelligence, and Operations Research |
- isbn : 978-3-031-08011-1
- pisbn : 978-3-031-08010-4
|
Fulltext
|
| Coordination Models and Languages |
- isbn : 978-3-031-08143-9
- pisbn : 978-3-031-08142-2
|
Fulltext
|
| Foundations and Practice of Security |
- isbn : 978-3-031-08147-7
- pisbn : 978-3-031-08146-0
|
Fulltext
|
| Reuse and Software Quality |
- isbn : 978-3-031-08129-3
- pisbn : 978-3-031-08128-6
|
Fulltext
|
| The Logic of Software. A Tasting Menu of Formal Methods |
- isbn : 978-3-031-08166-8
- pisbn : 978-3-031-08165-1
|
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
|
Fulltext
|
| Computers Helping People with Special Needs |
- isbn : 978-3-031-08645-8
- pisbn : 978-3-031-08644-1
|
Fulltext
|