| Functional Programming, Concurrency, Simulation and Automated Reasoning |
- isbn : 978-3-540-47776-1
- pisbn : 978-3-540-56883-4
|
Fulltext
|
| Data Base Techniques for Pictorial Application |
- isbn : 978-3-540-38651-3
- pisbn : 978-3-540-09763-1
|
Fulltext
|
| Program Specification |
- isbn : 978-3-540-39176-0
- pisbn : 978-3-540-11490-1
|
Fulltext
|
| Logic of Programs |
- isbn : 978-3-540-38631-5
- pisbn : 978-3-540-11160-3
|
Fulltext
|
| Seminar on Concurrency |
- isbn : 978-3-540-39593-5
- pisbn : 978-3-540-15670-3
|
Fulltext
|
| Computer Analysis of Images and Patterns |
- isbn : 978-3-540-47980-2
- pisbn : 978-3-540-57233-6
|
Fulltext
|
| Analogical and Inductive Inference |
- isbn : 978-3-540-47339-8
- pisbn : 978-3-540-56004-3
|
Fulltext
|
| SWAT '88 |
- isbn : 978-3-540-39288-0
- pisbn : 978-3-540-19487-3
|
Fulltext
|
| ESOP '92 |
- isbn : 978-3-540-46803-5
- pisbn : 978-3-540-55253-6
|
Fulltext
|
| Methodologies for Intelligent Systems |
- isbn : 978-3-540-47750-1
- pisbn : 978-3-540-56804-9
|
Fulltext
|