| Symbolic and Algebraic Computation |
- isbn : 978-3-540-35128-3
- pisbn : 978-3-540-09519-4
- doi : 10.1007/3-540-09519-5
|
Fulltext
|
| Automata, Languages, and Programming |
- isbn : 978-3-540-35168-9
- pisbn : 978-3-540-09510-1
- doi : 10.1007/3-540-09510-1
|
Fulltext
|
| Mathematical Studies of Information Processing |
- isbn : 978-3-540-35010-1
- pisbn : 978-3-540-09541-5
- doi : 10.1007/3-540-09541-1
|
Fulltext
|
| Codes for Boundary-Value Problems in Ordinary Differential Equations |
- isbn : 978-3-540-34858-0
- pisbn : 978-3-540-09554-5
- doi : 10.1007/3-540-09554-3
|
Fulltext
|
| Mathematical Foundations of Computer Science 1979 |
- isbn : 978-3-540-35088-0
- pisbn : 978-3-540-09526-2
- doi : 10.1007/3-540-09526-8
|
Fulltext
|
| Theoretical Computer Science |
- isbn : 978-3-540-35517-5
- pisbn : 978-3-540-09118-9
- doi : 10.1007/3-540-09118-1
|
Fulltext
|
| First-Order Dynamic Logic |
- isbn : 978-3-540-35346-1
- pisbn : 978-3-540-09237-7
- doi : 10.1007/3-540-09237-4
|
Fulltext
|
| Graph-Grammars and Their Application to Computer Science and Biology |
- isbn : 978-3-540-35091-0
- pisbn : 978-3-540-09525-5
- doi : 10.1007/BFb0025713
|
Fulltext
|
| Semantics of Concurrent Computation |
- isbn : 978-3-540-35163-4
- pisbn : 978-3-540-09511-8
- doi : 10.1007/BFb0022459
|
Fulltext
|
| Program Construction |
- isbn : 978-3-540-35312-6
- pisbn : 978-3-540-09251-3
- doi : 10.1007/BFb0014649
|
Fulltext
|