| Software Configuration Management |
- isbn : 978-3-540-47768-6
- pisbn : 978-3-540-60578-2
|
Fulltext
|
| Applied Parallel Computing. Industrial Computation and Optimization |
- isbn : 978-3-540-49643-4
- pisbn : 978-3-540-62095-2
|
Fulltext
|
| Mathematical Methods of Specification and Synthesis of Software Systems '85 |
- isbn : 978-3-540-39784-7
- pisbn : 978-3-540-16444-9
|
Fulltext
|
| Functional Programming Languages and Computer Architecture |
- isbn : 978-3-540-39677-2
- pisbn : 978-3-540-15975-9
|
Fulltext
|
| Automata, Languages and Programming |
- isbn : 978-3-540-47516-3
- pisbn : 978-3-540-54233-9
|
Fulltext
|
| Co-oP |
- isbn : 978-3-540-48177-5
- pisbn : 978-3-540-18753-0
|
Fulltext
|
| Methodologies for Intelligent Systems |
- isbn : 978-3-540-49010-4
- pisbn : 978-3-540-58495-7
|
Fulltext
|
| ICDT '90 |
- isbn : 978-3-540-46682-6
- pisbn : 978-3-540-53507-2
|
Fulltext
|
| A Future for Knowledge Acquisition |
- isbn : 978-3-540-49006-7
- pisbn : 978-3-540-58487-2
|
Fulltext
|
| Automated Deduction - CADE-11 |
- isbn : 978-3-540-47252-0
- pisbn : 978-3-540-55602-2
|
Fulltext
|