| Parallelism, Learning, Evolution |
- isbn : 978-3-540-46663-5
- pisbn : 978-3-540-55027-3
|
Fulltext
|
| An Optimized Translation Process and Its Application to ALGOL 68 |
- isbn : 978-3-540-38083-2
- pisbn : 978-3-540-07545-5
|
Fulltext
|
| Algebraic Semantics |
- isbn : 978-3-540-38417-5
- pisbn : 978-3-540-10284-7
|
Fulltext
|
| Non-Monotonic Reasoning |
- isbn : 978-3-540-46073-2
- pisbn : 978-3-540-50701-7
|
Fulltext
|
| From Logic Design to Logic Programming |
- isbn : 978-3-540-47811-9
- pisbn : 978-3-540-18217-7
|
Fulltext
|
| DIANA. An Intermediate Language for Ada |
- isbn : 978-3-540-38685-8
- pisbn : 978-3-540-12695-9
|
Fulltext
|
| Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986 |
- isbn : 978-3-540-47926-0
- pisbn : 978-3-540-17906-1
|
Fulltext
|
| Intelligent Tutoring Systems |
- isbn : 978-3-540-47254-4
- pisbn : 978-3-540-55606-0
|
Fulltext
|
| EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings |
- isbn : 978-3-540-39684-0
- pisbn : 978-3-540-15983-4
|
Fulltext
|
| VDM '88. VDM - The Way Ahead |
- isbn : 978-3-540-45955-2
- pisbn : 978-3-540-50214-2
|
Fulltext
|