| Rigorous Methods for Software Construction and Analysis |
- pisbn : 978-3-642-11446-5
- isbn : 978-3-642-11447-2
|
Fulltext
|
| Advances in Computer Science, Information Security and Privacy |
- pisbn : 978-3-642-10621-7
- isbn : 978-3-642-10622-4
|
Fulltext
|
|
|
Fulltext
|
| Journal on Data Semantics XIII |
- isbn : 978-3-642-03098-7
- pisbn : 978-3-642-03097-0
|
Fulltext
|
|
|
Fulltext
|
|
|
Fulltext
|
| Modelling the Physiological Human |
- isbn : 978-3-642-10470-1
- pisbn : 978-3-642-10468-8
|
Fulltext
|
|
|
Fulltext
|
|
|
Fulltext
|
| Dynamic Taxonomies and Faceted Search |
- pisbn : 978-3-642-02358-3
- isbn : 978-3-642-02359-0
|
Fulltext
|