| Euro-Par '96 - Parallel Processing |
- isbn : 978-3-540-70633-5
- pisbn : 978-3-540-61626-9
|
Fulltext
|
| SWAT '90 |
- isbn : 978-3-540-47164-6
- pisbn : 978-3-540-52846-3
|
Fulltext
|
| Algorithms in Modern Mathematics and Computer Science |
- isbn : 978-3-540-38621-6
- pisbn : 978-3-540-11157-3
|
Fulltext
|
| Artificial Intelligence and Symbolic Mathematical Computation |
- isbn : 978-3-540-70740-0
- pisbn : 978-3-540-61732-7
|
Fulltext
|
| Algorithms and Data Structures |
- isbn : 978-3-540-47918-5
- pisbn : 978-3-540-57155-1
|
Fulltext
|
| Mathematical Foundations of Computer Science 1996 |
- isbn : 978-3-540-70597-0
- pisbn : 978-3-540-61550-7
|
Fulltext
|
| CONCUR '95 Concurrency Theory |
- isbn : 978-3-540-44738-2
- pisbn : 978-3-540-60218-7
|
Fulltext
|
| TAPSOFT '93: Theory and Practice of Software Development |
- isbn : 978-3-540-47598-9
- pisbn : 978-3-540-56610-6
|
Fulltext
|
| Theorem Proving with Analytic Tableaux and Related Methods |
- isbn : 978-3-540-49235-1
- pisbn : 978-3-540-59338-6
|
Fulltext
|
| Algorithms and Computation |
- isbn : 978-3-540-48233-8
- pisbn : 978-3-540-57568-9
|
Fulltext
|