Búsqueda

Buscaste por: Empezar de nuevo Colección Cambridge University Press Eliminar filtro Colección: Cambridge University Press Fecha de publicación 1993 Eliminar filtro Fecha de publicación: 1993 Materia Computer Science Eliminar filtro Materia: Computer Science
Resultados 1 - 13 de 13
Número de resultados a mostrar por páginas

Resultados de búsquedas

1. Efficient Algorithms for Listing Combinatorial Structures
Goldberg
Cambridge University Press
E-ISBN: 9780511569913; 9780521450218 ISBN: 9780521117883
2. The Computer User as Toolsmith
Greenberg
Cambridge University Press
E-ISBN: 9780511629402; 9780521404303 ISBN:
3. Challenges in Natural Language Processing
Bates; Weischedel
Cambridge University Press
E-ISBN: 9780511659478; 9780521410151 ISBN: 9780521032261
4. Higher Order Logic and Hardware Verification
Melham
Cambridge University Press
E-ISBN: 9780511569845; 9780521417181 ISBN: 9780521115322
5. Proof Theory
Aczel; Simmons; Wainer
Cambridge University Press
E-ISBN: 9780511896262; 9780521414135 ISBN: 9780521054164
6. Information Dispersal and Parallel Computation
Lyuu
Cambridge University Press
E-ISBN: 9780511574955 ISBN: 9780521602792
7. Research and Development in Expert Systems IX
Bramer; Milne
Cambridge University Press
E-ISBN: 9780511569944 ISBN:
8. Complexity: Knots, Colourings and Countings
Welsh
Cambridge University Press
E-ISBN: 9780511752506 ISBN: 9780521457408
9. Algebraic Specification of Communication Protocols
Mauw; Veltink
Cambridge University Press
E-ISBN: 9780511721625 ISBN: 9780521088121
10. Numerical Mathematics
Breuer; Zwas
Cambridge University Press
E-ISBN: 9781139174060; 9780521440400 ISBN:
11. Formal Semantics
Cann
Cambridge University Press
E-ISBN: 9781139166317; 9780521374637 ISBN: 9780521376105
12. The Clausal Theory of Types
Wolfram
Cambridge University Press
E-ISBN: 9780511569906; 9780521395380 ISBN: 9780521117906
13. Specification and Proof in Real Time CSP
Davies
Cambridge University Press
E-ISBN: 9780511569760; 9780521450553 ISBN: 9781107403864