| Verification, Induction, Termination Analysis |
- pisbn : 978-3-642-17171-0
- isbn : 978-3-642-17172-7
|
Fulltext
|
|
|
Fulltext
|
|
|
Fulltext
|
| Transactions on Computational Collective Intelligence II |
- pisbn : 978-3-642-17154-3
- isbn : 978-3-642-17155-0
|
Fulltext
|
| Motion in Games |
- pisbn : 978-3-642-16957-1
- isbn : 978-3-642-16958-8
|
Fulltext
|
| Computational Collective Intelligence. Technologies and Applications |
- pisbn : 978-3-642-16731-7
- isbn : 978-3-642-16732-4
|
Fulltext
|
| Graph Transformations and Model-Driven Engineering |
- pisbn : 978-3-642-17321-9
- isbn : 978-3-642-17322-6
|
Fulltext
|
| Intelligent Robotics and Applications |
- pisbn : 978-3-642-16586-3
- isbn : 978-3-642-16587-0
|
Fulltext
|
|
|
Fulltext
|
| Human-Centred Software Engineering |
- pisbn : 978-3-642-16487-3
- isbn : 978-3-642-16488-0
|
Fulltext
|