| Lectures on the Complexity of Bilinear Problems |
- isbn : 978-3-540-47398-5
- pisbn : 978-3-540-17205-5
|
Fulltext
|
| Machine Learning - EWSL-91 |
- isbn : 978-3-540-46308-5
- pisbn : 978-3-540-53816-5
|
Fulltext
|
| Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency |
- isbn : 978-3-540-46147-0
- pisbn : 978-3-540-51080-2
|
Fulltext
|
| Knowledge Representation and Organization in Machine Learning |
- isbn : 978-3-540-46081-7
- pisbn : 978-3-540-50768-0
|
Fulltext
|
| Ada: The Choice for '92 |
- isbn : 978-3-540-47396-1
- pisbn : 978-3-540-54092-2
|
Fulltext
|
| 9th International Conference on Automated Deduction |
- isbn : 978-3-540-39216-3
- pisbn : 978-3-540-19343-2
|
Fulltext
|
| Processing Declarative Knowledge |
- isbn : 978-3-540-46667-3
- pisbn : 978-3-540-55033-4
|
Fulltext
|
| Design and Implementation of Programming Languages |
- isbn : 978-3-540-37260-8
- pisbn : 978-3-540-08360-3
|
Fulltext
|
| Program Construction |
- isbn : 978-3-540-35312-6
- pisbn : 978-3-540-09251-3
|
Fulltext
|
| Mathematical Foundations of Computer Science 1980 |
- isbn : 978-3-540-38194-5
- pisbn : 978-3-540-10027-0
|
Fulltext
|