Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice |
- isbn : 978-3-030-03427-6
- pisbn : 978-3-030-03426-9
- doi : 10.1007/978-3-030-03427-6
|
Fulltext
|
Leveraging Applications of Formal Methods, Verification and Validation. Modeling |
- isbn : 978-3-030-03418-4
- pisbn : 978-3-030-03417-7
- doi : 10.1007/978-3-030-03418-4
|
Fulltext
|
Emerging Technologies for Education |
- isbn : 978-3-030-03580-8
- pisbn : 978-3-030-03579-2
- doi : 10.1007/978-3-030-03580-8
|
Fulltext
|
Secure IT Systems |
- isbn : 978-3-030-03638-6
- pisbn : 978-3-030-03637-9
- doi : 10.1007/978-3-030-03638-6
|
Fulltext
|
Runtime Verification |
- isbn : 978-3-030-03769-7
- pisbn : 978-3-030-03768-0
- doi : 10.1007/978-3-030-03769-7
|
Fulltext
|
Product-Focused Software Process Improvement |
- isbn : 978-3-030-03673-7
- pisbn : 978-3-030-03672-0
- doi : 10.1007/978-3-030-03673-7
|
Fulltext
|
AI*IA 2018 – Advances in Artificial Intelligence |
- isbn : 978-3-030-03840-3
- pisbn : 978-3-030-03839-7
- doi : 10.1007/978-3-030-03840-3
|
Fulltext
|
Knowledge Engineering and Knowledge Management |
- isbn : 978-3-030-03667-6
- pisbn : 978-3-030-03666-9
- doi : 10.1007/978-3-030-03667-6
|
Fulltext
|
Theory of Cryptography |
- isbn : 978-3-030-03807-6
- pisbn : 978-3-030-03806-9
- doi : 10.1007/978-3-030-03807-6
|
Fulltext
|
Theory of Cryptography |
- isbn : 978-3-030-03810-6
- pisbn : 978-3-030-03809-0
- doi : 10.1007/978-3-030-03810-6
|
Fulltext
|