Science & Technology
Results 113929 - 113952 of 114840
Science & Technology
Paperback / so. Num Pages: 152 pages, black & white illustrations, bibliography. BIC Classification: AKP; TBC; TBD; TD. Category: (G) General (US: Trade). Dimension: 244 x 170 x 8. Weight in Grams: 259.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 3
- Number of pages
- 152
- Condition
- New
- SKU
- V9783540608325
- ISBN
- 9783540608325
Paperback
Condition: New
€ 77.13
€ 77.13
Paperback / so. Num Pages: black & white illustrations, bibliography. BIC Classification: TBC; TD. Category: (G) General (US: Trade). Dimension: 234 x 156 x 8. Weight in Grams: 204.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Condition
- New
- SKU
- V9783528051242
- ISBN
- 9783528051242
Paperback
Condition: New
€ 97.15
€ 97.15
Paperback / so. Num Pages: 66 pages, black & white illustrations, bibliography. BIC Classification: TBC. Category: (G) General (US: Trade). Dimension: 234 x 156 x 4. Weight in Grams: 118.
- Format
- Paperback
- Publication date
- 1955
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 66
- Condition
- New
- SKU
- V9783540019497
- ISBN
- 9783540019497
Paperback
Condition: New
€ 65.97
€ 65.97
Paperback / so. Series: Schriftenreihe Des A-Sterreichischen Wasserwirtschaftsverban. Num Pages: black & white illustrations, bibliography. BIC Classification: TBC. Category: (G) General (US: Trade). Dimension: 210 x 148 x 3. Weight in Grams: 68.
- Format
- Paperback
- Publisher
- Springer Verlag GmbH Austria
- Condition
- New
- SKU
- V9783211803172
- ISBN
- 9783211803172
Paperback
Condition: New
€ 65.69
€ 65.69
Paperback / so. Editor(s): Poppinghaus, Klaus; Schneider, W; Fresenius, W. Num Pages: black & white illustrations, bibliography. BIC Classification: RNK; TNKH; TQ. Category: (G) General (US: Trade). Dimension: 234 x 156 x 56. Weight in Grams: 1533.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2
- Condition
- New
- SKU
- V9783662055786
- ISBN
- 9783662055786
Paperback
Condition: New
€ 158.06
€ 158.06
Paperback / so. Editor(s): Voigtlander, Gottfried. Num Pages: black & white illustrations, bibliography. BIC Classification: TBC; TQ. Category: (G) General (US: Trade). Dimension: 234 x 156 x 17. Weight in Grams: 440.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Vieweg+teubner Verlag United States
- Condition
- New
- SKU
- V9783815435151
- ISBN
- 9783815435151
Paperback
Condition: New
€ 52.41
€ 52.41
Paperback / so. Num Pages: black & white illustrations, bibliography. BIC Classification: TQ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 5. Weight in Grams: 172.
- Format
- Paperback
- Publication date
- 1914
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783662344132
- ISBN
- 9783662344132
Paperback
Condition: New
€ 66.33
€ 66.33
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 / 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