| Formal Techniques in Real-Time and Fault-Tolerant Systems |
- isbn : 978-3-540-46692-5
- pisbn : 978-3-540-55092-1
|
Fulltext
|
| VDM '87. VDM - A Formal Method at Work |
- isbn : 978-3-540-47740-2
- pisbn : 978-3-540-17654-1
|
Fulltext
|
| Algorithms for Parallel Polygon Rendering |
- isbn : 978-3-540-46204-0
- pisbn : 978-3-540-51394-0
|
Fulltext
|
| Computer Aided Verification |
- isbn : 978-3-540-47572-9
- pisbn : 978-3-540-56496-6
|
Fulltext
|
| Static Analysis |
- isbn : 978-3-540-48027-3
- pisbn : 978-3-540-57264-0
|
Fulltext
|
| STACS 94 |
- isbn : 978-3-540-48332-8
- pisbn : 978-3-540-57785-0
|
Fulltext
|
| The Munich Project CIP |
- isbn : 978-3-540-48179-9
- pisbn : 978-3-540-18779-0
|
Fulltext
|
| Optimization Techniques. Modeling and Optimization in the Service of Man 1 |
- isbn : 978-3-540-38144-0
- pisbn : 978-3-540-07622-3
|
Fulltext
|
| Computer Aided Systems Theory - EUROCAST '93 |
- isbn : 978-3-540-48286-4
- pisbn : 978-3-540-57601-3
|
Fulltext
|
| Theoretical Aspects of Computer Software |
- isbn : 978-3-540-48383-0
- pisbn : 978-3-540-57887-1
|
Fulltext
|