Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems |
- pisbn : 978-3-030-03423-8
- isbn : 978-3-030-03424-5
- doi : 10.1007/978-3-030-03424-5
|
Fulltext
|
Verified Software. Theories, Tools, and Experiments |
- pisbn : 978-3-030-03591-4
- isbn : 978-3-030-03592-1
- doi : 10.1007/978-3-030-03592-1
|
Fulltext
|
Intelligent Data Engineering and Automated Learning – IDEAL 2018 |
- pisbn : 978-3-030-03495-5
- isbn : 978-3-030-03496-2
- doi : 10.1007/978-3-030-03496-2
|
Fulltext
|
Information Retrieval Technology |
- isbn : 978-3-030-03520-4
- pisbn : 978-3-030-03519-8
- doi : 10.1007/978-3-030-03520-4
|
Fulltext
|
Smart Health |
- pisbn : 978-3-030-03648-5
- isbn : 978-3-030-03649-2
- doi : 10.1007/978-3-030-03649-2
|
Fulltext
|
Service-Oriented Computing |
- isbn : 978-3-030-03596-9
- pisbn : 978-3-030-03595-2
- doi : 10.1007/978-3-030-03596-9
|
Fulltext
|
Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments |
- isbn : 978-3-030-03712-3
- pisbn : 978-3-030-03711-6
- doi : 10.1007/978-3-030-03712-3
|
Fulltext
|
Advances in Visual Computing |
- isbn : 978-3-030-03801-4
- pisbn : 978-3-030-03800-7
- doi : 10.1007/978-3-030-03801-4
|
Fulltext
|
Interactive Storytelling |
- isbn : 978-3-030-04028-4
- pisbn : 978-3-030-04027-7
- doi : 10.1007/978-3-030-04028-4
|
Fulltext
|
Neural Information Processing |
- isbn : 978-3-030-04182-3
- pisbn : 978-3-030-04181-6
- doi : 10.1007/978-3-030-04182-3
|
Fulltext
|