| Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications |
- isbn : 978-3-662-45231-8
- pisbn : 978-3-662-45230-1
|
Fulltext
|
| Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change |
- isbn : 978-3-662-45234-9
- pisbn : 978-3-662-45233-2
|
Fulltext
|
| Foundational and Practical Aspects of Resource Analysis |
- isbn : 978-3-319-12466-7
- pisbn : 978-3-319-12465-0
|
Fulltext
|
| Decision and Game Theory for Security |
- isbn : 978-3-319-12601-2
- pisbn : 978-3-319-12600-5
|
Fulltext
|
| Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications |
- isbn : 978-3-319-12568-8
- pisbn : 978-3-319-12567-1
|
Fulltext
|
| Neural Information Processing |
- isbn : 978-3-319-12643-2
- pisbn : 978-3-319-12642-5
|
Fulltext
|
| Neural Information Processing |
- isbn : 978-3-319-12640-1
- pisbn : 978-3-319-12639-5
|
Fulltext
|
| Neural Information Processing |
- isbn : 978-3-319-12637-1
- pisbn : 978-3-319-12636-4
|
Fulltext
|
| Programming Languages and Systems |
- isbn : 978-3-319-12736-1
- pisbn : 978-3-319-12735-4
|
Fulltext
|
| Future Data and Security Engineering |
- isbn : 978-3-319-12778-1
- pisbn : 978-3-319-12777-4
|
Fulltext
|