Mathematics
Results 1 - 20 of 6530
Mathematics
Hardcover. Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. It includes a collection of examples and exercises. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 497 pages, 1 black & white illustrations, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 239 x 163 x 36. Weight in Grams: 912.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 497
- Format
- Hardback
- Publication date
- 2004
- Edition
- 2004th Edition
- Condition
- New
- SKU
- V9783540208549
- ISBN
- 9783540208549
Hardback
Condition: New
€ 110.94€ 90.16
€ 110.94
€ 90.16
Paperback. Series: Schaum's Easy Outlines. Num Pages: 160 pages, Illustrations. BIC Classification: PB. Category: (G) General (US: Trade). Dimension: 214 x 143 x 10. Weight in Grams: 186.
- Publisher
- McGraw-Hill Education - Europe United States
- Number of pages
- 160
- Format
- Paperback
- Publication date
- 2012
- Edition
- Revised edition
- Condition
- New
- SKU
- V9780071777476
- ISBN
- 9780071777476
Paperback
Condition: New
€ 17.99€ 16.95
€ 17.99
€ 16.95
Hardcover. This book describes the use of neural networks and fuzzy methods for identifying and controlling nonlinear dynamical systems. It combines advanced concepts from traditional control theory with the intuitive properties of intelligent systems to solve real-world control problems. Series: Adaptive and Learning Systems for Signal Processing, Communications and Control Series. Num Pages: 568 pages, Illustrations. BIC Classification: PBWR; TJFM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 243 x 167 x 36. Weight in Grams: 982.
- Publisher
- John Wiley & Sons Inc United States
- Number of pages
- 568
- Format
- Hardback
- Publication date
- 2001
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780471415466
- ISBN
- 9780471415466
Hardback
Condition: New
€ 188.04
€ 188.04
Paperback. Students will find this book a useful aid to learning the unfamiliar mathematical aspects of stochastic processes while applying them to physical processes that he or she has already encountered. Num Pages: 160 pages, 27, 27 black & white line drawings. BIC Classification: PBWL; PDE; PH. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 218 x 142 x 10. Weight in Grams: 184.
- Publisher
- Johns Hopkins University Press
- Number of pages
- 160
- Format
- Paperback
- Publication date
- 2002
- Condition
- New
- SKU
- V9780801868672
- ISBN
- 9780801868672
Paperback
Condition: New
€ 35.99€ 30.61
€ 35.99
€ 30.61
Paperback. .
- Publisher
- Taylor & Francis Ltd
- Format
- Paperback
- Publication date
- 2015
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780415832458
- ISBN
- 9780415832458
Paperback
Condition: New
€ 66.00
€ 66.00
hardcover. In this book, optimization of chemical processes is performed using both classical and advanced algorithms. Num Pages: 380 pages. BIC Classification: PBU; TDCB. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 195 x 250 x 24. Weight in Grams: 832.
- Publisher
- Cambridge University Press
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781107091238
- ISBN
- 9781107091238
Hardback
Condition: New
€ 77.99
€ 77.99
Paperback. A short introduction perfect for any 16 to 18 year old about to begin studies in mathematics. Num Pages: 174 pages, 15 b/w illus. 195 exercises. BIC Classification: PBKA. Category: (U) Tertiary Education (US: College). Dimension: 231 x 163 x 11. Weight in Grams: 282.
- Publisher
- Cambridge University Press
- Format
- Paperback
- Publication date
- 2014
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781107686748
- ISBN
- 9781107686748
Paperback
Condition: New
€ 31.05
€ 31.05
Hardcover. Since the publication of the first edition, the authors have solicited feedback from both the instructors who use the book as a text for their courses as well as the researchers who use the book as a resource for their research. Series: Wiley Series in Probability and Statistics. Num Pages: 740 pages, Illustrations. BIC Classification: PBT. Category: (P) Professional & Vocational. Dimension: 246 x 167 x 42. Weight in Grams: 1234. Series: Wiley Series in Probability and Statistics. 740 pages, Illustrations. The book has been written at a technical level that is suitable for researchers who have taken an introductory course in statistics and who have a solid foundation in linear regression. Additional problem sets at provided at the end of each chapter to enhance the usefulness of the book as a text for courses on longitudinal data analysis. Cateogry: (P) Professional & Vocational. BIC Classification: PBT. Dimension: 246 x 167 x 42. Weight: 1194.
- Publisher
- Wiley
- Number of pages
- 740
- Format
- Hardback
- Publication date
- 2011
- Edition
- 2nd
- Condition
- New
- SKU
- V9780470380277
- ISBN
- 9780470380277
Hardback
Condition: New
€ 143.31
€ 143.31
Paperback. Num Pages: 300 pages, illustrations. BIC Classification: PB; YQM. Category: (J) Children / Juvenile. Dimension: 216 x 141 x 16. Weight in Grams: 386.
- Publisher
- Wide World Publishing/Tetra
- Format
- Paperback
- Publication date
- 1991
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780933174733
- ISBN
- 9780933174733
Paperback
Condition: New
€ 11.99€ 10.33
€ 11.99
€ 10.33
Paperback. .
- Publisher
- Birkhäuser
- Format
- Paperback
- Publication date
- 2017
- Edition
- 1st ed. 2017
- Condition
- New
- SKU
- V9783319517438
- ISBN
- 9783319517438
Paperback
Condition: New
€ 55.46€ 20.63
€ 55.46
€ 20.63
Paperback. Deals with the classification theory and geometry of higher dimensional varieties: existence and geometry of rational curves via characteristic p-methods, manifolds with negative Kodaira dimension, vanishing theorems, theory of extremal rays (Mori theory), and minimal models. Series: Oberwolfach Seminars. Num Pages: 218 pages, 2 black & white illustrations, biography. BIC Classification: PBKD; PBMW. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 254 x 178 x 12. Weight in Grams: 820.
- Publisher
- Birkhäuser
- Format
- Paperback
- Publication date
- 2004
- Edition
- 1997th Edition
- Condition
- New
- SKU
- V9783764354909
- ISBN
- 9783764354909
Paperback
Condition: New
€ 51.99€ 31.40
€ 51.99
€ 31.40
Paperback. Num Pages: 384 pages, illustrations. BIC Classification: PBF. Category: (P) Professional & Vocational. Dimension: 190 x 235 x 22. Weight in Grams: 524.
- Publisher
- John Wiley & Sons Inc
- Format
- Paperback
- Publication date
- 2016
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9781119293576
- ISBN
- 9781119293576
Paperback
Condition: New
€ 24.99€ 19.09
€ 24.99
€ 19.09
Hardcover. Prime numbers beckon to the beginner, the basic notion of primality being accessible to a child. Yet, some of the simplest questions about primes have stumped humankind for millennia. This book focuses on the computational aspects of prime numbers, such as recognizing primes and discovering the fundamental prime factors of a given number. Num Pages: 597 pages, 4 black & white tables, biography. BIC Classification: PBH. Category: (P) Professional & Vocational. Dimension: 241 x 162 x 38. Weight in Grams: 1064.
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2005
- Edition
- 2nd
- Condition
- New
- SKU
- V9780387252827
- ISBN
- 9780387252827
Hardback
Condition: New
€ 157.17€ 124.95
€ 157.17
€ 124.95
Paperback. Series: Graduate Texts in Mathematics. Num Pages: 519 pages, biography. BIC Classification: PBF; PBG. Category: (P) Professional & Vocational. Dimension: 157 x 233 x 35. Weight in Grams: 784.
- Publisher
- Springer-Verlag New York Inc.
- Format
- Paperback
- Publication date
- 2012
- Edition
- 2nd ed. 1996. Softcover reprint of the original 2n
- Condition
- New
- SKU
- V9781461264439
- ISBN
- 9781461264439
Paperback
Condition: New
€ 83.40
€ 83.40
Paperback. Do we still need mathematics? Series: All That Matters. Num Pages: 160 pages. BIC Classification: PB; YQM. Category: (J) Children / Juvenile; (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 179 x 129 x 13. Weight in Grams: 228.
- Publisher
- John Murray Press
- Format
- Paperback
- Publication date
- 2015
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781473601734
- ISBN
- 9781473601734
Paperback
Condition: New
€ 11.99€ 9.94
€ 11.99
€ 9.94
Paperback. This new fourth edition of the acclaimed and bestselling Div, Grad, Curl, and All That has been carefully revised and now includes updated notations and seven new example exercises. Num Pages: 176 pages, charts. BIC Classification: PBKA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 156 x 15. Weight in Grams: 288.
- Publisher
- WW Norton & Co United States
- Number of pages
- 200
- Format
- Paperback
- Publication date
- 2005
- Edition
- 4th
- Condition
- New
- SKU
- V9780393925166
- ISBN
- 9780393925166
Paperback
Condition: New
€ 50.93
€ 50.93
Hardcover. Series: Progress in Mathematics. Num Pages: black & white illustrations, colour illustrations, bibliography. BIC Classification: PBMW. Category: (G) General (US: Trade). Dimension: 236 x 157 x 30. Weight in Grams: 816.
- Publisher
- Birkhauser Verlag AG
- Format
- Hardback
- Publication date
- 2010
- Edition
- 2011th Edition
- Condition
- New
- SKU
- V9783034800112
- ISBN
- 9783034800112
Hardback
Condition: New
€ 56.64
€ 56.64
Paperback. Series: SpringerBriefs in Mathematical Physics. Num Pages: biography. BIC Classification: PBMW; PHF; PHU. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Publisher
- Springer International Publishing AG
- Format
- Paperback
- Publication date
- 2017
- Edition
- 1st ed. 2017
- Condition
- New
- SKU
- V9783319484860
- ISBN
- 9783319484860
Paperback
Condition: New
€ 64.71€ 45.97
€ 64.71
€ 45.97
Paperback. This is a revised edition of a text on classical mechanics published twenty years ago. The presentation has been simplified, and feedback has been incorporated into the text, thus greatly improving the content and style, making it fresher and more compelling. Series: Springer Undergraduate Mathematics Series. Num Pages: 253 pages, 42 black & white illustrations, biography. BIC Classification: PBW; PHD; TGMD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 157 x 14. Weight in Grams: 378.
- Publisher
- Springer London Ltd
- Format
- Paperback
- Publication date
- 2010
- Edition
- 2nd ed. 2009
- Condition
- New
- SKU
- V9781848828155
- ISBN
- 9781848828155
Paperback
Condition: New
€ 51.99€ 38.99
€ 51.99
€ 38.99
Hardback. An interdisciplinary work that creates a bridge between the mathematical and the technical disciplines by providing a mathematical tool. It considers only ordinary differential equations and their solutions in an analytical frame, leaving aside their numerical approach. Series: Mathematics and its Applications. Num Pages: 500 pages, biography. BIC Classification: PBKJ. Category: (UU) Undergraduate. Dimension: 243 x 160 x 17. Weight in Grams: 956.
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 500
- Format
- Hardback
- Publication date
- 2006
- Edition
- 2007th Edition
- Condition
- New
- SKU
- V9781402054396
- ISBN
- 9781402054396
Hardback
Condition: New
€ 157.17€ 114.98
€ 157.17
€ 114.98