| FM8501: A Verified Microprocessor |
- isbn : 978-3-540-48401-1
- pisbn : 978-3-540-57960-1
|
Fulltext
|
| Database Machine Performance: Modeling Methodologies and Evaluation Strategies |
- isbn : 978-3-540-47140-0
- pisbn : 978-3-540-17942-9
|
Fulltext
|
| Logics of Programs |
- isbn : 978-3-540-39527-0
- pisbn : 978-3-540-15648-2
|
Fulltext
|
| Computer Algebra |
- isbn : 978-3-540-38756-5
- pisbn : 978-3-540-12868-7
|
Fulltext
|
| Rewriting Techniques and Applications |
- isbn : 978-3-540-46149-4
- pisbn : 978-3-540-51081-9
|
Fulltext
|
| Category Theory and Computer Science |
- isbn : 978-3-540-48006-8
- pisbn : 978-3-540-18508-6
|
Fulltext
|
| CSL '87 |
- isbn : 978-3-540-45960-6
- pisbn : 978-3-540-50241-8
|
Fulltext
|
| Synthesizing Synchronous Systems by Static Scheduling in Space-Time |
- isbn : 978-3-540-46172-2
- pisbn : 978-3-540-51156-4
|
Fulltext
|
| Graph-Theoretic Concepts in Computer Science |
- isbn : 978-3-540-46076-3
- pisbn : 978-3-540-50728-4
|
Fulltext
|
| Categorical Methods in Computer Science |
- isbn : 978-3-540-46787-8
- pisbn : 978-3-540-51722-1
|
Fulltext
|