| STACS 86 |
- isbn : 978-3-540-39758-8
- pisbn : 978-3-540-16078-6
|
Fulltext
|
| LATIN '95: Theoretical Informatics |
- isbn : 978-3-540-49220-7
- pisbn : 978-3-540-59175-7
|
Fulltext
|
| Mathematical Foundations of Computer Science 1995 |
- isbn : 978-3-540-44768-9
- pisbn : 978-3-540-60246-0
|
Fulltext
|
| Algorithm Theory - SWAT '96 |
- isbn : 978-3-540-68529-6
- pisbn : 978-3-540-61422-7
|
Fulltext
|
| Automated Deduction - Cade-13 |
- isbn : 978-3-540-68687-3
- pisbn : 978-3-540-61511-8
|
Fulltext
|
| Computing and Combinatorics |
- isbn : 978-3-540-68461-9
- pisbn : 978-3-540-61332-9
|
Fulltext
|
| CSL '89 |
- isbn : 978-3-540-47137-0
- pisbn : 978-3-540-52753-4
|
Fulltext
|
| Computer Aided Verification |
- isbn : 978-3-540-48469-1
- pisbn : 978-3-540-58179-6
|
Fulltext
|
| EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings |
- isbn : 978-3-540-39685-7
- pisbn : 978-3-540-15984-1
|
Fulltext
|
| Algorithms and Computation |
- isbn : 978-3-540-47501-9
- pisbn : 978-3-540-56279-5
|
Fulltext
|