.png){kind=logo}
Science & Technology
Results 112873 - 112896 of 113709
Science & Technology
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. 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
€ 68.00
€ 68.00
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: 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
€ 204.32
€ 204.32
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
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
€ 165.11
€ 165.11
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
€ 153.10
€ 153.10
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
€ 194.29
€ 194.29
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
€ 250.28
€ 250.28
Abstract Algebra: Structure and Application (Springer Undergraduate Te...
Finston, David, Morandi, Patrick
Hardcover. Abstract Algebra Num Pages: 187 pages, 45 black & white illustrations, biography. BIC Classification: PBF; PBWH. Category: (P) Professional & Vocational. Dimension: 260 x 181 x 16. Weight in Grams: 544.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Birkhäuser
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9783319044972
- ISBN
- 9783319044972
Hardback
Condition: New
€ 79.10
€ 79.10
Hardback. .
- Publisher
- Apple Academic Press Inc.
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781482250060
- ISBN
- 9781482250060
Hardback
Condition: New
€ 114.34
€ 114.34