Science & Technology
Results 113921 - 113940 of 114823
Science & Technology
Paperback / so. Num Pages: black & white illustrations, colour illustrations, black & white tables, bibliography. BIC Classification: KJMV4; RBP; TN; TQSW. Category: (G) General (US: Trade). Dimension: 244 x 170 x 10. Weight in Grams: 290.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Vieweg United States
- Condition
- New
- SKU
- V9783658010393
- ISBN
- 9783658010393
Paperback
Condition: New
€ 56.72
€ 56.72
Paperback / so. Num Pages: 36 pages, black & white illustrations, bibliography. BIC Classification: TQ. Category: (G) General (US: Trade). Dimension: 254 x 178 x 2. Weight in Grams: 86.
- Format
- Paperback
- Publication date
- 1913
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 36
- Condition
- New
- SKU
- V9783662344149
- ISBN
- 9783662344149
Paperback
Condition: New
€ 65.82
€ 65.82
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. 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
€ 60.06
€ 60.06
Paperback. Num Pages: 202 pages, black & white illustrations, bibliography. BIC Classification: PHD; TJFM. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 12. Weight in Grams: 358.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 2nd ed. 1983
- Number of pages
- 202
- Condition
- New
- SKU
- V9783642932335
- ISBN
- 9783642932335
Paperback
Condition: New
€ 52.06
€ 52.06
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
€ 92.05
€ 92.05
Paperback. Num Pages: 643 pages, 52 black & white tables. BIC Classification: TJF; UGC; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 894.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 643
- Condition
- New
- SKU
- V9783642796906
- ISBN
- 9783642796906
Paperback
Condition: New
€ 71.21
€ 71.21
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
€ 181.65
€ 181.65
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.77
€ 142.77
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.36
€ 63.36
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.97
€ 63.97
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