| CAAP'86 |
- isbn : 978-3-540-39783-0
- pisbn : 978-3-540-16443-2
|
Fulltext
|
| Hyperedge Replacement: Grammars and Languages |
- isbn : 978-3-540-47340-4
- pisbn : 978-3-540-56005-0
|
Fulltext
|
| Hardware and Software Architectures for Fault Tolerance |
- isbn : 978-3-540-48330-4
- pisbn : 978-3-540-57767-6
|
Fulltext
|
| Design and Implementation of Symbolic Computation Systems |
- isbn : 978-3-540-47985-7
- pisbn : 978-3-540-57235-0
|
Fulltext
|
| Mathematical Foundations of Computer Science 1988 |
- isbn : 978-3-540-45926-2
- pisbn : 978-3-540-50110-7
|
Fulltext
|
| Methods and Tools for Computer Integrated Manufacturing |
- isbn : 978-3-540-38845-6
- pisbn : 978-3-540-12926-4
|
Fulltext
|
| Negation and Control in Prolog |
- isbn : 978-3-540-44858-7
- pisbn : 978-3-540-16815-7
|
Fulltext
|
| Logic Programming and Automated Reasoning |
- isbn : 978-3-540-47279-7
- pisbn : 978-3-540-55727-2
|
Fulltext
|
| Computer Vision - ECCV 90 |
- isbn : 978-3-540-47011-3
- pisbn : 978-3-540-52522-6
|
Fulltext
|
| Towards a Pan-European Telecommunication Service Infrastructure - IS&N '94 |
- isbn : 978-3-540-48784-5
- pisbn : 978-3-540-58420-9
|
Fulltext
|