Science & Technology »
Mathematics
Mathematics
Results 241 - 264 of 20130
Mathematics
Paperback. Constitutes the proceedings of the Second International Conference on Abstract State Machines, B and Z, which took place in Orford, QC, Canada, in February 2010. This book presents the 26 full papers that were reviewed and selected from 60 submissions. It also contains two invited talks and abstracts of 18 short papers. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 430 pages, 95 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 430
- Condition
- New
- SKU
- V9783642118104
- ISBN
- 9783642118104
Paperback
Condition: New
€ 65.49
€ 65.49
Paperback. Contains the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. Editor(s): Derrick, John; Fitzgerald, John S.; Gnesi, Stefania; Khurshid, Sarfraz; Leuschel, Michael; Reeves, Steve; Riccobene, Elvinia. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 393 pages, 133 black & white illustrations, biography. BIC Classification: PBD; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 554.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 393
- Condition
- New
- SKU
- V9783642308840
- ISBN
- 9783642308840
Paperback
Condition: New
€ 65.10
€ 65.10
paperback. Constitutes the proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. This title organizes the contributions in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network workshop. Series: Lecture Notes in Computer Science. Num Pages: 396 pages, biography. BIC Classification: PBCD; UMB; UMX; UMZ; UN. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 611.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2008th Edition
- Number of pages
- 396
- Condition
- New
- SKU
- V9783540876021
- ISBN
- 9783540876021
Paperback
Condition: New
€ 65.19
€ 65.19
Paperback. Series: Boston Studies in the Philosophy and History of Science. Num Pages: 432 pages, biography. BIC Classification: HB; HPK; JNU; PBX. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 22. Weight in Grams: 605.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 432
- Condition
- New
- SKU
- V9789048146444
- ISBN
- 9789048146444
Paperback
Condition: New
€ 187.07
€ 187.07
Abstraction, Refinement and Proof for Probabilistic Systems
Mciver, Annabelle; Morgan, Charles Carroll
Hardback. Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm. This title presents results of a large and integrated body of research in the area of 'quantitative' program logics. Series: Monographs in Computer Science. Num Pages: 408 pages, 63 black & white illustrations, 5 black & white tables, biography. BIC Classification: PBT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 1650.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 408
- Condition
- New
- SKU
- V9780387401157
- ISBN
- 9780387401157
Hardback
Condition: New
€ 194.25
€ 194.25
Abstraction, Refinement and Proof for Probabilistic Systems
Mciver, Annabelle; Morgan, Charles Carroll
paperback. Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Presents results of a large and integrated body of research in the area of 'quantitative' program logics. Series: Monographs in Computer Science. Num Pages: 408 pages, 63 black & white illustrations, 5 black & white tables, biography. BIC Classification: PBT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 617.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of hardcover 1st ed. 2005
- Number of pages
- 408
- Condition
- New
- SKU
- V9781441923127
- ISBN
- 9781441923127
Paperback
Condition: New
€ 186.89
€ 186.89
paperback. Num Pages: 478 pages, black & white illustrations, bibliography. BIC Classification: PBF; PBW; TJFM; UMZ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 25. Weight in Grams: 780.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Germany
- Edition
- 3. Aufl. 1988. Softcover reprint of the original 3
- Number of pages
- 478
- Condition
- New
- SKU
- V9783662055762
- ISBN
- 9783662055762
Paperback
Condition: New
€ 61.45
€ 61.45
Paperback. Useful methodology has been developed in accelerated testing. This work deals with the topic Accelerated Testing: Statistical Models, Test Plans, and Data Analyses. It is useful for practitioners. Series: Wiley Series in Probability and Statistics. Num Pages: 624 pages, black & white illustrations, figures. BIC Classification: PBT. Category: (P) Professional & Vocational. Dimension: 232 x 154 x 38. Weight in Grams: 864.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 624
- Condition
- New
- SKU
- V9780471697367
- ISBN
- 9780471697367
Paperback
Condition: New
€ 166.43
€ 166.43
Paperback. Accounting and Causal Effects builds on econometric foundations to address challenging accounting issues. These include linear, discrete choice, and nonparametric regression models, characterized by microeconomic fundamentals and equilibrium reporting choices. Series: Springer Series in Accounting Scholarship. Num Pages: 462 pages, 45 black & white tables, biography. BIC Classification: KCH; KF; PBT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 679.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 462
- Condition
- New
- SKU
- V9781461426516
- ISBN
- 9781461426516
Paperback
Condition: New
€ 187.66
€ 187.66
Hardback. Accuracy Verification Methods Series: Computational Methods in Applied Sciences. Num Pages: 368 pages, 75 black & white illustrations, biography. BIC Classification: PBKS; PDE; PHU; UYQ. Category: (P) Professional & Vocational. Dimension: 237 x 169 x 25. Weight in Grams: 686.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer Netherlands
- Number of pages
- 368
- Condition
- New
- SKU
- V9789400775800
- ISBN
- 9789400775800
Hardback
Condition: New
€ 124.00
€ 124.00
Paperback. This book presents recent trends and advances in the theory of directly computable error estimates (error indicators). It discusses the corresponding numerical algorithms in the context of various typical models in engineering and scientific computations. Series: Computational Methods in Applied Sciences. Num Pages: 368 pages, 75 black & white illustrations, biography. BIC Classification: PBKS; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 569.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 368
- Condition
- New
- SKU
- V9789402404982
- ISBN
- 9789402404982
Paperback
Condition: New
€ 122.77
€ 122.77
Paperback. Editor(s): Ullrich, Christian; Wolff Von Gudenberg, Jurgen. Series: Research Reports Esprit / Project 1072. Diamond. Num Pages: 234 pages, 6 black & white illustrations, biography. BIC Classification: PBKS; UMB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 242 x 170 x 13. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1989
- Number of pages
- 234
- Condition
- New
- SKU
- V9783540514770
- ISBN
- 9783540514770
Paperback
Condition: New
€ 64.18
€ 64.18
paperback. Series: Distinguished Dissertations. Num Pages: 184 pages, biography. BIC Classification: PBM; UGK; UML; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer United Kingdom
- Edition
- Softcover reprint of the original 1st ed. 2001
- Number of pages
- 184
- Condition
- New
- SKU
- V9781447110408
- ISBN
- 9781447110408
Paperback
Condition: New
€ 121.71
€ 121.71
Paperback. Editor(s): Daniels, B. K. Num Pages: 293 pages, biography. BIC Classification: PBT; TGB; WM. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 16. Weight in Grams: 459.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1987
- Number of pages
- 293
- Condition
- New
- SKU
- V9789401080507
- ISBN
- 9789401080507
Paperback
Condition: New
€ 185.83
€ 185.83
Acht- Und Neunstellige Tabellen zu den Elliptischen Funktionen / Eight...
Schuler, Max; Gebelein, Hans
Paperback. Num Pages: 296 pages, biography. BIC Classification: PB. Category: (G) General (US: Trade). Dimension: 279 x 210 x 17. Weight in Grams: 791.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1955
- Number of pages
- 296
- Condition
- New
- SKU
- V9783642489914
- ISBN
- 9783642489914
Paperback
Condition: New
€ 71.69
€ 71.69
Hardback. Series: Modern Acoustics and Signal Processing. Num Pages: 869 pages, 2 black & white illustrations, 355 colour illustrations, 4 black & white tables, biograph. BIC Classification: AV; PBWR; TGMD4; TTA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 46. Weight in Grams: 1466.
- Publisher
- Springer-Verlag New York Inc.
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9781493936779
- ISBN
- 9781493936779
Hardback
Condition: New
€ 417.77
€ 417.77
Paperback. Series: Mathematical Notes. Num Pages: 128 pages, 4 line illus. BIC Classification: PBKJ. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 158 x 235 x 11. Weight in Grams: 220.
- Publisher
- Princeton University Press
- Format
- Paperback
- Publication date
- 2015
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780691164502
- ISBN
- 9780691164502
Paperback
Condition: New
€ 51.99€ 37.23
€ 51.99
€ 37.23
Paperback. .
- Publisher
- Waldorf Publications
- Format
- Paperback
- Publication date
- 2014
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9781936367504
- ISBN
- 9781936367504
Paperback
Condition: New
€ 17.99€ 14.01
€ 17.99
€ 14.01
Hardback. Editor(s): Bellomo, Nicola; Degond, Pierre; Tadmor, Eitan. Series: Modeling and Simulation in Science, Engineering and Technology. Num Pages: 402 pages, 6 black & white illustrations, 94 colour illustrations, 91 colour tables, biography. BIC Classification: GPFC; PBW; PHS. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 402
- Condition
- New
- SKU
- V9783319499949
- ISBN
- 9783319499949
Hardback
Condition: New
€ 124.51
€ 124.51
Hardback. Celebrates the merits of Michael Otte as one of the most important founding fathers of mathematics education. This book provides different sources of knowledge based on Otte's insight that understanding the problems of mathematics education depends on means that have to be created and to be reflected from the perspectives of diverse disciplines. Editor(s): Hoffmann, Michael H.G. (Georgia Institute of Technology); Lenhard, Johannes; Seeger, Falk. Num Pages: 392 pages, biography. BIC Classification: PB. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 735.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 392
- Condition
- New
- SKU
- V9780387242699
- ISBN
- 9780387242699
Hardback
Condition: New
€ 193.61
€ 193.61
paperback. Editor(s): Hoffmann, Michael H.G. (Georgia Institute of Technology); Lenhard, Johannes; Seeger, Falk. Num Pages: 392 pages, biography. BIC Classification: PB. Category: (P) Professional & Vocational. Dimension: 156 x 235 x 21. Weight in Grams: 564.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer United States
- Edition
- Softcover reprint of hardcover 1st ed. 2005
- Number of pages
- 392
- Condition
- New
- SKU
- V9781441937117
- ISBN
- 9781441937117
Paperback
Condition: New
€ 133.97
€ 133.97
Paperback. Activity-Based Statistics helps build real statistical understanding through a set of innovative hands-on activities that can be used each day in conjunction with other texts. The second edition continues to emphasize discovery by motivating readers to apply the skills they have learned to discover the everyday relevance of statistics. Num Pages: 258 pages, black & white illustrations. BIC Classification: PB. Category: (P) Professional & Vocational. Dimension: 253 x 203 x 16. Weight in Grams: 528.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- John Wiley & Sons Inc United Kingdom
- Edition
- 2nd Edition
- Number of pages
- 258
- Condition
- New
- SKU
- V9780470412091
- ISBN
- 9780470412091
Paperback
Condition: New
€ 66.05
€ 66.05
Paperback. Editor(s): MacNeill, I. B.; Umphrey, G. J. Series: The Western Ontario Series in Philosophy of Science. Num Pages: 252 pages, biography. BIC Classification: PBF; PBT; PBW. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 421.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1987
- Number of pages
- 252
- Condition
- New
- SKU
- V9789401086271
- ISBN
- 9789401086271
Paperback
Condition: New
€ 122.15
€ 122.15
hardcover. This is a new account of mathematics-as-language that challenges the coherence of the accepted idea of infinity and suggests a startlingly new conception of counting. Num Pages: 224 pages. BIC Classification: PBB; PDA. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 237 x 147 x 20. .
- Format
- Hardback
- Publication date
- 1993
- Publisher
- Stanford University Press United States
- Number of pages
- 224
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9780804721271
- ISBN
- 9780804721271
Hardback
Condition: New
€ 145.67
€ 145.67