| Software Engineering and Formal Methods |
- isbn : 978-3-642-40561-7
- pisbn : 978-3-642-40560-0
|
Fulltext
|
| Computational Logic in Multi-Agent Systems |
- isbn : 978-3-642-40624-9
- pisbn : 978-3-642-40623-2
|
Fulltext
|
| Formal Methods for Components and Objects |
- isbn : 978-3-642-40615-7
- pisbn : 978-3-642-40614-0
|
Fulltext
|
| Service-Oriented and Cloud Computing |
- isbn : 978-3-642-40651-5
- pisbn : 978-3-642-40650-8
|
Fulltext
|
| Progress in Artificial Intelligence |
- isbn : 978-3-642-40669-0
- pisbn : 978-3-642-40668-3
|
Fulltext
|
| Advances in Artificial Intelligence |
- isbn : 978-3-642-40643-0
- pisbn : 978-3-642-40642-3
|
Fulltext
|
| Automated Deduction in Geometry |
- isbn : 978-3-642-40672-0
- pisbn : 978-3-642-40671-3
|
Fulltext
|
| Algebraic Informatics |
- isbn : 978-3-642-40663-8
- pisbn : 978-3-642-40662-1
|
Fulltext
|
| OpenMP in the Era of Low Power Devices and Accelerators |
- isbn : 978-3-642-40698-0
- pisbn : 978-3-642-40697-3
|
Fulltext
|
| Advances in Databases and Information Systems |
- isbn : 978-3-642-40683-6
- pisbn : 978-3-642-40682-9
|
Fulltext
|