| Formal Methods for Components and Objects |
- isbn : 978-3-642-40615-7
- pisbn : 978-3-642-40614-0
|
Fulltext
|
| Software Engineering and Formal Methods |
- isbn : 978-3-642-40561-7
- pisbn : 978-3-642-40560-0
|
Fulltext
|
| Principles and Practice of Constraint Programing-CP 2013 |
- isbn : 978-3-642-40627-0
- pisbn : 978-3-642-40626-3
|
Fulltext
|
| Advances in Artificial Intelligence |
- pisbn : 978-3-642-40642-3
- isbn : 978-3-642-40643-0
|
Fulltext
|
|
|
Fulltext
|
|
|
Fulltext
|
|
|
Fulltext
|
|
|
Fulltext
|
|
|
Fulltext
|
| Advances in Databases and Information Systems |
- pisbn : 978-3-642-40682-9
- isbn : 978-3-642-40683-6
|
Fulltext
|