| Engineering Interactive Systems 2008 |
- pisbn : 978-3-540-85991-8
- isbn : 978-3-540-85992-5
|
Fulltext
|
| Fun and Games |
- pisbn : 978-3-540-88321-0
- isbn : 978-3-540-88322-7
|
Fulltext
|
|
|
Fulltext
|
| Theorem Proving in Higher Order Logics |
- pisbn : 978-3-540-71065-3
- isbn : 978-3-540-71067-7
|
Fulltext
|
|
|
Fulltext
|
| Generative and Transformational Techniques in Software Engineering II |
- pisbn : 978-3-540-88642-6
- isbn : 978-3-540-88643-3
|
Fulltext
|
|
|
Fulltext
|
| Quality of Software Architectures Models and Architectures |
- isbn : 978-3-540-87879-7
- pisbn : 978-3-540-87878-0
|
Fulltext
|
| Computational Methods in Systems Biology |
- pisbn : 978-3-540-88561-0
- isbn : 978-3-540-88562-7
|
Fulltext
|
|
|
Fulltext
|