Logic-Based Program Synthesis and Transformation |
- isbn : 978-3-031-16767-6
- pisbn : 978-3-031-16766-9
- doi : 10.1007/978-3-031-16767-6
|
Fulltext
|
Mathematics of Program Construction |
- isbn : 978-3-031-16912-0
- pisbn : 978-3-031-16911-3
- doi : 10.1007/978-3-031-16912-0
|
Fulltext
|
Simulation and Synthesis in Medical Imaging |
- isbn : 978-3-031-16980-9
- pisbn : 978-3-031-16979-3
- doi : 10.1007/978-3-031-16980-9
|
Fulltext
|
Resource-Efficient Medical Image Analysis |
- isbn : 978-3-031-16876-5
- pisbn : 978-3-031-16875-8
- doi : 10.1007/978-3-031-16876-5
|
Fulltext
|
Medical Optical Imaging and Virtual Microscopy Image Analysis |
- isbn : 978-3-031-16961-8
- pisbn : 978-3-031-16960-1
- doi : 10.1007/978-3-031-16961-8
|
Fulltext
|
Data Augmentation, Labelling, and Imperfections |
- isbn : 978-3-031-17027-0
- pisbn : 978-3-031-17026-3
- doi : 10.1007/978-3-031-17027-0
|
Fulltext
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems LII |
- isbn : 978-3-662-66146-8
- pisbn : 978-3-662-66145-1
- doi : 10.1007/978-3-662-66146-8
|
Fulltext
|
Perinatal, Preterm and Paediatric Image Analysis |
- isbn : 978-3-031-17117-8
- pisbn : 978-3-031-17116-1
- doi : 10.1007/978-3-031-17117-8
|
Fulltext
|
Computer Security – ESORICS 2022 |
- isbn : 978-3-031-17140-6
- pisbn : 978-3-031-17139-0
- doi : 10.1007/978-3-031-17140-6
|
Fulltext
|
Runtime Verification |
- isbn : 978-3-031-17196-3
- pisbn : 978-3-031-17195-6
- doi : 10.1007/978-3-031-17196-3
|
Fulltext
|