| Advanced Topics in Artificial Intelligence |
- isbn : 978-3-540-47271-1
- pisbn : 978-3-540-55681-7
|
Fulltext
|
| CONCUR'93 |
- isbn : 978-3-540-47968-0
- pisbn : 978-3-540-57208-4
|
Fulltext
|
| Automata, Languages and Programming |
- isbn : 978-3-540-47826-3
- pisbn : 978-3-540-56939-8
|
Fulltext
|
| A Study in String Processing Languages |
- isbn : 978-3-540-39719-9
- pisbn : 978-3-540-16041-0
|
Fulltext
|
| Algebraic and Logic Programming |
- isbn : 978-3-540-48791-3
- pisbn : 978-3-540-58431-5
|
Fulltext
|
| Computer Performance Evaluation: Modelling Techniques and Tools |
- isbn : 978-3-540-48416-5
- pisbn : 978-3-540-58021-8
|
Fulltext
|
| Automated Deduction — CADE-12 |
- isbn : 978-3-540-48467-7
- pisbn : 978-3-540-58156-7
|
Fulltext
|
| Compiler Specification and Verification |
- isbn : 978-3-540-38795-4
- pisbn : 978-3-540-10886-3
|
Fulltext
|
| Foundations of Software Technology and Theoretical Computer Science |
- isbn : 978-3-540-39087-9
- pisbn : 978-3-540-13883-9
|
Fulltext
|
| The Analysis of Concurrent Systems |
- isbn : 978-3-540-39731-1
- pisbn : 978-3-540-16047-2
|
Fulltext
|