Science & Technology
Results 97489 - 97512 of 98310
Science & Technology
Paperback / so. Num Pages: black & white illustrations, bibliography. BIC Classification: TBC. Category: (G) General (US: Trade). Dimension: 244 x 170 x 4. Weight in Grams: 141.
- Format
- Paperback
- Publication date
- 1980
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Condition
- New
- SKU
- V9783531029962
- ISBN
- 9783531029962
Paperback
Condition: New
€ 91.59
€ 91.59
Paperback. Bestselling manifesto on how to improve the lives of the "bottom billion" through revolutions in technology. Num Pages: 432 pages, index, notes. BIC Classification: PDZ. Category: (G) General (US: Trade). Dimension: 214 x 142 x 29. Weight in Grams: 374.
- Publisher
- Simon & Schuster
- Format
- Paperback
- Publication date
- 2015
- Edition
- Reprint
- Condition
- New
- SKU
- V9781451616835
- ISBN
- 9781451616835
Paperback
Condition: New
€ 16.99€ 12.05
€ 16.99
€ 12.05
Paperback / so. Series: Ifu - Berichte Aus Dem Institut Fa1/4r Umformtechnik der Uni. Num Pages: black & white illustrations, bibliography. BIC Classification: TBC. Category: (G) General (US: Trade). Dimension: 210 x 148 x 6. Weight in Grams: 150.
- Format
- Paperback
- Publication date
- 1980
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540098829
- ISBN
- 9783540098829
Paperback
Condition: New
€ 91.78
€ 91.78
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
€ 181.86
€ 181.86
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
€ 188.24
€ 188.24
Abstraction Refinement for Large Scale Model Checking
Wang, Chao; Hachtel, Gary D. (University Of C...
Paperback. Series: Integrated Circuits and Systems. Num Pages: 193 pages, biography. BIC Classification: THR; TJFC; UGC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 11. Weight in Grams: 308.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 193
- Condition
- New
- SKU
- V9781489993953
- ISBN
- 9781489993953
Paperback
Condition: New
€ 150.62
€ 150.62
Abstraction Refinement for Large Scale Model Checking
Wang, Chao; Hachtel, Gary D. (University Of C...
Hardback. Considering both the size of digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. This book summarizes research on abstraction techniques for model checking large digital system. Series: Integrated Circuits and Systems. Num Pages: 179 pages, biography. BIC Classification: TJ. Category: (UU) Undergraduate. Dimension: 234 x 156 x 12. Weight in Grams: 1000.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 179
- Condition
- New
- SKU
- V9780387341552
- ISBN
- 9780387341552
Hardback
Condition: New
€ 122.48
€ 122.48
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
€ 182.09
€ 182.09
Hardback. Mancosu offers an original investigation of key notions in mathematics: abstraction and infinity, and their interaction. He gives a historical analysis of the theorizing of definitions by abstraction, and explores a novel approach to measuring the size of infinite sets, showing how this leads to deep mathematical and philosophical problems. Num Pages: 240 pages. BIC Classification: HPL; PBB. Category: (G) General (US: Trade). Dimension: 163 x 243 x 19. Weight in Grams: 492.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Oxford University Press United Kingdom
- Number of pages
- 240
- Condition
- New
- SKU
- V9780198746829
- ISBN
- 9780198746829
Hardback
Condition: New
€ 120.81
€ 120.81
Paperback. Abstracting Reality considers the relationship between digital technology and culture and their mutual influences on each other. Num Pages: 336 pages. BIC Classification: AC; G; TB. Category: (G) General (US: Trade). Dimension: 227 x 150 x 17. Weight in Grams: 454.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- University Press of America United States
- Number of pages
- 336
- Condition
- New
- SKU
- V9780761816683
- ISBN
- 9780761816683
Paperback
Condition: New
€ 99.54
€ 99.54
Paperback. Num Pages: 451 pages, 2 black & white illustrations, biography. BIC Classification: TBJ; TJFM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 23. Weight in Grams: 885.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 451
- Condition
- New
- SKU
- V9783540505297
- ISBN
- 9783540505297
Paperback
Condition: New
€ 142.36
€ 142.36
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
€ 63.51
€ 63.51
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
€ 63.43
€ 63.43
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
€ 63.79
€ 63.79
Paperback. Series: International Series of Numerical Mathematics. Num Pages: 423 pages, 1 black & white illustrations, biography. BIC Classification: PB. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 22. Weight in Grams: 733.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Basel Switzerland
- Edition
- Softcover reprint of the original 1st ed. 1969
- Number of pages
- 423
- Condition
- New
- SKU
- V9783034858717
- ISBN
- 9783034858717
Paperback
Condition: New
€ 64.27
€ 64.27
Hardback. Systematically treats the theory of groups generated by a conjugacy class of subgroups, satisfying certain generational properties on pairs of subgroups. For finite groups, this theory has been developed in the 1970s mainly by M Aschbacher, B Fischer and the author. It was extended to arbitrary groups in the 1990s by the author. Series: Monographs in Mathematics. Num Pages: 389 pages, biography. BIC Classification: PBG. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 747.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 389
- Condition
- New
- SKU
- V9783764365325
- ISBN
- 9783764365325
Hardback
Condition: New
€ 126.50
€ 126.50
Paperback. Series: Monographs in Mathematics. Num Pages: 402 pages, biography. BIC Classification: PBG. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 21. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Basel Switzerland
- Number of pages
- 402
- Condition
- New
- SKU
- V9783034875967
- ISBN
- 9783034875967
Paperback
Condition: New
€ 120.66
€ 120.66
Paperback. This book offers an overview of the theories of linear, semilinear and quasilinear abstract parabolic evolution equations. It also shows how to apply the abstract results to various models in the real world focusing on various self-organization models. Series: Springer Monographs in Mathematics. Num Pages: 599 pages, 6 black & white illustrations, biography. BIC Classification: PBF; PBKJ; PBW. Category: (G) General (US: Trade). Dimension: 235 x 155 x 30. Weight in Grams: 908.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 599
- Condition
- New
- SKU
- V9783642261794
- ISBN
- 9783642261794
Paperback
Condition: New
€ 131.19
€ 131.19
Hardcover. This book offers an overview of the theories of linear, semilinear and quasilinear abstract parabolic evolution equations. It also shows how to apply the abstract results to various models in the real world focusing on various self-organization models. Series: Springer Monographs in Mathematics. Num Pages: 599 pages, 6 black & white illustrations, biography. BIC Classification: PBKJ; PBWR; PSA. Category: (P) Professional & Vocational. Dimension: 168 x 242 x 39. Weight in Grams: 1046.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 581
- Format
- Hardback
- Publication date
- 2009
- Edition
- 2010th Edition
- Condition
- New
- SKU
- V9783642046308
- ISBN
- 9783642046308
Hardback
Condition: New
€ 150.66
€ 150.66
Paperback. Series: Synthese Library. Num Pages: 212 pages, biography. BIC Classification: GBC; HP; PDA; WM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1983
- Number of pages
- 212
- Condition
- New
- SKU
- V9789400969827
- ISBN
- 9789400969827
Paperback
Condition: New
€ 190.40
€ 190.40
Paperback. Contains a detailed treatment of some important parts of harmonic analysis on compact and locally compact abelian groups. This work aims at giving a monographic presentation of abstract harmonic analysis. It offers a many-sided outlook and leads up to modern developments. Series: Die Grundlehren der Mathematischen Wissenschaften. Num Pages: 781 pages, biography. BIC Classification: PBG; PBK. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 39. Weight in Grams: 1079.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. 1970. 2nd printing 1994
- Number of pages
- 781
- Condition
- New
- SKU
- V9783540583189
- ISBN
- 9783540583189
Paperback
Condition: New
€ 153.85
€ 153.85
Paperback. Series: Die Grundlehren der Mathematischen Wissenschaften. Num Pages: 534 pages, 17 black & white illustrations, biography. BIC Classification: PBKF; PD. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 27. Weight in Grams: 949.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2nd ed. 1979
- Number of pages
- 534
- Condition
- New
- SKU
- V9780387941905
- ISBN
- 9780387941905
Paperback
Condition: New
€ 142.75
€ 142.75
hardcover. Series: New Problems of Philosophy. Num Pages: 292 pages. BIC Classification: HPJ; HPK; PBB. Category: (G) General (US: Trade). Dimension: 234 x 156. Weight in Grams: 698.
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Taylor & Francis Ltd United Kingdom
- Number of pages
- 292
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9781138827585
- ISBN
- 9781138827585
Hardback
Condition: New
€ 191.16
€ 191.16
Hardcover. This book examines abstract convex analysis and presents the results of recent research, specifically on parametrizations of Minkowski type dualities and of conjugations of type Lau. It explains the main concepts through cases and detailed proofs. Series: Wiley-Interscience and Canadian Mathematics Series of Monographs and Texts. Num Pages: 492 pages, index. BIC Classification: PBK. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 243 x 168 x 32. Weight in Grams: 880.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- John Wiley & Sons Inc United States
- Edition
- 1st Edition
- Number of pages
- 492
- Condition
- New
- SKU
- V9780471160151
- ISBN
- 9780471160151
Hardback
Condition: New
€ 243.24
€ 243.24