| Advanced Information Systems Engineering |
- isbn : 978-3-540-47078-6
- pisbn : 978-3-540-52625-4
|
Fulltext
|
| 6th Conference on Automated Deduction |
- isbn : 978-3-540-39240-8
- pisbn : 978-3-540-11558-8
|
Fulltext
|
| Advances in Databases |
- isbn : 978-3-540-49427-0
- pisbn : 978-3-540-60100-5
|
Fulltext
|
| Constrained Global Optimization: Algorithms and Applications |
- isbn : 978-3-540-47755-6
- pisbn : 978-3-540-18095-1
|
Fulltext
|
| Advances in Cryptology - ASIACRYPT '94 |
- isbn : 978-3-540-49236-8
- pisbn : 978-3-540-59339-3
|
Fulltext
|
| Algorithms and Computation |
- isbn : 978-3-540-49633-5
- pisbn : 978-3-540-62048-8
|
Fulltext
|
| An Analytical Description of CHILL, the CCITT High Level Language |
- isbn : 978-3-540-38999-6
- pisbn : 978-3-540-11196-2
|
Fulltext
|
| Theoretical Computer Science |
- isbn : 978-3-540-39421-1
- pisbn : 978-3-540-11973-9
|
Fulltext
|
| Graph-Grammars and Their Application to Computer Science |
- isbn : 978-3-540-39897-4
- pisbn : 978-3-540-12310-1
|
Fulltext
|
| Axiomatising the Logic of Computer Programming |
- isbn : 978-3-540-39038-1
- pisbn : 978-3-540-11210-5
|
Fulltext
|