.png){kind=logo}
Computing
Results 26421 - 26440 of 30798
Computing
Paperback. This text constitutes the proceedings of the 5th International Symposium on Static Analysis held in September 1998. The papers presented are organized into topical sections on data flow analysis, logic programming, concurrency, abstract domains, partial evaluation, type inference and optimization. Editor(s): Levi, Giorgio. Series: Lecture Notes in Computer Science. Num Pages: 404 pages, biography. BIC Classification: UM; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 565.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 404
- Condition
- New
- SKU
- V9783540650140
- ISBN
- 9783540650140
Paperback
Condition: New
€ 72.24
€ 72.24
Paperback. Constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008. This book addresses various aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, and data flow analysis. Editor(s): Alpuente, Maria; Vidal, German. Series: Lecture Notes in Computer Science. Num Pages: 389 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 605.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 389
- Condition
- New
- SKU
- V9783540691631
- ISBN
- 9783540691631
Paperback
Condition: New
€ 67.95
€ 67.95
Paperback. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 372 pages, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 569.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 372
- Condition
- New
- SKU
- V9783642032363
- ISBN
- 9783642032363
Paperback
Condition: New
€ 67.72
€ 67.72
Paperback. Editor(s): Yahav, Eran. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 399 pages, biography. BIC Classification: UGK; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 611.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 399
- Condition
- New
- SKU
- V9783642237010
- ISBN
- 9783642237010
Paperback
Condition: New
€ 67.99
€ 67.99
Paperback. Constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. Editor(s): Mine, Antoine; Schmidt, David. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 468 pages, 153 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 657.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 468
- Condition
- New
- SKU
- V9783642331244
- ISBN
- 9783642331244
Paperback
Condition: New
€ 68.68
€ 68.68
Paperback. Editor(s): Logozzo, Francesco; Fahndrich, Manuel. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 509 pages, 130 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 777.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 509
- Condition
- New
- SKU
- V9783642388552
- ISBN
- 9783642388552
Paperback
Condition: New
€ 69.07
€ 69.07
Paperback. Editor(s): Rival, Xavier. Series: Lecture Notes in Computer Science. Num Pages: 521 pages, 175 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 27. Weight in Grams: 795.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 521
- Condition
- New
- SKU
- V9783662534120
- ISBN
- 9783662534120
Paperback
Condition: New
€ 69.19
€ 69.19
The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc. Editor(s): Boulanger, Jean-Louis. Num Pages: 346 pages, Illustrations. BIC Classification: UMZ. Category: (G) General (US: Trade). Dimension: 241 x 154 x 24. Weight in Grams: 654.
- Publication date
- 2011
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Number of pages
- 346
- Condition
- New
- SKU
- V9781848213203
- ISBN
- 9781848213203
Paperback
Condition: New
€ 203.69
€ 203.69
paperback. Constitutes the proceedings of the 14th International Symposium on Static Analysis, SAS 2007, held in Kongens Lyngby, Denmark in August 2007 - co-located with LOPSTR 2007, the International Symposium on Logic-based Program Synthesis and Transformation and PLID 2007, the International Workshop on Programming Language Interference and Dependence. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 480 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 679.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer Germany
- Edition
- 2007th Edition
- Number of pages
- 480
- Condition
- New
- SKU
- V9783540740605
- ISBN
- 9783540740605
Paperback
Condition: New
€ 68.84
€ 68.84
Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, F...
. Ed(S): Blazy, Sandrine; Jensen, Thomas
paperback. Editor(s): Blazy, Sandrine; Jensen, Thomas. Series: Lecture Notes in Computer Science. Num Pages: 349 pages, 90 black & white illustrations, biography. BIC Classification: UMZ; UR; UYA; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 539.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Germany
- Edition
- 1st ed. 2015
- Number of pages
- 349
- Condition
- New
- SKU
- V9783662482872
- ISBN
- 9783662482872
Paperback
Condition: New
€ 67.21
€ 67.21
Hardcover. Provides comprehensive treatment of the theory of both static and dynamic neural networks. Theoretical concepts are illustrated by reference to practical examples Includes end-of-chapter exercises and end-of-chapter exercises. An Instructor Support FTP site is available from the Wiley editorial department. Num Pages: 752 pages, Illustrations. BIC Classification: UYQN. Category: (P) Professional & Vocational. Dimension: 236 x 166 x 40. Weight in Grams: 1166.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 752
- Condition
- New
- SKU
- V9780471219484
- ISBN
- 9780471219484
Hardback
Condition: New
€ 257.93
€ 257.93
Paperback. Num Pages: 113 pages, biography. BIC Classification: THR; TJFC; UGC. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 7. Weight in Grams: 213.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2004
- Number of pages
- 113
- Condition
- New
- SKU
- V9781475779493
- ISBN
- 9781475779493
Paperback
Condition: New
€ 126.19
€ 126.19
Paperback. This reference on static timing analysis for semiconductors proceeds from simple to complex and covers such topics as cell timing and power modeling, delay calculation and crosstalk. Each topic includes theoretical background and detailed examples. Num Pages: 572 pages, 225 black & white illustrations, 10 black & white tables, biography. BIC Classification: TJFC; UGC. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 896.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 572
- Condition
- New
- SKU
- V9781441947154
- ISBN
- 9781441947154
Paperback
Condition: New
€ 230.15
€ 230.15
Paperback. Translator(s): Evseev, E.; Romodanova, K. Series: Foundations of Engineering Mechanics. Num Pages: 399 pages, 23 black & white illustrations, biography. BIC Classification: PHD; TG; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 617.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2000
- Number of pages
- 399
- Condition
- New
- SKU
- V9783642536465
- ISBN
- 9783642536465
Paperback
Condition: New
€ 128.81
€ 128.81
Hardcover.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2013th Edition
- Number of pages
- 298
- Condition
- New
- SKU
- V9781447151098
- ISBN
- 9781447151098
Hardback
Condition: New
€ 127.52
€ 127.52
paperback. Num Pages: black & white illustrations, bibliography. BIC Classification: TBC; TGB; UB; UY. Category: (G) General (US: Trade). Dimension: 244 x 170 x 13. Weight in Grams: 390.
- Format
- Paperback
- Publication date
- 1948
- Publisher
- Springer Austria
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9783211800515
- ISBN
- 9783211800515
Paperback
Condition: New
€ 72.82
€ 72.82
Paperback / so. Series: Wissenschaftliche Reihe Fahrzeugtechnik Universitat Stuttgar. Num Pages: black & white illustrations, colour illustrations, black & white tables, colour tables, bibliography. BIC Classification: TBC; TRC; UYM. Category: (G) General (US: Trade). Dimension: 210 x 148 x 11. Weight in Grams: 251.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer Vieweg United States
- Condition
- New
- SKU
- V9783658127800
- ISBN
- 9783658127800
Paperback
Condition: New
€ 89.04
€ 89.04
Hardback. Editor(s): Frigessi, Arnoldo; Buhlmann, Peter; Glad, Ingrid K.; Richardson, Sylvia; Vannucci, Marina; Langaas, Mette. Series: Abel Symposia. Num Pages: 318 pages, 46 black & white illustrations, 19 colour illustrations, 42 colour tables, biography. BIC Classification: PBKS; PBT; PSD; UFM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 643.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 318
- Condition
- New
- SKU
- V9783319270975
- ISBN
- 9783319270975
Hardback
Condition: New
€ 195.18
€ 195.18
Hardback. This textbook presents the design and analysis of experiments that comprise the aspects of classical theory for continuous response, modern procedures for categorical response, and especially for correlated categorical response. Series: Springer Texts in Statistics. Num Pages: 633 pages, biography. BIC Classification: MBNS; PBT; PSA; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 34. Weight in Grams: 1061.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 3rd ed. 2010
- Number of pages
- 633
- Condition
- New
- SKU
- V9781441911476
- ISBN
- 9781441911476
Hardback
Condition: New
€ 198.07
€ 198.07
Paperback. This textbook presents the design and analysis of experiments that comprise the aspects of classical theory for continuous response, modern procedures for categorical response, and especially for correlated categorical response. Series: Springer Texts in Statistics. Num Pages: 633 pages, biography. BIC Classification: PBT; PSA; PSD; UY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 33. Weight in Grams: 961.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 3 Rev ed
- Number of pages
- 633
- Condition
- New
- SKU
- V9781489983398
- ISBN
- 9781489983398
Paperback
Condition: New
€ 197.50
€ 197.50