Advances in Bioinformatics and Computational Biology |
- isbn : 978-3-031-21175-1
- pisbn : 978-3-031-21174-4
- doi : 10.1007/978-3-031-21175-1
|
Fulltext
|
Software Verification and Formal Methods for ML-Enabled Autonomous Systems |
- isbn : 978-3-031-21222-2
- pisbn : 978-3-031-21221-5
- doi : 10.1007/978-3-031-21222-2
|
Fulltext
|
Trends in Functional Programming |
- isbn : 978-3-031-21314-4
- pisbn : 978-3-031-21313-7
- doi : 10.1007/978-3-031-21314-4
|
Fulltext
|
Dependable Software Engineering. Theories, Tools, and Applications |
- isbn : 978-3-031-21213-0
- pisbn : 978-3-031-21212-3
- doi : 10.1007/978-3-031-21213-0
|
Fulltext
|
Artificial Intelligence XXXIX |
- isbn : 978-3-031-21441-7
- pisbn : 978-3-031-21440-0
- doi : 10.1007/978-3-031-21441-7
|
Fulltext
|
Attacks and Defenses for the Internet-of-Things |
- isbn : 978-3-031-21311-3
- pisbn : 978-3-031-21310-6
- doi : 10.1007/978-3-031-21311-3
|
Fulltext
|
Rules and Reasoning |
- isbn : 978-3-031-21541-4
- pisbn : 978-3-031-21540-7
- doi : 10.1007/978-3-031-21541-4
|
Fulltext
|
Mining Intelligence and Knowledge Exploration |
- isbn : 978-3-031-21517-9
- pisbn : 978-3-031-21516-2
- doi : 10.1007/978-3-031-21517-9
|
Fulltext
|
Computational Theory of Mind for Human-Machine Teams |
- isbn : 978-3-031-21671-8
- pisbn : 978-3-031-21670-1
- doi : 10.1007/978-3-031-21671-8
|
Fulltext
|
From Born-Physical to Born-Virtual: Augmenting Intelligence in Digital Libraries |
- isbn : 978-3-031-21756-2
- pisbn : 978-3-031-21755-5
- doi : 10.1007/978-3-031-21756-2
|
Fulltext
|