| Constraints in Computational Logics |
- isbn : 978-3-540-48699-2
- pisbn : 978-3-540-58403-2
|
Fulltext
|
| High-Performance Computing and Networking |
- isbn : 978-3-540-48406-6
- pisbn : 978-3-540-57980-9
|
Fulltext
|
| Advances in Database Technology EDBT '96 |
- isbn : 978-3-540-49943-5
- pisbn : 978-3-540-61057-1
|
Fulltext
|
| Algebraic Methodology and Software Technology |
- isbn : 978-3-540-68595-1
- pisbn : 978-3-540-61463-0
|
Fulltext
|
| Applied Computational Geometry. Towards Geometric Engineering |
- isbn : 978-3-540-70680-9
- pisbn : 978-3-540-61785-3
|
Fulltext
|
| EURO-PAR '95: Parallel Processing |
- isbn : 978-3-540-44769-6
- pisbn : 978-3-540-60247-7
|
Fulltext
|
| Correct Hardware Design and Verification Methods |
- isbn : 978-3-540-70655-7
- pisbn : 978-3-540-56778-3
|
Fulltext
|
| TEX for Scientific Documentation |
- isbn : 978-3-540-47057-1
- pisbn : 978-3-540-16807-2
|
Fulltext
|
| FME '93: Industrial-Strength Formal Methods |
- isbn : 978-3-540-47623-8
- pisbn : 978-3-540-56662-5
|
Fulltext
|
| An Approach to Knowledge Base Management |
- isbn : 978-3-540-47540-8
- pisbn : 978-3-540-54268-1
|
Fulltext
|