| Nonmonotonic and Inductive Logic |
- isbn : 978-3-540-47557-6
- pisbn : 978-3-540-56433-1
|
Fulltext
|
| Building Tightly Integrated Software Development Environments: The IPSEN Approach |
- isbn : 978-3-540-49578-9
- pisbn : 978-3-540-61985-7
|
Fulltext
|
| Software Engineering and Human-Computer Interaction |
- isbn : 978-3-540-49173-6
- pisbn : 978-3-540-59008-8
|
Fulltext
|
| Instantiation Theory |
- isbn : 978-3-540-47561-3
- pisbn : 978-3-540-54333-6
|
Fulltext
|
| Advances in Cryptology - AUSCRYPT '90 |
- isbn : 978-3-540-46297-2
- pisbn : 978-3-540-53000-8
|
Fulltext
|
| Mathematical Foundations of Computer Science 1984 |
- isbn : 978-3-540-38929-3
- pisbn : 978-3-540-13372-8
|
Fulltext
|
| Theory of Computing and Systems |
- isbn : 978-3-540-47214-8
- pisbn : 978-3-540-55553-7
|
Fulltext
|
| New Results and New Trends in Computer Science |
- isbn : 978-3-540-46457-0
- pisbn : 978-3-540-54869-0
|
Fulltext
|
| Typed Lambda Calculi and Applications |
- isbn : 978-3-540-47586-6
- pisbn : 978-3-540-56517-8
|
Fulltext
|
| Advances in Intelligent Computing - IPMU '94 |
- isbn : 978-3-540-49443-0
- pisbn : 978-3-540-60116-6
|
Fulltext
|