| Multidisciplinary Information Retrieval |
- isbn : 978-3-642-21353-3
- pisbn : 978-3-642-21352-6
|
Fulltext
|
| Coordination Models and Languages |
- isbn : 978-3-642-21464-6
- pisbn : 978-3-642-21463-9
|
Fulltext
|
| Computer Science – Theory and Applications |
- isbn : 978-3-642-20712-9
- pisbn : 978-3-642-20711-2
|
Fulltext
|
| Theory and Application of Satisfiability Testing |
- pisbn : 978-3-642-21580-3
- isbn : 978-3-642-21581-0
|
Fulltext
|
|
|
Fulltext
|
| Typed Lambda Calculi and Applications |
- pisbn : 978-3-642-21690-9
- isbn : 978-3-642-21691-6
|
Fulltext
|
| Analytical and Stochastic Modeling Techniques and Applications |
- isbn : 978-3-642-21713-5
- pisbn : 978-3-642-21712-8
|
Fulltext
|
| Tools for Teaching Logic |
- pisbn : 978-3-642-21349-6
- isbn : 978-3-642-21350-2
|
Fulltext
|
| Advances in Self-Organizing Maps |
- isbn : 978-3-642-21566-7
- pisbn : 978-3-642-21565-0
|
Fulltext
|
|
|
Fulltext
|