| Parallel Computation |
- isbn : 978-3-540-48055-6
- pisbn : 978-3-540-57314-2
|
Fulltext
|
| Ada: Moving Towards 2000 |
- isbn : 978-3-540-47240-7
- pisbn : 978-3-540-55585-8
|
Fulltext
|
| Visualization of Scientific Parallel Programs |
- isbn : 978-3-540-48325-0
- pisbn : 978-3-540-57738-6
|
Fulltext
|
| Spatio-Temporal Image Processing |
- isbn : 978-3-540-48145-4
- pisbn : 978-3-540-57418-7
|
Fulltext
|
| GI - 3. Fachtagung über Programmiersprachen |
- isbn : 978-3-540-37935-5
- pisbn : 978-3-540-06666-8
|
Fulltext
|
| Management and Processing of Complex Data Structures |
- isbn : 978-3-540-48335-9
- pisbn : 978-3-540-57802-4
|
Fulltext
|
| Computer Aided Systems Theory - EUROCAST '89 |
- isbn : 978-3-540-46932-2
- pisbn : 978-3-540-52215-7
|
Fulltext
|
| Boolean Calculus of Differences |
- isbn : 978-3-540-38421-2
- pisbn : 978-3-540-10286-1
|
Fulltext
|
| Computer Aided Verification |
- isbn : 978-3-540-46763-2
- pisbn : 978-3-540-55179-9
|
Fulltext
|
| International Symposium on Theoretical Programming |
- isbn : 978-3-540-38012-2
- pisbn : 978-3-540-06720-7
|
Fulltext
|