|
|
Fulltext
|
| Verification, Model Checking, and Abstract Interpretation |
- pisbn : 978-3-662-49121-8
- isbn : 978-3-662-49122-5
|
Fulltext
|
| Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII |
- isbn : 978-3-662-49175-1
- pisbn : 978-3-662-49174-4
|
Fulltext
|
|
|
Fulltext
|
| Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges |
- pisbn : 978-3-319-28711-9
- isbn : 978-3-319-28712-6
|
Fulltext
|
|
|
Fulltext
|
| Quantum Interaction |
- isbn : 978-3-319-28675-4
- pisbn : 978-3-319-28674-7
|
Fulltext
|
| Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV |
- pisbn : 978-3-662-49213-0
- isbn : 978-3-662-49214-7
|
Fulltext
|
| Trustworthy Global Computing |
- pisbn : 978-3-319-28765-2
- isbn : 978-3-319-28766-9
|
Fulltext
|
| Transactions on Computational Science XXVI |
- pisbn : 978-3-662-49246-8
- isbn : 978-3-662-49247-5
|
Fulltext
|