NASA Formal Methods |
- isbn : 978-3-319-77935-5
- pisbn : 978-3-319-77934-8
|
Fulltext
|
Parallel Processing and Applied Mathematics |
- isbn : 978-3-319-78024-5
- pisbn : 978-3-319-78023-8
|
Fulltext
|
Parallel Processing and Applied Mathematics |
- isbn : 978-3-319-78054-2
- pisbn : 978-3-319-78053-5
|
Fulltext
|
Transforming Digital Worlds |
- isbn : 978-3-319-78105-1
- pisbn : 978-3-319-78104-4
|
Fulltext
|
Artificial Evolution |
- isbn : 978-3-319-78133-4
- pisbn : 978-3-319-78132-7
|
Fulltext
|
Inductive Logic Programming |
- isbn : 978-3-319-78090-0
- pisbn : 978-3-319-78089-4
|
Fulltext
|
Energy Minimization Methods in Computer Vision and Pattern Recognition |
- isbn : 978-3-319-78199-0
- pisbn : 978-3-319-78198-3
|
Fulltext
|
Graph Structures for Knowledge Representation and Reasoning |
- isbn : 978-3-319-78102-0
- pisbn : 978-3-319-78101-3
|
Fulltext
|
Transactions on Computational Collective Intelligence XXVIII |
- isbn : 978-3-319-78301-7
- pisbn : 978-3-319-78300-0
|
Fulltext
|
Advances in Cryptology – EUROCRYPT 2018 |
- isbn : 978-3-319-78381-9
- pisbn : 978-3-319-78380-2
|
Fulltext
|