Formal Methods for Industrial Critical Systems |
- isbn : 978-3-030-85248-1
- pisbn : 978-3-030-85247-4
- doi : 10.1007/978-3-030-85248-1
|
Fulltext
|
Combinatorics on Words |
- isbn : 978-3-030-85088-3
- pisbn : 978-3-030-85087-6
- doi : 10.1007/978-3-030-85088-3
|
Fulltext
|
OpenMP: Enabling Massive Node-Level Parallelism |
- isbn : 978-3-030-85262-7
- pisbn : 978-3-030-85261-0
- doi : 10.1007/978-3-030-85262-7
|
Fulltext
|
Experimental IR Meets Multilinguality, Multimodality, and Interaction |
- isbn : 978-3-030-85251-1
- pisbn : 978-3-030-85250-4
- doi : 10.1007/978-3-030-85251-1
|
Fulltext
|
Quantitative Evaluation of Systems |
- isbn : 978-3-030-85172-9
- pisbn : 978-3-030-85171-2
- doi : 10.1007/978-3-030-85172-9
|
Fulltext
|
Spatial Data and Intelligence |
- isbn : 978-3-030-85462-1
- pisbn : 978-3-030-85461-4
- doi : 10.1007/978-3-030-85462-1
|
Fulltext
|
Business Process Management |
- isbn : 978-3-030-85469-0
- pisbn : 978-3-030-85468-3
- doi : 10.1007/978-3-030-85469-0
|
Fulltext
|
Theoretical Aspects of Computing – ICTAC 2021 |
- isbn : 978-3-030-85315-0
- pisbn : 978-3-030-85314-3
- doi : 10.1007/978-3-030-85315-0
|
Fulltext
|
Modeling Decisions for Artificial Intelligence |
- isbn : 978-3-030-85529-1
- pisbn : 978-3-030-85528-4
- doi : 10.1007/978-3-030-85529-1
|
Fulltext
|
Responsible AI and Analytics for an Ethical and Inclusive Digitized Society |
- isbn : 978-3-030-85447-8
- pisbn : 978-3-030-85446-1
- doi : 10.1007/978-3-030-85447-8
|
Fulltext
|