Science & Technology
Results 801 - 820 of 104994
Science & Technology
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
€ 68.80
€ 68.80
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
€ 68.32
€ 68.32
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
€ 67.89
€ 67.89
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
€ 152.69
€ 152.69
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
€ 105.58
€ 105.58
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
€ 195.46
€ 195.46
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
€ 131.32
€ 131.32
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
€ 160.96
€ 160.96
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
€ 201.97
€ 201.97
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
€ 195.13
€ 195.13
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
€ 75.95
€ 75.95
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
€ 98.41
€ 98.41
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
€ 55.47
€ 55.47
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
€ 64.02
€ 64.02
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
€ 17.99€ 13.09
€ 17.99
€ 13.09
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
€ 70.18
€ 70.18
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
€ 60.45
€ 60.45
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
€ 98.14
€ 98.14
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
€ 70.73
€ 70.73
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
€ 56.10
€ 56.10