.png){kind=logo}
Computing
Results 26449 - 26472 of 30854
Computing
Paperback. Editor(s): Preneel, Bart; Rijmen, Vincent. Series: Lecture Notes in Computer Science. Num Pages: 408 pages, biography. BIC Classification: URD; URY. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 21. Weight in Grams: 1270.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 408
- Condition
- New
- SKU
- V9783540654742
- ISBN
- 9783540654742
Paperback
Condition: New
€ 72.36
€ 72.36
Paperback. Series: Communications in Computer and Information Science. Num Pages: 148 pages, biography. BIC Classification: UYQL. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 8. Weight in Grams: 242.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 148
- Condition
- New
- SKU
- V9783642041303
- ISBN
- 9783642041303
Paperback
Condition: New
€ 66.97
€ 66.97
State of the Art in Computer Graphics: Visualization and Modeling
. Ed(S): Rogers, David F.; Earnshaw, Rae
paperback. Editor(s): Rogers, David F.; Earnshaw, Rae. Num Pages: 373 pages, biography. BIC Classification: UML. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 574.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer United States
- Edition
- Softcover reprint of the original 1st ed. 1991
- Number of pages
- 373
- Condition
- New
- SKU
- V9781461287742
- ISBN
- 9781461287742
Paperback
Condition: New
€ 128.53
€ 128.53
Hardback. This book provides the framework, basic methods, rationale and advanced techniques for translating the behavior of children, adolescents, and parents into visible, traceable data. Introduces Gridware, a versatile visualization and data manipulation tool. Num Pages: 130 pages, biography. BIC Classification: PBUD; PSAN; TVB; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 9. Weight in Grams: 382.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 130
- Condition
- New
- SKU
- V9781461450061
- ISBN
- 9781461450061
Hardback
Condition: New
€ 138.37
€ 138.37
Paperback. This book provides the framework, basic methods, rationale and advanced techniques for translating the behavior of children, adolescents, and parents into visible, traceable data. Introduces Gridware, a versatile visualization and data manipulation tool. Num Pages: 144 pages, biography. BIC Classification: JMC; PBUD; PSAN; TVB; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 8. Weight in Grams: 232.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 144
- Condition
- New
- SKU
- V9781489991553
- ISBN
- 9781489991553
Paperback
Condition: New
€ 137.26
€ 137.26
Paperback. Adopting a state space approach to time series modelling, this volume aims to present a new, computer-orientated method for building models for vector-valued time series. Num Pages: 340 pages, 3 black & white illustrations, 1 black & white tables, biography. BIC Classification: KCH; PBT; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 19. Weight in Grams: 600.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 2nd ed. 1990
- Number of pages
- 340
- Condition
- New
- SKU
- V9783540528708
- ISBN
- 9783540528708
Paperback
Condition: New
€ 67.89
€ 67.89
Hardback. Provides information on heuristic state-space search for combinatorial optimization, one of the fundamental problems of computer science. Written for researchers in computer science, this book presupposes a familiarity with complexity theory, assuming that the reader is familiar with the basic concepts of random variables and recursive functions. Num Pages: 201 pages, biography. BIC Classification: PBWH; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 498.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 201
- Condition
- New
- SKU
- V9780387988320
- ISBN
- 9780387988320
Hardback
Condition: New
€ 132.09
€ 132.09
Paperback. This text demonstrates the newly developed Elementary Operations Algorithm (EOA). This is a systematic method for constructing a range of state-space realizations for 2-D systems. Series: Lecture Notes in Control and Information Sciences. Num Pages: 243 pages, biography. BIC Classification: TGP; THR; TJFM; UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 13. Weight in Grams: 354.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 243
- Condition
- New
- SKU
- V9781852334109
- ISBN
- 9781852334109
Paperback
Condition: New
€ 129.95
€ 129.95
Paperback. Num Pages: 201 pages, biography. BIC Classification: UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 201
- Condition
- New
- SKU
- V9781461271833
- ISBN
- 9781461271833
Paperback
Condition: New
€ 127.01
€ 127.01
Paperback. Editor(s): Muller-Olm, Markus; Seidl, Helmut. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 355 pages, 97 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 545.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 355
- Condition
- New
- SKU
- V9783319109350
- ISBN
- 9783319109350
Paperback
Condition: New
€ 67.24
€ 67.24
Paperback. Constitutes the proceedings of the 12th International Symposium on Static Analysis, SAS 2005, held in London, UK in August 2005. The papers address various aspects of static analysis, including program and systems verification, shape analysis and logic, termination analysis, security and safety, abstract interpretation and algorithms, and more. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 374 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 532.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 374
- Condition
- New
- SKU
- V9783540285847
- ISBN
- 9783540285847
Paperback
Condition: New
€ 71.69
€ 71.69
Paperback. Constitutes the refereed proceedings of the 13th International Symposium on Static Analysis, SAS 2006. This book addresses various aspects of static analysis including program and systems verification, shape analysis and logic, termination analysis, bug detection, compiler optimization, software maintenance, and security and safety. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 456 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 646.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 456
- Condition
- New
- SKU
- V9783540377566
- ISBN
- 9783540377566
Paperback
Condition: New
€ 68.61
€ 68.61
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