| Partial Evaluation |
- isbn : 978-3-540-70589-5
- pisbn : 978-3-540-61580-4
|
Fulltext
|
| Design and Implementation of Symbolic Computation Systems |
- isbn : 978-3-540-70635-9
- pisbn : 978-3-540-61697-9
|
Fulltext
|
| PRICAI '96: Topics in Artificial Intelligence |
- isbn : 978-3-540-68729-0
- pisbn : 978-3-540-61532-3
|
Fulltext
|
| Foundations of Software Technology and Theoretical Computer Science |
- isbn : 978-3-540-49631-1
- pisbn : 978-3-540-62034-1
|
Fulltext
|
| Broadband Network Traffic |
- isbn : 978-3-540-70684-7
- pisbn : 978-3-540-61815-7
|
Fulltext
|
| Natural Language at the Computer |
- isbn : 978-3-540-45885-2
- pisbn : 978-3-540-50011-7
|
Fulltext
|
| Algebraic Methods II: Theory, Tools and Applications |
- isbn : 978-3-540-46351-1
- pisbn : 978-3-540-53912-4
|
Fulltext
|
| Mathematics of Program Construction |
- isbn : 978-3-540-47613-9
- pisbn : 978-3-540-56625-0
|
Fulltext
|
| A Unified Approach to Interior Point Algorithms for Linear Complementarity Problems |
- isbn : 978-3-540-38426-7
- pisbn : 978-3-540-54509-5
|
Fulltext
|
| Grammatical Inference and Applications |
- isbn : 978-3-540-48985-6
- pisbn : 978-3-540-58473-5
|
Fulltext
|