| Fundamentals of Computation Theory |
- isbn : 978-3-540-38391-8
- pisbn : 978-3-540-54458-6
|
Fulltext
|
| Fundamental Algorithms for Permutation Groups |
- isbn : 978-3-540-46607-9
- pisbn : 978-3-540-54955-0
|
Fulltext
|
| Automated Deduction in Equational Logic and Cubic Curves |
- isbn : 978-3-540-68522-7
- pisbn : 978-3-540-61398-5
|
Fulltext
|
| Axioms and Hulls |
- isbn : 978-3-540-47259-9
- pisbn : 978-3-540-55611-4
|
Fulltext
|
| Advanced Database Systems |
- isbn : 978-3-540-47272-8
- pisbn : 978-3-540-55693-0
|
Fulltext
|
| Tractable Reasoning in Aritificial Intelligence |
- isbn : 978-3-540-49422-5
- pisbn : 978-3-540-60058-9
|
Fulltext
|
| Representing Plans Under Uncertainty |
- isbn : 978-3-540-48312-0
- pisbn : 978-3-540-57697-6
|
Fulltext
|
| Formal Techniques in Real-Time and Fault-Tolerant Systems |
- isbn : 978-3-540-48984-9
- pisbn : 978-3-540-58468-1
|
Fulltext
|
| Abstract Software Specifications |
- isbn : 978-3-540-38136-5
- pisbn : 978-3-540-10007-2
|
Fulltext
|
| Distributed Artificial Intelligence: Architecture and Modelling |
- isbn : 978-3-540-68456-5
- pisbn : 978-3-540-61314-5
|
Fulltext
|