| Architecture of Distributed Computer Systems |
- isbn : 978-3-540-38524-0
- pisbn : 978-3-540-09723-5
- doi : 10.1007/3-540-09723-6
|
Fulltext
|
| Grammar and L Forms |
- isbn : 978-3-540-38310-9
- pisbn : 978-3-540-10233-5
- doi : 10.1007/3-540-10233-7
|
Fulltext
|
| International Symposium on Programming |
- isbn : 978-3-540-39233-0
- pisbn : 978-3-540-09981-9
- doi : 10.1007/3-540-09981-6
|
Fulltext
|
| Language Design and Programming Methodology |
- isbn : 978-3-540-38579-0
- pisbn : 978-3-540-09745-7
- doi : 10.1007/3-540-09745-7
|
Fulltext
|
| Pictorial Information Systems |
- isbn : 978-3-540-38634-6
- pisbn : 978-3-540-09757-0
- doi : 10.1007/3-540-09757-0
|
Fulltext
|
| The Programming Language Ada |
- isbn : 978-3-540-38620-9
- pisbn : 978-3-540-10693-7
- doi : 10.1007/3-540-10693-6
|
Fulltext
|
| Computer Programs for Spelling Correction |
- isbn : 978-3-540-38381-9
- pisbn : 978-3-540-10259-5
- doi : 10.1007/3-540-10259-0
|
Fulltext
|
| Using Sophisticated Models in Resolution Theorem Proving |
- isbn : 978-3-540-38306-2
- pisbn : 978-3-540-10231-1
- doi : 10.1007/3-540-10231-0
|
Fulltext
|
| Reliability Evaluation of Some Fault-Tolerant Computer Architectures |
- isbn : 978-3-540-38399-4
- pisbn : 978-3-540-10274-8
- doi : 10.1007/3-540-10274-4
|
Fulltext
|
| Abstract Software Specifications |
- isbn : 978-3-540-38136-5
- pisbn : 978-3-540-10007-2
- doi : 10.1007/3-540-10007-5
|
Fulltext
|