| Mathematical Foundations of Computer Science 1986 |
- isbn : 978-3-540-39909-4
- pisbn : 978-3-540-16783-9
|
Fulltext
|
| GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen |
- isbn : 978-3-540-37936-2
- pisbn : 978-3-540-06677-4
|
Fulltext
|
| Distributed Algorithms |
- isbn : 978-3-540-46789-2
- pisbn : 978-3-540-55236-9
|
Fulltext
|
| Advances in Petri Nets 1985 |
- isbn : 978-3-540-39822-6
- pisbn : 978-3-540-16480-7
|
Fulltext
|
| Computer Science Today |
- isbn : 978-3-540-49435-5
- pisbn : 978-3-540-60105-0
|
Fulltext
|
| Computer Assisted Learning |
- isbn : 978-3-540-47111-0
- pisbn : 978-3-540-52699-5
|
Fulltext
|
| Compositionality, Concurrency, and Partial Correctness |
- isbn : 978-3-540-46101-2
- pisbn : 978-3-540-50845-8
|
Fulltext
|
| A Formal Model of Visualization in Computer Graphics Systems |
- isbn : 978-3-540-46979-7
- pisbn : 978-3-540-52395-6
|
Fulltext
|
| Distributed Algorithms |
- isbn : 978-3-540-39239-2
- pisbn : 978-3-540-19366-1
|
Fulltext
|
| Computational Logic and Proof Theory |
- isbn : 978-3-540-47943-7
- pisbn : 978-3-540-57184-1
|
Fulltext
|