Leveraging Applications of Formal Methods, Verification and Validation |
- isbn : 978-3-642-34026-0
- pisbn : 978-3-642-34025-3
- doi : 10.1007/978-3-642-34026-0
|
Fulltext
|
Leveraging Applications of Formal Methods, Verification and Validation |
- isbn : 978-3-642-34032-1
- pisbn : 978-3-642-34031-4
- doi : 10.1007/978-3-642-34032-1
|
Fulltext
|
Large-Scale Complex IT Systems. Development, Operation and Management |
- isbn : 978-3-642-34059-8
- pisbn : 978-3-642-34058-1
- doi : 10.1007/978-3-642-34059-8
|
Fulltext
|
Fast Software Encryption |
- isbn : 978-3-642-34047-5
- pisbn : 978-3-642-34046-8
- doi : 10.1007/978-3-642-34047-5
|
Fulltext
|
Outdoor and Large-Scale Real-World Scene Analysis |
- isbn : 978-3-642-34091-8
- pisbn : 978-3-642-34090-1
- doi : 10.1007/978-3-642-34091-8
|
Fulltext
|
Pattern Recognition in Bioinformatics |
- isbn : 978-3-642-34123-6
- pisbn : 978-3-642-34122-9
- doi : 10.1007/978-3-642-34123-6
|
Fulltext
|
Advances in Information and Computer Security |
- isbn : 978-3-642-34117-5
- pisbn : 978-3-642-34116-8
- doi : 10.1007/978-3-642-34117-5
|
Fulltext
|
Information and Communications Security |
- isbn : 978-3-642-34129-8
- pisbn : 978-3-642-34128-1
- doi : 10.1007/978-3-642-34129-8
|
Fulltext
|
Structural, Syntactic, and Statistical Pattern Recognition |
- isbn : 978-3-642-34166-3
- pisbn : 978-3-642-34165-6
- doi : 10.1007/978-3-642-34166-3
|
Fulltext
|
Advances in Intelligent Data Analysis XI |
- isbn : 978-3-642-34156-4
- pisbn : 978-3-642-34155-7
- doi : 10.1007/978-3-642-34156-4
|
Fulltext
|