| Human-Computer Interaction |
- isbn : 978-3-540-49036-4
- pisbn : 978-3-540-58648-7
|
Fulltext
|
| Rules in Database Systems |
- isbn : 978-3-540-45137-2
- pisbn : 978-3-540-60365-8
|
Fulltext
|
| A Survey of Verification Techniques for Parallel Programs |
- isbn : 978-3-540-39416-7
- pisbn : 978-3-540-15239-2
|
Fulltext
|
| Concepts, Design, and Performance Analysis of a Parallel Prolog Machine |
- isbn : 978-3-540-46873-8
- pisbn : 978-3-540-52053-5
|
Fulltext
|
| Algorithmic Number Theory |
- isbn : 978-3-540-70632-8
- pisbn : 978-3-540-61581-1
|
Fulltext
|
| Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems |
- isbn : 978-3-540-48485-1
- pisbn : 978-3-540-60615-4
|
Fulltext
|
| Integrating Symbolic Mathematical Computation and Artificial Intelligence |
- isbn : 978-3-540-49533-8
- pisbn : 978-3-540-60156-2
|
Fulltext
|
| Parallel Computation |
- isbn : 978-3-540-70645-8
- pisbn : 978-3-540-61695-5
|
Fulltext
|
| Rechnerstrukturen und Betriebsprogrammierung |
- isbn : 978-3-540-37760-3
- pisbn : 978-3-540-06815-0
|
Fulltext
|
| Multimedia: Advanced Teleservices and High-Speed Communication Architectures |
- isbn : 978-3-540-49007-4
- pisbn : 978-3-540-58494-0
|
Fulltext
|