| Progress in Case-Based Reasoning |
- isbn : 978-3-540-48525-4
- pisbn : 978-3-540-60654-3
|
Fulltext
|
| Mathematics of Program Construction |
- isbn : 978-3-540-49445-4
- pisbn : 978-3-540-60117-3
|
Fulltext
|
| Theorem Provers in Circuit Design: Theory, Practice and Experience |
- isbn : 978-3-540-49177-4
- pisbn : 978-3-540-59047-7
|
Fulltext
|
| Advances in Structural and Syntactical Pattern Recognition |
- isbn : 978-3-540-70631-1
- pisbn : 978-3-540-61577-4
|
Fulltext
|
| Programming Language Implementation and Logic Programming |
- isbn : 978-3-540-38362-8
- pisbn : 978-3-540-54444-9
|
Fulltext
|
| Mathematical Foundations of Programming Semantics |
- isbn : 978-3-540-48419-6
- pisbn : 978-3-540-58027-0
|
Fulltext
|
| MFDBS 89 |
- isbn : 978-3-540-46182-1
- pisbn : 978-3-540-51251-6
|
Fulltext
|
| Parallel Processing |
- isbn : 978-3-540-37408-4
- pisbn : 978-3-540-07135-8
|
Fulltext
|
| Advances in Petri Nets 1987 |
- isbn : 978-3-540-47743-3
- pisbn : 978-3-540-18086-9
|
Fulltext
|
| Software Development Environments and Case Technology |
- isbn : 978-3-540-47485-2
- pisbn : 978-3-540-54194-3
|
Fulltext
|