| Automated Reasoning with Analytic Tableaux and Related Methods |
- isbn : 978-3-030-29026-9
- pisbn : 978-3-030-29025-2
|
Fulltext
|
| Computer Information Systems and Industrial Management |
- isbn : 978-3-030-28957-7
- pisbn : 978-3-030-28956-0
|
Fulltext
|
| Human-Computer Interaction – INTERACT 2019 |
- isbn : 978-3-030-29384-0
- pisbn : 978-3-030-29383-3
|
Fulltext
|
| Human-Computer Interaction – INTERACT 2019 |
- isbn : 978-3-030-29390-1
- pisbn : 978-3-030-29389-5
|
Fulltext
|
| Human-Computer Interaction – INTERACT 2019 |
- isbn : 978-3-030-29387-1
- pisbn : 978-3-030-29386-4
|
Fulltext
|
| Euro-Par 2019: Parallel Processing |
- isbn : 978-3-030-29400-7
- pisbn : 978-3-030-29399-4
|
Fulltext
|
| Human-Computer Interaction – INTERACT 2019 |
- isbn : 978-3-030-29381-9
- pisbn : 978-3-030-29380-2
|
Fulltext
|
| Case-Based Reasoning Research and Development |
- isbn : 978-3-030-29249-2
- pisbn : 978-3-030-29248-5
|
Fulltext
|
| Digital Transformation for a Sustainable Society in the 21st Century |
- isbn : 978-3-030-29374-1
- pisbn : 978-3-030-29373-4
|
Fulltext
|
| Knowledge Science, Engineering and Management |
- isbn : 978-3-030-29551-6
- pisbn : 978-3-030-29550-9
|
Fulltext
|