System Development and Ada |
- isbn : 978-3-540-47885-0
- pisbn : 978-3-540-18341-9
|
Fulltext
|
Local Area Network Security |
- isbn : 978-3-540-46802-8
- pisbn : 978-3-540-51754-2
|
Fulltext
|
Graph Reduction |
- isbn : 978-3-540-47963-5
- pisbn : 978-3-540-18420-1
|
Fulltext
|
Mathematics of Program Construction |
- isbn : 978-3-540-46191-3
- pisbn : 978-3-540-51305-6
|
Fulltext
|
Compiler Construction |
- isbn : 978-3-540-47335-0
- pisbn : 978-3-540-55984-9
|
Fulltext
|
PORTAL Language Description |
- isbn : 978-3-540-38860-9
- pisbn : 978-3-540-18960-2
|
Fulltext
|
Programming Language Implementation and Logic Programming |
- isbn : 978-3-540-47945-1
- pisbn : 978-3-540-57186-5
|
Fulltext
|
Proceedings / Parcella 1988 |
- isbn : 978-3-540-46062-6
- pisbn : 978-3-540-50647-8
|
Fulltext
|
FME '94: Industrial Benefit of Formal Methods |
- isbn : 978-3-540-49031-9
- pisbn : 978-3-540-58555-8
|
Fulltext
|
Static Analysis |
- isbn : 978-3-540-45050-4
- pisbn : 978-3-540-60360-3
|
Fulltext
|