| Formal Methods for Components and Objects |
- isbn : 978-3-642-35887-6
- pisbn : 978-3-642-35886-9
|
Fulltext
|
| Formal Aspects of Component Software |
- isbn : 978-3-642-35861-6
- pisbn : 978-3-642-35860-9
|
Fulltext
|
| Facing the Multicore-Challenge III |
- isbn : 978-3-642-35893-7
- pisbn : 978-3-642-35892-0
|
Fulltext
|
| Data Privacy Management and Autonomous Spontaneous Security |
- isbn : 978-3-642-35890-6
- pisbn : 978-3-642-35889-0
|
Fulltext
|
| Combinatorial Algorithms |
- isbn : 978-3-642-35926-2
- pisbn : 978-3-642-35925-5
|
Fulltext
|
| Uncertainty Reasoning for the Semantic Web II |
- isbn : 978-3-642-35975-0
- pisbn : 978-3-642-35974-3
|
Fulltext
|
| Generative and Transformational Techniques in Software Engineering IV |
- isbn : 978-3-642-35992-7
- pisbn : 978-3-642-35991-0
|
Fulltext
|
| Semantics in Data and Knowledge Bases |
- isbn : 978-3-642-36008-4
- pisbn : 978-3-642-36007-7
|
Fulltext
|
| Logic and Its Applications |
- isbn : 978-3-642-36039-8
- pisbn : 978-3-642-36038-1
|
Fulltext
|
| Selected Areas in Cryptography |
- isbn : 978-3-642-35999-6
- pisbn : 978-3-642-35998-9
|
Fulltext
|