| Compiler Compilers and High Speed Compilation |
- isbn : 978-3-540-46200-2
- pisbn : 978-3-540-51364-3
|
Fulltext
|
| Automata, Languages and Programming |
- isbn : 978-3-540-39291-0
- pisbn : 978-3-540-19488-0
|
Fulltext
|
| ISA '91 Algorithms |
- isbn : 978-3-540-46600-0
- pisbn : 978-3-540-54945-1
|
Fulltext
|
| Integrity Primitives for Secure Information Systems |
- isbn : 978-3-540-48517-9
- pisbn : 978-3-540-60640-6
|
Fulltext
|
| High Performance Transaction Systems |
- isbn : 978-3-540-46155-5
- pisbn : 978-3-540-51085-7
|
Fulltext
|
| Foundations of Software Technology and Theoretical Computer Science |
- isbn : 978-3-540-48211-6
- pisbn : 978-3-540-57529-0
|
Fulltext
|
| Evolution and Biocomputation |
- isbn : 978-3-540-49176-7
- pisbn : 978-3-540-59046-0
|
Fulltext
|
| A Connotational Theory of Program Structure |
- isbn : 978-3-540-47846-1
- pisbn : 978-3-540-18253-5
|
Fulltext
|
| Theorem Proving with Analytic Tableaux and Related Methods |
- isbn : 978-3-540-68368-1
- pisbn : 978-3-540-61208-7
|
Fulltext
|
| Graph-Theoretic Concepts in Computer Science |
- isbn : 978-3-540-49183-5
- pisbn : 978-3-540-59071-2
|
Fulltext
|