| Algebraic Specification Techniques in Object Oriented Programming Environments |
- isbn : 978-3-540-46622-2
- pisbn : 978-3-540-54972-7
|
Fulltext
|
| Logic at Botik '89 |
- isbn : 978-3-540-46180-7
- pisbn : 978-3-540-51237-0
|
Fulltext
|
| Aspects and Prospects of Theoretical Computer Science |
- isbn : 978-3-540-46869-1
- pisbn : 978-3-540-53414-3
|
Fulltext
|
| 10th International Conference on Automated Deduction |
- isbn : 978-3-540-47171-4
- pisbn : 978-3-540-52885-2
|
Fulltext
|
| Fachtagung Prozessrechner 1974 |
- isbn : 978-3-540-38389-5
- pisbn : 978-3-540-06786-3
|
Fulltext
|
| Distributed Algorithms |
- isbn : 978-3-540-47484-5
- pisbn : 978-3-540-56188-0
|
Fulltext
|
| A Methodology for Uncertainty in Knowledge-Based Systems |
- isbn : 978-3-540-46964-3
- pisbn : 978-3-540-52336-9
|
Fulltext
|
| Database Theory - ICDT '92 |
- isbn : 978-3-540-47360-2
- pisbn : 978-3-540-56039-5
|
Fulltext
|
| Types for Proofs and Programs |
- isbn : 978-3-540-48440-0
- pisbn : 978-3-540-58085-0
|
Fulltext
|
| Parallel Database Systems |
- isbn : 978-3-540-47432-6
- pisbn : 978-3-540-54132-5
|
Fulltext
|