Computing
Results 6193 - 6216 of 28599
Computing
Rigorous Software Development: An Introduction to Program Verification...
Almeida, José Bacelar, Frade, Maria João, P...
Paperback. This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering. It focuses on two approaches: the Coq proof assistant and the B suite. Series: Undergraduate Topics in Computer Science. Num Pages: 320 pages, 52 black & white illustrations, biography. BIC Classification: UMZT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 420.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer
- Edition
- 2011th Edition
- Condition
- New
- SKU
- V9780857290175
- ISBN
- 9780857290175
Paperback
Condition: New
€ 50.33
€ 50.33
Hardback. A Rigorous Semantics for BPMN 2.0 Process Diagrams Num Pages: 245 pages, 79 black & white illustrations, 1 colour illustrations, biography. BIC Classification: JPP; KJQ; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 550.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 245
- Condition
- New
- SKU
- V9783319099309
- ISBN
- 9783319099309
Hardback
Condition: New
€ 68.13
€ 68.13
Paperback. This Festschrift volume, published in honor of Egon Borger, contains 14 papers from a Dagstuhl Seminar, that cover a wide range of applied research, spanning from theoretical and methodological foundations to practical applications. Series: Lecture Notes in Computer Science. Num Pages: 251 pages, biography. BIC Classification: PBKS; UMA; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 156 x 15. Weight in Grams: 388.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 251
- Condition
- New
- SKU
- V9783642114465
- ISBN
- 9783642114465
Paperback
Condition: New
€ 66.97
€ 66.97
Hardback. Offers an introduction to underlying techniques, as well as a compendium of theory and a guide to the author's Fortran 90 software for nonlinear algebraic systems and global, constrained optimization with automatic result verification. This book also contains non-traditional ideas concerning non-smooth optimization. Series: Nonconvex Optimization and Its Applications. Num Pages: 280 pages, biography. BIC Classification: PBKJ; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 576.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 280
- Condition
- New
- SKU
- V9780792342380
- ISBN
- 9780792342380
Hardback
Condition: New
€ 199.54
€ 199.54
Paperback. Series: Nonconvex Optimization and Its Applications. Num Pages: 280 pages, biography. BIC Classification: KJT; PBU; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 438.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 1st ed. Softcover of orig. ed. 1996
- Number of pages
- 280
- Condition
- New
- SKU
- V9781441947628
- ISBN
- 9781441947628
Paperback
Condition: New
€ 194.05
€ 194.05
Paperback. Series: Springer Series in Geomechanics and Geoengineering. Num Pages: 342 pages, 245 black & white illustrations, 62 colour illustrations, biography. BIC Classification: TNCC; TNK; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 528.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 342
- Condition
- New
- SKU
- V9783662520949
- ISBN
- 9783662520949
Paperback
Condition: New
€ 227.38
€ 227.38
Paperback. Proceedings of a conference held in Traverse City, Michigan, June 14-17, 1998 Editor(s): Thorpe, M. F.; Duxbury, P. M. Series: Fundamental Materials Research. Num Pages: 432 pages, 85 black & white illustrations, biography. BIC Classification: PBD; PHF; PHU; PSB; UY. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 23. Weight in Grams: 846.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 432
- Condition
- New
- SKU
- V9781475786293
- ISBN
- 9781475786293
Paperback
Condition: New
€ 285.21
€ 285.21
Hardback. Proceedings of a conference held in Traverse City, Michigan, June 14-17, 1998 Editor(s): Thorpe, M. F.; Duxbury, P. M. Series: Fundamental Materials Research. Num Pages: 432 pages, 85 black & white illustrations, biography. BIC Classification: TGMD; UMB; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 254 x 178 x 25. Weight in Grams: 1770.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Springer Science+Business Media United States
- Number of pages
- 432
- Condition
- New
- SKU
- V9780306461156
- ISBN
- 9780306461156
Hardback
Condition: New
€ 258.01
€ 258.01
Paperback. Rightshore(R) is about organizing the distributed delivery process that embraces on-site, nearshore and offshore services. This book describes successful global delivery models utilizing industrialized methods to deliver SAP(R) projects from India. Editor(s): Hendel, Anja; Messner, Wolfgang; Thun, Frank. Num Pages: 309 pages, biography. BIC Classification: KJMV6; KJQ; KJU; UMZ; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 17. Weight in Grams: 480.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 309
- Condition
- New
- SKU
- V9783642443831
- ISBN
- 9783642443831
Paperback
Condition: New
€ 67.12
€ 67.12
Hardback. Riemannian Computing in Computer Vision Editor(s): Srivastava, Anuj; Turaga, Pavan K. Num Pages: 397 pages, 22 black & white illustrations, 66 colour illustrations, 16 black & white tables, biograp. BIC Classification: PBW; TTBM; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 760.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 397
- Condition
- New
- SKU
- V9783319229560
- ISBN
- 9783319229560
Hardback
Condition: New
€ 195.91
€ 195.91
paperback. Series: Computational Imaging and Vision. Num Pages: 226 pages, biography. BIC Classification: MMP; PBMP; PHD; PNR; UGN. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 12. Weight in Grams: 401.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of hardcover 1st ed. 1996
- Number of pages
- 226
- Condition
- New
- SKU
- V9789048147618
- ISBN
- 9789048147618
Paperback
Condition: New
€ 127.78
€ 127.78
Hardback. Providing a thorough development of ridges and their application to image and data analysis, this includes chapters on the formal ridge definitions in any geometric setting, and a chapter on the numerical implementation, and applications chapter covers: medical image analysis, molecular modeling, and analysis of fluid flow. Series: Computational Imaging and Vision. Num Pages: 226 pages, biography. BIC Classification: PBT; UYQV. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 297 x 210 x 14. Weight in Grams: 504.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 226
- Condition
- New
- SKU
- V9780792342687
- ISBN
- 9780792342687
Hardback
Condition: New
€ 132.14
€ 132.14
Paperback. Rick Sammon leads us through twenty step-by-step workshops on how to edit our photographs using the most popular imaging software available. Num Pages: 320 pages, 600 color illustrations; CD-ROM. BIC Classification: UGP. Category: (G) General (US: Trade). Dimension: 254 x 203 x 15. Weight in Grams: 780.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- WW Norton & Co United States
- Number of pages
- 320
- Condition
- New
- SKU
- V9780393326680
- ISBN
- 9780393326680
Paperback
Condition: New
€ 32.99€ 27.99
€ 32.99
€ 27.99
Ricci Flow for Shape Analysis and Surface Registration
Dorsett, Donaley; Zeng, Wei; Gu, Xianfeng Dav...
Paperback. Series: SpringerBriefs in Mathematics. Num Pages: 150 pages, 20 black & white illustrations, 49 colour illustrations, 15 black & white tables, biograp. BIC Classification: PBKS; PBMW; UYQV. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 290.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 150
- Condition
- New
- SKU
- V9781461487807
- ISBN
- 9781461487807
Paperback
Condition: New
€ 93.06
€ 93.06
Book. This all-new practice exams book features 100+ hands-on labs AND three virtual machines to help candidates prepare for and pass both the Red Hat Certified System Administrator and Certified Engineer exams. Num Pages: 320 pages, illustrations. BIC Classification: ULL; UQ; UTD. Category: (G) General (US: Trade). Dimension: 230 x 187 x 20. Weight in Grams: 656.
- Publisher
- McGraw-Hill Education - Europe United States
- Number of pages
- 333
- Format
- Paperback
- Publication date
- 2012
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780071801607
- ISBN
- 9780071801607
Paperback
Condition: New
€ 43.99€ 35.11
€ 43.99
€ 35.11
Rfid-Wsn Integrated Architecture for Energy and Delay- Aware Routing
Ahmed, Jameel; Siyal, Mohammed Yakoob; Tayyab...
Paperback. Series: SpringerBriefs in Applied Sciences and Technology. Num Pages: 101 pages, 14 black & white illustrations, 22 colour illustrations, biography. BIC Classification: THRD; TJK; UT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 6. Weight in Grams: 174.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Verlag, Singapore Singapore
- Number of pages
- 101
- Condition
- New
- SKU
- V9789812874139
- ISBN
- 9789812874139
Paperback
Condition: New
€ 75.29
€ 75.29
Paperback. Constitutes the refereed post-workshop proceedings of the 7th International Workshop Radio Frequency Identification: Security and Privacy Issues (RFIDSec) 2011, held in Amherst, Massachusetts, USA, in June 2011. Editor(s): Juels, Ari; Paar, Christof. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 260 pages, 50 black & white illustrations, biography. BIC Classification: TJKR; URY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 320.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 260
- Condition
- New
- SKU
- V9783642252853
- ISBN
- 9783642252853
Paperback
Condition: New
€ 66.18
€ 66.18
Paperback. This book details RFID security and privacy systems technology. It also examines the problems currently being faced by those working in the field and introduces a comprehensive framework, including required protocols for operation. Series: Lecture Notes in Electrical Engineering. Num Pages: 280 pages, biography. BIC Classification: UYQS; UYS; UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 402.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2008
- Number of pages
- 280
- Condition
- New
- SKU
- V9783642097928
- ISBN
- 9783642097928
Paperback
Condition: New
€ 194.05
€ 194.05
Hardback. This book details RFID security and privacy systems technology. It also examines the problems currently being faced by those working in the field and introduces a comprehensive framework, including required protocols for operation. Series: Lecture Notes in Electrical Engineering. Num Pages: 280 pages, biography. BIC Classification: UYQS; UYS; UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 1270.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 280
- Condition
- New
- SKU
- V9783540790754
- ISBN
- 9783540790754
Hardback
Condition: New
€ 199.54
€ 199.54
Paperback. Editor(s): Kitsos, Paris; Zhang, Yan. Num Pages: 446 pages, 176 black & white illustrations, 41 black & white tables, biography. BIC Classification: TJFC; TJKR; UKN; URY; UYS. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 694.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 1st ed. Softcover of orig. ed. 2008
- Number of pages
- 446
- Condition
- New
- SKU
- V9781441945570
- ISBN
- 9781441945570
Paperback
Condition: New
€ 195.64
€ 195.64
Hardback. Series: Analog Circuits and Signal Processing. Num Pages: 171 pages, 19 black & white illustrations, 61 colour illustrations, 57 colour tables, biography. BIC Classification: TJF; TJKR; UR; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 461.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 171
- Condition
- New
- SKU
- V9783319475448
- ISBN
- 9783319475448
Hardback
Condition: New
€ 127.73
€ 127.73
Hardback. RFID Security - Techniques, Protocols and System-on-chip Design Editor(s): Kitsos, Paris; Zhang Yan. Num Pages: 446 pages, 176 black & white illustrations, 41 black & white tables, biography. BIC Classification: UTN. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 813.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 446
- Condition
- New
- SKU
- V9780387764801
- ISBN
- 9780387764801
Hardback
Condition: New
€ 196.75
€ 196.75
Paperback. The authors of this book clearly explain the potential advantages of using RFID technology in a modern manufacturing and supply chain context. Areas of emphasis include integration of RFID data into legacy IT architectures, and cost-benefit considerations. Num Pages: 163 pages, 47 black & white illustrations, biography. BIC Classification: TGPC; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 9. Weight in Grams: 284.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2008
- Number of pages
- 163
- Condition
- New
- SKU
- V9783642095313
- ISBN
- 9783642095313
Paperback
Condition: New
€ 66.95
€ 66.95
Hardback. The authors of this book clearly explain the potential advantages of using RFID technology in a modern manufacturing and supply chain context. Areas of emphasis include integration of RFID data into legacy IT architectures, and cost-benefit considerations. Num Pages: 163 pages, 47 black & white illustrations, biography. BIC Classification: TGPC; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 432.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 163
- Condition
- New
- SKU
- V9783540764533
- ISBN
- 9783540764533
Hardback
Condition: New
€ 66.97
€ 66.97