Automata, Languages and Programming |
- isbn : 978-3-540-39346-7
- pisbn : 978-3-540-10003-4
- doi : 10.1007/3-540-10003-2
|
Fulltext
|
Context-Free Grammars |
- isbn : 978-3-540-38330-7
- pisbn : 978-3-540-10245-8
- doi : 10.1007/3-540-10245-0
|
Fulltext
|
Coroutines |
- isbn : 978-3-540-38378-9
- pisbn : 978-3-540-10256-4
- doi : 10.1007/3-540-10256-6
|
Fulltext
|
Data Base Techniques for Pictorial Application |
- isbn : 978-3-540-38651-3
- pisbn : 978-3-540-09763-1
- doi : 10.1007/3-540-09763-5
|
Fulltext
|
Net Theory and Applications |
- isbn : 978-3-540-39322-1
- pisbn : 978-3-540-10001-0
- doi : 10.1007/3-540-100016
|
Fulltext
|
A Relational Theory of Computing |
- isbn : 978-3-540-39256-9
- pisbn : 978-3-540-09987-1
- doi : 10.1007/3-540-09987-5
|
Fulltext
|
5th Conference on Automated Deduction |
- isbn : 978-3-540-38140-2
- pisbn : 978-3-540-10009-6
- doi : 10.1007/3-540-10009-1
|
Fulltext
|
A Calculus of Communicating Systems |
- isbn : 978-3-540-38311-6
- pisbn : 978-3-540-10235-9
- doi : 10.1007/3-540-10235-3
|
Fulltext
|
Towards a Formal Description of Ada |
- isbn : 978-3-540-38415-1
- pisbn : 978-3-540-10283-0
- doi : 10.1007/3-540-10283-3
|
Fulltext
|
Semantics-Directed Compiler Generation |
- isbn : 978-3-540-38339-0
- pisbn : 978-3-540-10250-2
- doi : 10.1007/3-540-10250-7
|
Fulltext
|