Towards Interoperable Research Infrastructures for Environmental and Earth Sciences |
- isbn : 978-3-030-52829-4
- pisbn : 978-3-030-52828-7
|
Fulltext
|
Transactions on Computational Science XXXVII |
- isbn : 978-3-662-61983-4
- pisbn : 978-3-662-61982-7
|
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-53291-8
- pisbn : 978-3-030-53290-1
|
Fulltext
|
Knowledge Graphs and Big Data Processing |
- isbn : 978-3-030-53199-7
- pisbn : 978-3-030-53198-0
|
Fulltext
|
Intelligent Computer Mathematics |
- isbn : 978-3-030-53518-6
- pisbn : 978-3-030-53517-9
|
Fulltext
|
Computer Aided Verification |
- isbn : 978-3-030-53288-8
- pisbn : 978-3-030-53287-1
|
Fulltext
|
Combinatorial Optimization |
- isbn : 978-3-030-53262-8
- pisbn : 978-3-030-53261-1
|
Fulltext
|
Learning and Intelligent Optimization |
- isbn : 9783030535520
- pisbn : 9783030535513
|
Fulltext
|
Advances in Swarm Intelligence |
- isbn : 978-3-030-53956-6
- pisbn : 978-3-030-53955-9
|
Fulltext
|