| Mathematical Models for the Semantics of Parallelism |
- isbn : 978-3-540-47960-4
- pisbn : 978-3-540-18419-5
|
Fulltext
|
| ANNA A Language for Annotating Ada Programs |
- isbn : 978-3-540-47202-5
- pisbn : 978-3-540-17980-1
|
Fulltext
|
| Advanced Programming Environments |
- isbn : 978-3-540-47347-3
- pisbn : 978-3-540-17189-8
|
Fulltext
|
| Ada Software Tools Interfaces |
- isbn : 978-3-540-39071-8
- pisbn : 978-3-540-13878-5
|
Fulltext
|
| Mathematical Foundations of Computer Science 1989 |
- isbn : 978-3-540-48176-8
- pisbn : 978-3-540-51486-2
|
Fulltext
|
| Word Equations and Related Topics |
- isbn : 978-3-540-46737-3
- pisbn : 978-3-540-55124-9
|
Fulltext
|
| The Nested Universal Relation Database Model |
- isbn : 978-3-540-47110-3
- pisbn : 978-3-540-55493-6
|
Fulltext
|
| Specifying Message Passing and Time-Critical Systems with Temporal Logic |
- isbn : 978-3-540-47506-4
- pisbn : 978-3-540-56283-2
|
Fulltext
|
| Filtering, Segmentation and Depth |
- isbn : 978-3-540-47570-5
- pisbn : 978-3-540-56484-3
|
Fulltext
|
| Artificial Intelligence and Symbolic Mathematical Computing |
- isbn : 978-3-540-48063-1
- pisbn : 978-3-540-57322-7
|
Fulltext
|