| Knowledge Science, Engineering and Management |
- isbn : 978-3-030-29563-9
- pisbn : 978-3-030-29562-2
|
Fulltext
|
| Automated Deduction – CADE 27 |
- isbn : 978-3-030-29436-6
- pisbn : 978-3-030-29435-9
|
Fulltext
|
| Advanced Parallel Processing Technologies |
- isbn : 978-3-030-29611-7
- pisbn : 978-3-030-29610-0
|
Fulltext
|
| Formal Modeling and Analysis of Timed Systems |
- isbn : 978-3-030-29662-9
- pisbn : 978-3-030-29661-2
|
Fulltext
|
| Applied Cryptography and Network Security Workshops |
- isbn : 978-3-030-29729-9
- pisbn : 978-3-030-29728-2
|
Fulltext
|
| Transforming Learning with Meaningful Technologies |
- isbn : 978-3-030-29736-7
- pisbn : 978-3-030-29735-0
|
Fulltext
|
| Symbolic and Quantitative Approaches to Reasoning with Uncertainty |
- isbn : 978-3-030-29765-7
- pisbn : 978-3-030-29764-0
|
Fulltext
|
| Machine Learning and Knowledge Extraction |
- isbn : 978-3-030-29726-8
- pisbn : 978-3-030-29725-1
|
Fulltext
|
| Hybrid Artificial Intelligent Systems |
- isbn : 978-3-030-29859-3
- pisbn : 978-3-030-29858-6
|
Fulltext
|
| Software Technology: Methods and Tools |
- isbn : 978-3-030-29852-4
- pisbn : 978-3-030-29851-7
|
Fulltext
|