Mathematics
Results 1 - 20 of 18036
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
€ 148.63
€ 148.63
Hardcover. Probability and Stochastics provides an introduction to the field, and begins by describing the fundamentals and basic principles of probability theory. Later chapters discuss more advanced topics, such as Martingales, Poisson Random Measures, Levy Processes and Brownian Motion. Series: Graduate Texts in Mathematics. Num Pages: 572 pages, biography. BIC Classification: PBKL; PBT; PBWL. Category: (P) Professional & Vocational. Dimension: 242 x 167 x 39. Weight in Grams: 1018.
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 572
- Format
- Hardback
- Publication date
- 2011
- Edition
- 2011 ed.
- Condition
- New
- SKU
- V9780387878584
- ISBN
- 9780387878584
Hardback
Condition: New
€ 94.79
€ 94.79
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
€ 21.07
€ 21.07
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
€ 198.04
€ 198.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
€ 37.99€ 32.14
€ 37.99
€ 32.14
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
€ 84.70
€ 84.70
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
€ 150.90
€ 150.90
Hardback. Introduces aspiring and practicing actuaries, engineers, computer scientists and others to the practical aspects of constructing computerized simulation studies to analyze and interpret real phenomena. This title presents the statistics needed to analyze simulated data as well as that needed for validating the simulation model. Num Pages: 328 pages, Illustrations. BIC Classification: PBT. Category: (P) Professional & Vocational. Dimension: 235 x 153 x 20. Weight in Grams: 524.
- Publisher
- Elsevier Science Publishing Co Inc United States
- Number of pages
- 328
- Format
- Hardback
- Publication date
- 2012
- Edition
- 5th Edition
- Condition
- New
- SKU
- V9780124158252
- ISBN
- 9780124158252
Hardback
Condition: New
€ 101.51
€ 101.51
Paperback. .
- Publisher
- Birkhäuser
- Format
- Paperback
- Publication date
- 2017
- Edition
- 1st ed. 2017
- Condition
- New
- SKU
- V9783319517438
- ISBN
- 9783319517438
Paperback
Condition: New
€ 71.11
€ 71.11
Paperback. This self-contained introduction to modern cryptography emphasizes the mathematics behind the theory of public key cryptosystems and digital signature schemes. The book focuses on these key topics. It includes exercises and examples at the end of each section. Series: Undergraduate Texts in Mathematics. Num Pages: 524 pages, 29 black & white illustrations, 65 black & white tables, biography. BIC Classification: GPJ; PBH. Category: (P) Professional & Vocational. Dimension: 235 x 157 x 28. Weight in Grams: 816.
- Publisher
- Springer-Verlag New York Inc.
- Format
- Paperback
- Publication date
- 2010
- Edition
- Softcover reprint of hardcover 1st ed. 2008
- Condition
- New
- SKU
- V9781441926746
- ISBN
- 9781441926746
Paperback
Condition: New
€ 69.40
€ 69.40
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
€ 63.83
€ 63.83
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
€ 25.99€ 19.49
€ 25.99
€ 19.49
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
€ 197.83
€ 197.83
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
€ 96.87
€ 96.87
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€ 10.31
€ 11.99
€ 10.31
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
€ 71.25
€ 71.25
Paperback. Series: Texts in Applied Mathematics. Num Pages: 339 pages, 6 black & white illustrations, 23 colour illustrations, biography. BIC Classification: PBWL. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 545.
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 339
- Format
- Paperback
- Publication date
- 2016
- Edition
- Softcover reprint of the original 1st ed. 2014
- Condition
- New
- SKU
- V9781493954797
- ISBN
- 9781493954797
Paperback
Condition: New
€ 67.27
€ 67.27
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
€ 130.69€ 129.29
€ 130.69
€ 129.29
Hardcover. Offers an opportunity to understand one of the great thinkers of western civilization, Euclid. This book includes such topics as the introduction of coordinates, the theory of area, geometrical constructions and finite field extensions, history of the parallel postulate, various non-Euclidean geometries, and the regular and semi-regular polyhedra. Series: Undergraduate Texts in Mathematics. Num Pages: 528 pages, biography. BIC Classification: PBM. Category: (G) General (US: Trade); (P) Professional & Vocational; (UU) Undergraduate. Dimension: 262 x 191 x 40. Weight in Grams: 1092.
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 539
- Format
- Hardback
- Publication date
- 2005
- Edition
- 1st ed. 2000. Corr. 4th printing 2005
- Condition
- New
- SKU
- V9780387986500
- ISBN
- 9780387986500
Hardback
Condition: New
€ 83.82
€ 83.82
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
€ 82.35
€ 82.35