| Interactive Relational Database Design |
- isbn : 978-3-540-46840-0
- pisbn : 978-3-540-51881-5
|
Fulltext
|
| Algorithms and Computations |
- isbn : 978-3-540-47766-2
- pisbn : 978-3-540-60573-7
|
Fulltext
|
| Qualitative Representation of Spatial Knowledge |
- isbn : 978-3-540-48425-7
- pisbn : 978-3-540-58058-4
|
Fulltext
|
| Graph Drawing |
- isbn : 978-3-540-49351-8
- pisbn : 978-3-540-60723-6
|
Fulltext
|
| Computer Aided Learning and Instruction in Science and Engineering |
- isbn : 978-3-540-68675-0
- pisbn : 978-3-540-61491-3
|
Fulltext
|
| Distributed Algorithms |
- isbn : 978-3-540-48799-9
- pisbn : 978-3-540-58449-0
|
Fulltext
|
| A Systematic Catalogue of Reusable Abstract Data Types |
- isbn : 978-3-540-46777-9
- pisbn : 978-3-540-53229-3
|
Fulltext
|
| Logics in Artificial Intelligence |
- isbn : 978-3-540-48657-2
- pisbn : 978-3-540-58332-5
|
Fulltext
|
| Algebraic System Specification and Development |
- isbn : 978-3-540-47382-4
- pisbn : 978-3-540-54060-1
|
Fulltext
|
| VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings |
- isbn : 978-3-540-46456-3
- pisbn : 978-3-540-54868-3
|
Fulltext
|