.png){kind=logo}
Mathematical theory of computation
Results 97 - 98 of 98
Mathematical theory of computation
Hardback. A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory. Num Pages: 490 pages, 35 b/w illus. 125 exercises. BIC Classification: UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 254 x 177 x 29. Weight in Grams: 978.
- Publisher
- Cambridge University Press
- Format
- Hardback
- Publication date
- 2014
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781107036505
- ISBN
- 9781107036505
Hardback
Condition: New
€ 87.80
€ 87.80
Hardback. Provides a comprehensive introduction to the theory and practice of validated numerics, a field that combines the strengths of scientific computing and pure mathematics. This title features many examples, exercises, and computer labs using MATLAB/C++. It is suitable for graduate students and advanced undergraduates. Num Pages: 152 pages, 41 line illus. 12 tables. BIC Classification: PBWH; PDN; UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 233 x 163 x 16. Weight in Grams: 362.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Princeton University Press United States
- Number of pages
- 152
- Condition
- New
- SKU
- V9780691147819
- ISBN
- 9780691147819
Hardback
Condition: New
€ 65.21€ 50.91
€ 65.21
€ 50.91