| ZUM '95: The Z Formal Specification Notation |
- isbn : 978-3-540-44782-5
- pisbn : 978-3-540-60271-2
|
Fulltext
|
| Language Hierarchies and Interfaces |
- isbn : 978-3-540-37972-0
- pisbn : 978-3-540-07994-1
|
Fulltext
|
| Distributed Systems |
- isbn : 978-3-540-39363-4
- pisbn : 978-3-540-15216-3
|
Fulltext
|
| Operating Systems Engineering |
- isbn : 978-3-540-39424-2
- pisbn : 978-3-540-11604-2
|
Fulltext
|
| EPIA'89 |
- isbn : 978-3-540-46743-4
- pisbn : 978-3-540-51665-1
|
Fulltext
|
| Visualization in Programming |
- isbn : 978-3-540-48004-4
- pisbn : 978-3-540-18507-9
|
Fulltext
|
| Optimization Techniques. Modeling and Optimization in the Service of Man 2 |
- isbn : 978-3-540-38150-1
- pisbn : 978-3-540-07623-0
|
Fulltext
|
| Advances in Petri Nets 1984 |
- isbn : 978-3-540-39320-7
- pisbn : 978-3-540-15204-0
|
Fulltext
|
| Compiler Construction |
- isbn : 978-3-540-48371-7
- pisbn : 978-3-540-57877-2
|
Fulltext
|
| ESOP 86 |
- isbn : 978-3-540-39782-3
- pisbn : 978-3-540-16442-5
|
Fulltext
|