.png){kind=logo}
Science & Technology
Results 103041 - 103060 of 103829
Science & Technology
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. 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 / 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: 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
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
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 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 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
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
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. 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. 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. 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. 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
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
€ 135.65
€ 135.65
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
€ 129.37
€ 129.37
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
€ 140.69
€ 140.69
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
€ 161.60
€ 161.60
Paperback. Series: Die Grundlehren der Mathematischen Wissenschaften. Num Pages: 519 pages, 1 black & white illustrations, biography. BIC Classification: JNU; PBF; PBK. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 27. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 1963
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1963
- Number of pages
- 519
- Condition
- New
- SKU
- V9783662393581
- ISBN
- 9783662393581
Paperback
Condition: New
€ 129.80
€ 129.80
Paperback. Series: Grundlehren der Mathematischen Wissenschaften. Num Pages: 783 pages, biography. BIC Classification: PBKD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 40. Weight in Grams: 1187.
- Format
- Paperback
- Publication date
- 1970
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2 Rev ed
- Number of pages
- 783
- Condition
- New
- SKU
- V9783662245958
- ISBN
- 9783662245958
Paperback
Condition: New
€ 165.83
€ 165.83