| TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 |
- isbn : 978-3-540-47746-4
- pisbn : 978-3-540-17660-2
|
Fulltext
|
| Computer Science Logic |
- isbn : 978-3-540-38401-4
- pisbn : 978-3-540-54487-6
|
Fulltext
|
| Computer Aided Verification |
- isbn : 978-3-540-68599-9
- pisbn : 978-3-540-61474-6
|
Fulltext
|
| Logics in Artificial Intelligence |
- isbn : 978-3-540-70643-4
- pisbn : 978-3-540-61630-6
|
Fulltext
|
| Distributed Algorithms |
- isbn : 978-3-540-70679-3
- pisbn : 978-3-540-61769-3
|
Fulltext
|
| Algorithmic Learning Theory |
- isbn : 978-3-540-70719-6
- pisbn : 978-3-540-61863-8
|
Fulltext
|
| Algorithms and Computation |
- isbn : 978-3-540-48653-4
- pisbn : 978-3-540-58325-7
|
Fulltext
|
| Graph-Theoretic Concepts in Computer Science |
- isbn : 978-3-540-46735-9
- pisbn : 978-3-540-55121-8
|
Fulltext
|
| Graph-Theoretic Concepts in Computer Science |
- isbn : 978-3-540-47415-9
- pisbn : 978-3-540-17218-5
|
Fulltext
|
| STACS 90 |
- isbn : 978-3-540-46945-2
- pisbn : 978-3-540-52282-9
|
Fulltext
|