Entertainment Computing - ICEC 2014 |
- isbn : 978-3-662-45212-7
- pisbn : 978-3-662-45211-0
- doi : 10.1007/978-3-662-45212-7
|
Fulltext
|
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications |
- isbn : 978-3-662-45231-8
- pisbn : 978-3-662-45230-1
- doi : 10.1007/978-3-662-45231-8
|
Fulltext
|
Biometric Recognition |
- isbn : 978-3-319-12484-1
- pisbn : 978-3-319-12483-4
- doi : 10.1007/978-3-319-12484-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
- doi : 10.1007/978-3-662-45234-9
|
Fulltext
|
Neural Information Processing |
- isbn : 978-3-319-12640-1
- pisbn : 978-3-319-12639-5
- doi : 10.1007/978-3-319-12640-1
|
Fulltext
|
Combinatorial Optimization and Applications |
- isbn : 978-3-319-12691-3
- pisbn : 978-3-319-12690-6
- doi : 10.1007/978-3-319-12691-3
|
Fulltext
|
Decision and Game Theory for Security |
- isbn : 978-3-319-12601-2
- pisbn : 978-3-319-12600-5
- doi : 10.1007/978-3-319-12601-2
|
Fulltext
|
Programming Languages and Systems |
- isbn : 978-3-319-12736-1
- pisbn : 978-3-319-12735-4
- doi : 10.1007/978-3-319-12736-1
|
Fulltext
|
Neural Information Processing |
- isbn : 978-3-319-12637-1
- pisbn : 978-3-319-12636-4
- doi : 10.1007/978-3-319-12637-1
|
Fulltext
|
Future Data and Security Engineering |
- isbn : 978-3-319-12778-1
- pisbn : 978-3-319-12777-4
- doi : 10.1007/978-3-319-12778-1
|
Fulltext
|