.png){kind=logo}
Mathematics
Results 18421 - 18440 of 18541
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
Paperback. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 472 pages, 1 black & white illustrations, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 26. Weight in Grams: 748.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 472
- Format
- Paperback
- Publication date
- 2010
- Edition
- Softcover reprint of hardcover 1st ed. 2004
- Condition
- New
- SKU
- V9783642058806
- ISBN
- 9783642058806
Paperback
Condition: New
€ 107.64
€ 107.64
Paperback. .
- Publisher
- Springer London Ltd
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9781447172857
- ISBN
- 9781447172857
Paperback
Condition: New
€ 99.09
€ 99.09
Hardcover. Rational homotopy theory is a subfield of algebraic topology. This book contains the main theorems of the field with proofs. As both notation and techniques of rational homotopy theory have been considerably simplified, it presents modern elementary proofs for many results. Series: Graduate Texts in Mathematics. Num Pages: 572 pages, biography. BIC Classification: PBPD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 241 x 164 x 37. Weight in Grams: 982.
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2000
- Edition
- 2001st Edition
- Condition
- New
- SKU
- V9780387950686
- ISBN
- 9780387950686
Hardback
Condition: New
€ 139.35
€ 139.35
Paperback. This book presents research work into the reliability of drinking water pipes. The infrastructure of water pipes is susceptible to routine failures, namely leakage or breakage, which occur in an aggregative manner in pipeline networks. Num Pages: 142 pages, black & white illustrations. BIC Classification: PB. Category: (P) Professional & Vocational. Dimension: 233 x 158 x 7. Weight in Grams: 228.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Number of pages
- 142
- Condition
- New
- SKU
- V9781848218918
- ISBN
- 9781848218918
Paperback
Condition: New
€ 180.21
€ 180.21
Paperback. Based on lecture notes, this book explores relations between Markovian path and loop measures, the Poissonian ensembles of loops they determine, their occupation fields, uniform spanning trees, determinants and Gaussian Markov fields such as the fre field. Series: Lecture Notes in Mathematics / Aecole D'Aete De Probabilites De Saint-Flour. Num Pages: 132 pages, 9 black & white illustrations, biography. BIC Classification: PBT; PBWL. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 299.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 132
- Condition
- New
- SKU
- V9783642212154
- ISBN
- 9783642212154
Paperback
Condition: New
€ 61.37
€ 61.37
Paperback. This book provides an introduction to MIP modeling and to planning systems, a unique collection of reformulation results, and an easy to use problem-solving library. This approach is demonstrated through a series of real life case studies, exercises and detailed illustrations. Series: Springer Series in Operations Research and Financial Engineering. Num Pages: 524 pages, 53 black & white tables, biography. BIC Classification: KJMV5; KJQ; KJT; PBUH; TGP. Category: (P) Professional & Vocational. Dimension: 156 x 237 x 34. Weight in Grams: 768.
- Publisher
- Springer-Verlag New York Inc.
- Format
- Paperback
- Publication date
- 2010
- Edition
- Softcover reprint of hardcover 1st ed. 2006
- Condition
- New
- SKU
- V9781441921321
- ISBN
- 9781441921321
Paperback
Condition: New
€ 107.92
€ 107.92
Hardback. This comprehensive text takes a critical look at the modern development of the theory of survey sampling as well as the foundations of survey sampling, and explains how to put this theory into practice. Series: Wiley Series in Survey Methodology. Num Pages: 608 pages. BIC Classification: PB. Category: (P) Professional & Vocational. Dimension: 244 x 170. .
- Publisher
- John Wiley & Sons Inc United States
- Number of pages
- 608
- Format
- Hardback
- Publication date
- 2020
- Condition
- New
- SKU
- V9780470682050
- ISBN
- 9780470682050
Hardback
Condition: New
€ 90.00
€ 90.00
hardcover. Over the last few decades, important progresses in the methods of sampling have been achieved. This book draws up an inventory of new methods that can be useful for selecting samples. Forty-six sampling methods are described in the framework of general theory. Series: Springer Series in Statistics. Num Pages: 228 pages, biography. BIC Classification: PBT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 504.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer/Sci-Tech/Trade United States
- Edition
- 2006th Edition
- Number of pages
- 228
- Condition
- New
- SKU
- V9780387308142
- ISBN
- 9780387308142
Hardback
Condition: New
€ 198.46
€ 198.46
Hardcover. This book carries a translation of Noether's original paper into English, and then describes the strange history of its reception and the responses to her work. The book clearly shows how long it took to recognize the seminal importance of Noether's results. Translator(s): Schwarzbach, Bertram Eugene. Series: Sources and Studies in the History of Mathematics and Physical Sciences. Num Pages: 218 pages, 8 black & white illustrations, biography. BIC Classification: PBF; PBKQ; PBWR; PBX; PHD. Category: (P) Professional & Vocational. Dimension: 242 x 165 x 17. Weight in Grams: 482.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2011th Edition
- Condition
- New
- SKU
- V9780387878676
- ISBN
- 9780387878676
Hardback
Condition: New
€ 120.88
€ 120.88
The Noether Theorems. Invariance and Conservation Laws in the Twentiet...
Yvette Kosmann-Schwarzbach
Paperback. This book carries a translation of Noether's original paper into English, and then describes the strange history of its reception and the responses to her work. The book clearly shows how long it took to recognize the seminal importance of Noether's results. Translator(s): Schwarzbach, Bertram Eugene. Series: Sources and Studies in the History of Mathematics and Physical Sciences. Num Pages: 205 pages, 8 black & white illustrations, biography. BIC Classification: PBX. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 316.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 205
- Condition
- New
- SKU
- V9781461427681
- ISBN
- 9781461427681
Paperback
Condition: New
€ 116.67
€ 116.67
Paperback. Editor(s): Wesolowski, Z. Series: CISM International Centre for Mechanical Sciences. Num Pages: 217 pages, 3 black & white illustrations, biography. BIC Classification: PBD; PHD. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 12. Weight in Grams: 410.
- Format
- Paperback
- Publication date
- 1979
- Publisher
- Springer Verlag GmbH Austria
- Number of pages
- 217
- Condition
- New
- SKU
- V9783211815120
- ISBN
- 9783211815120
Paperback
Condition: New
€ 66.95
€ 66.95
Statistical Decision Problems: Selected Concepts and Portfolio Safegua...
Zabarankin, Michael; Uryasev, Stanislav
paperback. Series: Springer Optimization and its Applications. Num Pages: 263 pages, 5 black & white illustrations, 4 colour illustrations, biography. BIC Classification: KJT; PBT; PBU; UNF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 409.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer United States
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 263
- Condition
- New
- SKU
- V9781493953257
- ISBN
- 9781493953257
Paperback
Condition: New
€ 66.40
€ 66.40
Hardback. Series: Mathematics and its Applications. Num Pages: 328 pages, biography. BIC Classification: PBH. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 297 x 210 x 20. Weight in Grams: 669.
- Format
- Hardback
- Publication date
- 1991
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 328
- Condition
- New
- SKU
- V9780792311546
- ISBN
- 9780792311546
Hardback
Condition: New
€ 134.57
€ 134.57
Hardback. Herbert Scarf is a distinguished economist and has made a number of extraordinarily significant contributions to economics, game theory and operations research. This work has generated a major research field in economics termed Applied General Equilibrium Analysis. This book comprises all his research articles and consists of four volumes. Editor(s): Yang, Zaifu. Num Pages: 276 pages, biography. BIC Classification: KCH; PBUD. Category: (P) Professional & Vocational. Dimension: 216 x 138 x 20. Weight in Grams: 473.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Palgrave Macmillan United Kingdom
- Number of pages
- 276
- Condition
- New
- SKU
- V9781137024343
- ISBN
- 9781137024343
Hardback
Condition: New
€ 127.97
€ 127.97
hardcover. Herbert Scarf is a distinguished economist and has made a number of extraordinarily significant contributions to economics, game theory and operations research. This work has generated a major research field in economics termed Applied General Equilibrium Analysis. This book comprises all his research articles and consists of four volumes. Editor(s): Yang, Zaifu. Num Pages: 251 pages, biography. BIC Classification: KCH; PBUD. Category: (P) Professional & Vocational. Dimension: 216 x 138 x 18. Weight in Grams: 441.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Palgrave Macmillan United Kingdom
- Edition
- 2013th Edition
- Number of pages
- 251
- Condition
- New
- SKU
- V9781137024374
- ISBN
- 9781137024374
Hardback
Condition: New
€ 127.73
€ 127.73
Hardback. Herbert Scarf is a distinguished economist and has made a number of extraordinarily significant contributions to economics, game theory and operations research. This work has generated a major research field in economics termed Applied General Equilibrium Analysis. This book comprises all his research articles and consists of four volumes. Editor(s): Yang, Zaifu. Num Pages: 261 pages, biography. BIC Classification: KCH; PBUD. Category: (P) Professional & Vocational. Dimension: 216 x 140 x 22. Weight in Grams: 486.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Palgrave Macmillan United Kingdom
- Number of pages
- 261
- Condition
- New
- SKU
- V9781137024404
- ISBN
- 9781137024404
Hardback
Condition: New
€ 128.05
€ 128.05
Hardback. Herbert Scarf is a distinguished economist and has made a number of extraordinarily significant contributions to economics, game theory and operations research. This work has generated a major research field in economics termed Applied General Equilibrium Analysis. This book comprises all his research articles and consists of four volumes. Editor(s): Yang, Zaifu. Num Pages: 243 pages, biography. BIC Classification: KCH; PBUD. Category: (P) Professional & Vocational. Dimension: 216 x 138 x 17. Weight in Grams: 431.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Palgrave Macmillan United Kingdom
- Number of pages
- 243
- Condition
- New
- SKU
- V9781137024435
- ISBN
- 9781137024435
Hardback
Condition: New
€ 127.66
€ 127.66
Hardback. Devoted to the computation of equilibria, fixed points and stationary points. Series: Theory and Decision Library C. Num Pages: 354 pages, biography. BIC Classification: KCA; PBUD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 20. Weight in Grams: 1510.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 354
- Condition
- New
- SKU
- V9780792383956
- ISBN
- 9780792383956
Hardback
Condition: New
€ 201.04
€ 201.04
Hardcover. Using Verilog models and test benches for implementing and explaining fault simulation and test generation algorithms, this book treats the concepts of testing and testability in digital systems, and also covers digital design practices and methodologies. Num Pages: 452 pages, 100 black & white illustrations, biography. BIC Classification: HP; PB; TJFC. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 25. Weight in Grams: 1011.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer
- Edition
- 2011th Edition
- Condition
- New
- SKU
- V9781441975478
- ISBN
- 9781441975478
Hardback
Condition: New
€ 150.55
€ 150.55