| High Performance Computing |
- isbn : 978-3-319-41321-1
- pisbn : 978-3-319-41320-4
|
Fulltext
|
| Data and Applications Security and Privacy XXX |
- isbn : 978-3-319-41483-6
- pisbn : 978-3-319-41482-9
|
Fulltext
|
| Image Analysis and Recognition |
- isbn : 978-3-319-41501-7
- pisbn : 978-3-319-41500-0
|
Fulltext
|
| Computer Aided Verification |
- isbn : 978-3-319-41528-4
- pisbn : 978-3-319-41527-7
|
Fulltext
|
| Controlled Natural Language |
- isbn : 978-3-319-41498-0
- pisbn : 978-3-319-41497-3
|
Fulltext
|
| Unconventional Computation and Natural Computation |
- isbn : 978-3-319-41312-9
- pisbn : 978-3-319-41311-2
|
Fulltext
|
| Perspectives of System Informatics |
- isbn : 978-3-319-41579-6
- pisbn : 978-3-319-41578-9
|
Fulltext
|
| Software Engineering and Formal Methods |
- isbn : 978-3-319-41591-8
- pisbn : 978-3-319-41590-1
|
Fulltext
|
| Computer Aided Verification |
- isbn : 978-3-319-41540-6
- pisbn : 978-3-319-41539-0
|
Fulltext
|
| Biomedical Data Management and Graph Online Querying |
- isbn : 978-3-319-41576-5
- pisbn : 978-3-319-41575-8
|
Fulltext
|