Búsqueda

« Anterior | Resultados 1 - 10 de 17 |
Número de resultados a mostrar por páginas

Resultados de búsquedas

1. Type Theory and Formal Proof
Nederpelt; Geuvers
Cambridge University Press
E-ISBN: 9781139567725; 9781107036505 ISBN:
2. Modern Fortran in Practice
Markus
Cambridge University Press
E-ISBN: 9781139084796; 9781107017900 ISBN: 9781107603479
3. Logical Foundations of Proof Complexity
Cook; Nguyen
Cambridge University Press
E-ISBN: 9780511676277; 9780521517294 ISBN: 9781107694118
4. Modern Computer Arithmetic
Brent; Zimmermann
Cambridge University Press
E-ISBN: 9780511921698; 9780521194693 ISBN:
5. Aggregation Functions
Grabisch et al
Cambridge University Press
E-ISBN: 9781139644150; 9780521519267 ISBN:
6. Geometric Folding Algorithms
Demaine; O'Rourke
Cambridge University Press
E-ISBN: 9780511735172; 9780521857574 ISBN: 9780521715225
7. Stable Domination and Independence in Algebraically Closed Valued Fields
Haskell; Hrushovski; Macpherson
Cambridge University Press
E-ISBN: 9780511546471; 9780521889810 ISBN: 9780521335157
8. Complexity and Cryptography
Talbot; Welsh
Cambridge University Press
E-ISBN: 9780511755286 ISBN: 9780521617710
9. Irresistible Integrals
Boros; Moll
Cambridge University Press
E-ISBN: 9780511617041; 9780521791861 ISBN: 9780521796361
10. The Theory of Information and Coding
McEliece
Cambridge University Press
E-ISBN: 9780511819896; 9780521831857 ISBN: