Lectures on Proof Verification and Approximation Algorithms |
- isbn : 978-3-540-69701-5
- pisbn : 978-3-540-64201-5
- doi : 10.1007/BFb0053010
|
Fulltext
|
Graph Drawing |
- isbn : 978-3-540-37623-1
- pisbn : 978-3-540-65473-5
- doi : 10.1007/3-540-37623-2
|
Fulltext
|
Intelligent Tutoring Systems |
- isbn : 978-3-540-68716-0
- pisbn : 978-3-540-64770-6
- doi : 10.1007/3-540-68716-5
|
Fulltext
|
Principles and Practice of Constraint Programming - CP98 |
- isbn : 978-3-540-49481-2
- pisbn : 978-3-540-65224-3
- doi : 10.1007/3-540-49481-2
|
Fulltext
|
Algorithmic Learning Theory |
- isbn : 978-3-540-49730-1
- pisbn : 978-3-540-65013-3
- doi : 10.1007/3-540-49730-7
|
Fulltext
|
Interacting Code Motion Transformations: Their Impact and Their Complexity |
- isbn : 978-3-540-49209-2
- pisbn : 978-3-540-65510-7
- doi : 10.1007/3-540-49209-7
|
Fulltext
|
Workflow Management Systems for Process Organisations |
- isbn : 978-3-540-49450-8
- pisbn : 978-3-540-65304-2
- doi : 10.1007/3-540-49450-2
|
Fulltext
|
Prospects for Hardware Foundations |
- isbn : 978-3-540-49254-2
- pisbn : 978-3-540-65461-2
- doi : 10.1007/3-540-49254-2
|
Fulltext
|
Discovery Science |
- isbn : 978-3-540-49292-4
- pisbn : 978-3-540-65390-5
- doi : 10.1007/3-540-49292-5
|
Fulltext
|
Graph-Theoretic Concepts in Computer Science |
- isbn : 978-3-540-49494-2
- pisbn : 978-3-540-65195-6
- doi : 10.1007/b71621
|
Fulltext
|