Tests and Proofs |
- pisbn : 978-3-642-30472-9
- isbn : 978-3-642-30473-6
- doi : 10.1007/978-3-642-30473-6
|
Fulltext
|
Software Composition |
- isbn : 978-3-642-30564-1
- pisbn : 978-3-642-30563-4
- doi : 10.1007/978-3-642-30564-1
|
Fulltext
|
Information Processing in Computer Assisted Interventions |
- pisbn : 978-3-642-30617-4
- isbn : 978-3-642-30618-1
- doi : 10.1007/978-3-642-30618-1
|
Fulltext
|
Dependable Networks and Services |
- pisbn : 978-3-642-30632-7
- isbn : 978-3-642-30633-4
- doi : 10.1007/978-3-642-30633-4
|
Fulltext
|
Wired / Wireless Internet Communication |
- pisbn : 978-3-642-30629-7
- isbn : 978-3-642-30630-3
- doi : 10.1007/978-3-642-30630-3
|
Fulltext
|
Advances in Grid and Pervasive Computing |
- pisbn : 978-3-642-30766-9
- isbn : 978-3-642-30767-6
- doi : 10.1007/978-3-642-30767-6
|
Fulltext
|
Reliable Software Technologies -- Ada-Europe 2012 |
- isbn : 978-3-642-30598-6
- pisbn : 978-3-642-30597-9
- doi : 10.1007/978-3-642-30598-6
|
Fulltext
|
Computer Science -- Theory and Applications |
- isbn : 978-3-642-30642-6
- pisbn : 978-3-642-30641-9
- doi : 10.1007/978-3-642-30642-6
|
Fulltext
|
Experimental Algorithms |
- isbn : 978-3-642-30850-5
- pisbn : 978-3-642-30849-9
- doi : 10.1007/978-3-642-30850-5
|
Fulltext
|
Advances in Computational Intelligence |
- isbn : 978-3-642-30687-7
- pisbn : 978-3-642-30686-0
- doi : 10.1007/978-3-642-30687-7
|
Fulltext
|