| Advances in Spatial Databases |
- isbn : 978-3-540-47765-5
- pisbn : 978-3-540-56869-8
|
Fulltext
|
| Software Engineering - ESEC '93 |
- isbn : 978-3-540-47972-7
- pisbn : 978-3-540-57209-1
|
Fulltext
|
| Operating Systems |
- isbn : 978-3-540-35880-0
- pisbn : 9783540098126
|
Fulltext
|
| A Review of Ada Tasking |
- isbn : 978-3-540-47241-4
- pisbn : 978-3-540-18008-1
|
Fulltext
|
| STACS 84 |
- isbn : 978-3-540-38805-0
- pisbn : 978-3-540-12920-2
|
Fulltext
|
| Rewriting Techniques and Applications |
- isbn : 978-3-540-39679-6
- pisbn : 978-3-540-15976-6
|
Fulltext
|
| Programs as Data Objects |
- isbn : 978-3-540-39786-1
- pisbn : 978-3-540-16446-3
|
Fulltext
|
| Verifying Concurrent Processes Using Temporal Logic |
- isbn : 978-3-540-39034-3
- pisbn : 978-3-540-11205-1
|
Fulltext
|
| Conceptual Structures: Current Practices |
- isbn : 978-3-540-38675-9
- pisbn : 978-3-540-58328-8
|
Fulltext
|
| Semantics of Digital Circuits |
- isbn : 978-3-540-48012-9
- pisbn : 978-3-540-18540-6
|
Fulltext
|