Formal Methods for Dynamical Systems |
- isbn : 978-3-642-38874-3
- pisbn : 978-3-642-38873-6
- doi : 10.1007/978-3-642-38874-3
|
Fulltext
|
Functional Imaging and Modeling of the Heart |
- pisbn : 978-3-642-38898-9
- isbn : 978-3-642-38899-6
- doi : 10.1007/978-3-642-38899-6
|
Fulltext
|
Image Analysis |
- pisbn : 978-3-642-38885-9
- isbn : 978-3-642-38886-6
- doi : 10.1007/978-3-642-38886-6
|
Fulltext
|
Typed Lambda Calculi and Applications |
- isbn : 978-3-642-38946-7
- pisbn : 978-3-642-38945-0
- doi : 10.1007/978-3-642-38946-7
|
Fulltext
|
Pattern Recognition |
- pisbn : 978-3-642-38988-7
- isbn : 978-3-642-38989-4
- doi : 10.1007/978-3-642-38989-4
|
Fulltext
|
Trust and Trustworthy Computing |
- isbn : 978-3-642-38908-5
- pisbn : 978-3-642-38907-8
- doi : 10.1007/978-3-642-38908-5
|
Fulltext
|
Modelling Foundations and Applications |
- isbn : 978-3-642-39013-5
- pisbn : 978-3-642-39012-8
- doi : 10.1007/978-3-642-39013-5
|
Fulltext
|
Safe and Secure Software Reuse |
- isbn : 978-3-642-38977-1
- pisbn : 978-3-642-38976-4
- doi : 10.1007/978-3-642-38977-1
|
Fulltext
|
Advances in Neural Networks- ISNN 2013 |
- isbn : 978-3-642-39068-5
- pisbn : 978-3-642-39067-8
- doi : 10.1007/978-3-642-39068-5
|
Fulltext
|
The Nature of Computation: Logic, Algorithms, Applications |
- isbn : 978-3-642-39053-1
- pisbn : 978-3-642-39052-4
- doi : 10.1007/978-3-642-39053-1
|
Fulltext
|