| Types for Proofs and Programs |
- isbn : 978-3-540-70722-6
- pisbn : 978-3-540-61780-8
|
Fulltext
|
| Programming Languages: Implementations, Logics, and Programs |
- isbn : 978-3-540-70654-0
- pisbn : 978-3-540-61756-3
|
Fulltext
|
| Topics in Artificial Intelligence |
- isbn : 978-3-540-47468-5
- pisbn : 978-3-540-60437-2
|
Fulltext
|
| Computer Security and Industrial Cryptography |
- isbn : 978-3-540-48074-7
- pisbn : 978-3-540-57341-8
|
Fulltext
|
| Visualization in Human-Computer Interaction |
- isbn : 978-3-540-47102-8
- pisbn : 978-3-540-52698-8
|
Fulltext
|
| Mathematical Foundations of Computer Science 1991 |
- isbn : 978-3-540-47579-8
- pisbn : 978-3-540-54345-9
|
Fulltext
|
| Database Machines |
- isbn : 978-3-540-46197-5
- pisbn : 978-3-540-51324-7
|
Fulltext
|
| Ada in Europe |
- isbn : 978-3-540-49110-1
- pisbn : 978-3-540-58822-1
|
Fulltext
|
| Progress in Artificial Intelligence |
- isbn : 978-3-540-48036-5
- pisbn : 978-3-540-57287-9
|
Fulltext
|
| Higher Order Logic Theorem Proving and Its Applications |
- isbn : 978-3-540-48803-3
- pisbn : 978-3-540-58450-6
|
Fulltext
|