Fundamentals of Computation Theory |
- isbn : 978-3-662-55751-8
- pisbn : 978-3-662-55750-1
- doi : 10.1007/978-3-662-55751-8
|
Fulltext
|
Static Analysis |
- isbn : 978-3-319-66706-5
- pisbn : 978-3-319-66705-8
- doi : 10.1007/978-3-319-66706-5
|
Fulltext
|
Cooperative Design, Visualization, and Engineering |
- isbn : 978-3-319-66805-5
- pisbn : 978-3-319-66804-8
- doi : 10.1007/978-3-319-66805-5
|
Fulltext
|
Cryptographic Hardware and Embedded Systems – CHES 2017 |
- isbn : 978-3-319-66787-4
- pisbn : 978-3-319-66786-7
- doi : 10.1007/978-3-319-66787-4
|
Fulltext
|
Machine Learning and Knowledge Extraction |
- isbn : 978-3-319-66808-6
- pisbn : 978-3-319-66807-9
- doi : 10.1007/978-3-319-66808-6
|
Fulltext
|
Integrated Formal Methods |
- isbn : 978-3-319-66845-1
- pisbn : 978-3-319-66844-4
- doi : 10.1007/978-3-319-66845-1
|
Fulltext
|
Model and Data Engineering |
- isbn : 978-3-319-66854-3
- pisbn : 978-3-319-66853-6
- doi : 10.1007/978-3-319-66854-3
|
Fulltext
|
Advances in Databases and Information Systems |
- isbn : 978-3-319-66917-5
- pisbn : 978-3-319-66916-8
- doi : 10.1007/978-3-319-66917-5
|
Fulltext
|
Critical Systems: Formal Methods and Automated Verification |
- isbn : 978-3-319-67113-0
- pisbn : 978-3-319-67112-3
- doi : 10.1007/978-3-319-67113-0
|
Fulltext
|
Connectomics in NeuroImaging |
- isbn : 978-3-319-67159-8
- pisbn : 978-3-319-67158-1
- doi : 10.1007/978-3-319-67159-8
|
Fulltext
|