|
|
Fulltext
|
| Formal Methods for Components and Objects |
- pisbn : 978-3-642-35886-9
- isbn : 978-3-642-35887-6
|
Fulltext
|
|
|
Fulltext
|
| Selected Areas in Cryptography |
- isbn : 978-3-642-35999-6
- pisbn : 978-3-642-35998-9
|
Fulltext
|
|
|
Fulltext
|
| Facing the Multicore-Challenge III |
- pisbn : 978-3-642-35892-0
- isbn : 978-3-642-35893-7
|
Fulltext
|
| Languages and Compilers for Parallel Computing |
- isbn : 978-3-642-36036-7
- pisbn : 978-3-642-36035-0
|
Fulltext
|
| Semantics in Data and Knowledge Bases |
- pisbn : 978-3-642-36007-7
- isbn : 978-3-642-36008-4
|
Fulltext
|
| Software Engineering |
- pisbn : 978-3-642-36053-4
- isbn : 978-3-642-36054-1
|
Fulltext
|
| Logic and Its Applications |
- pisbn : 978-3-642-36038-1
- isbn : 978-3-642-36039-8
|
Fulltext
|