Tests and Proofs |
- isbn : 978-3-319-41135-4
- pisbn : 978-3-319-41134-7
- doi : 10.1007/978-3-319-41135-4
|
Fulltext
|
Algorithmic Aspects in Information and Management |
- isbn : 978-3-319-41168-2
- pisbn : 978-3-319-41167-5
- doi : 10.1007/978-3-319-41168-2
|
Fulltext
|
Computers Helping People with Special Needs |
- isbn : 978-3-319-41267-2
- pisbn : 978-3-319-41266-5
- doi : 10.1007/978-3-319-41267-2
|
Fulltext
|
Data and Applications Security and Privacy XXX |
- isbn : 978-3-319-41483-6
- pisbn : 978-3-319-41482-9
- doi : 10.1007/978-3-319-41483-6
|
Fulltext
|
Software Engineering and Formal Methods |
- isbn : 978-3-319-41591-8
- pisbn : 978-3-319-41590-1
- doi : 10.1007/978-3-319-41591-8
|
Fulltext
|
Perspectives of System Informatics |
- isbn : 978-3-319-41579-6
- pisbn : 978-3-319-41578-9
- doi : 10.1007/978-3-319-41579-6
|
Fulltext
|
Transactions on Computational Collective Intelligence XXIII |
- isbn : 978-3-662-52886-0
- pisbn : 978-3-662-52885-3
- doi : 10.1007/978-3-662-52886-0
|
Fulltext
|
Computer Aided Verification |
- isbn : 978-3-319-41528-4
- pisbn : 978-3-319-41527-7
- doi : 10.1007/978-3-319-41528-4
|
Fulltext
|
Solving Large Scale Learning Tasks. Challenges and Algorithms |
- isbn : 978-3-319-41706-6
- pisbn : 978-3-319-41705-9
- doi : 10.1007/978-3-319-41706-6
|
Fulltext
|
Computational Methods and Clinical Applications for Spine Imaging |
- isbn : 978-3-319-41827-8
- pisbn : 978-3-319-41826-1
- doi : 10.1007/978-3-319-41827-8
|
Fulltext
|