| Knowledge Graphs and Big Data Processing |
- isbn : 978-3-030-53199-7
- pisbn : 978-3-030-53198-0
|
Fulltext
|
| Computer Aided Verification |
- isbn : 978-3-030-53291-8
- pisbn : 978-3-030-53290-1
|
Fulltext
|
| Architecture of Computing Systems – ARCS 2020 |
- isbn : 978-3-030-52794-5
- pisbn : 978-3-030-52793-8
|
Fulltext
|
| Computer Aided Verification |
- isbn : 978-3-030-53288-8
- pisbn : 978-3-030-53287-1
|
Fulltext
|
| Transactions on Computational Science XXXVII |
- isbn : 978-3-662-61983-4
- pisbn : 978-3-662-61982-7
|
Fulltext
|
| Advances in Swarm Intelligence |
- isbn : 978-3-030-53956-6
- pisbn : 978-3-030-53955-9
|
Fulltext
|
| Code-Based Cryptography |
- isbn : 978-3-030-54074-6
- pisbn : 978-3-030-54073-9
|
Fulltext
|
| Smart Multimedia |
- isbn : 978-3-030-54407-2
- pisbn : 978-3-030-54406-5
|
Fulltext
|
| Intelligent Computer Mathematics |
- isbn : 978-3-030-53518-6
- pisbn : 978-3-030-53517-9
|
Fulltext
|
| Diagrammatic Representation and Inference |
- isbn : 978-3-030-54249-8
- pisbn : 978-3-030-54248-1
|
Fulltext
|