Mathematics
Results 5761 - 5762 of 5762
Mathematics
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.76
€ 94.76
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.65
€ 148.65