Correct Reasoning |
- isbn : 978-3-642-30743-0
- pisbn : 978-3-642-30742-3
- doi : 10.1007/978-3-642-30743-0
|
Fulltext
|
Impact Analysis of Solutions for Chronic Disease Prevention and Management |
- isbn : 978-3-642-30779-9
- pisbn : 978-3-642-30778-2
- doi : 10.1007/978-3-642-30779-9
|
Fulltext
|
Formal Techniques for Distributed Systems |
- isbn : 978-3-642-30793-5
- pisbn : 978-3-642-30792-8
- doi : 10.1007/978-3-642-30793-5
|
Fulltext
|
Analytical and Stochastic Modeling Techniques and Applications |
- isbn : 978-3-642-30782-9
- pisbn : 978-3-642-30781-2
- doi : 10.1007/978-3-642-30782-9
|
Fulltext
|
Trust and Trustworthy Computing |
- isbn : 978-3-642-30921-2
- pisbn : 978-3-642-30920-5
- doi : 10.1007/978-3-642-30921-2
|
Fulltext
|
Formal Methods for Model-Driven Engineering |
- isbn : 978-3-642-30982-3
- pisbn : 978-3-642-30981-6
- doi : 10.1007/978-3-642-30982-3
|
Fulltext
|
The Multivariate Algorithmic Revolution and Beyond |
- isbn : 978-3-642-30891-8
- pisbn : 978-3-642-30890-1
- doi : 10.1007/978-3-642-30891-8
|
Fulltext
|
Data Integration in the Life Sciences |
- isbn : 978-3-642-31040-9
- pisbn : 978-3-642-31039-3
- doi : 10.1007/978-3-642-31040-9
|
Fulltext
|
ECOOP 2012 -- Object-Oriented Programming |
- isbn : 978-3-642-31057-7
- pisbn : 978-3-642-31056-0
- doi : 10.1007/978-3-642-31057-7
|
Fulltext
|
Persuasive Technology: Design for Health and Safety |
- isbn : 978-3-642-31037-9
- pisbn : 978-3-642-31036-2
- doi : 10.1007/978-3-642-31037-9
|
Fulltext
|