.png){kind=logo}
Computing
Results 28081 - 28100 of 28325
Computing
Hardback. Covers the methodology and techniques of constrained verification. This title relates constrained verification with the technology called assertion - based design. It discusses and clarifies language issues, critical to both the above, which helps the implementation of these languages. Num Pages: 254 pages, 72 black & white illustrations, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 1220.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 254
- Condition
- New
- SKU
- V9780387259475
- ISBN
- 9780387259475
Hardback
Condition: New
€ 132.81
€ 132.81
Paperback. Num Pages: 254 pages, 72 black & white illustrations, biography. BIC Classification: TJFC; UGC; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 421.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 1st ed. Softcover of orig. ed. 2006
- Number of pages
- 254
- Condition
- New
- SKU
- V9781441938527
- ISBN
- 9781441938527
Paperback
Condition: New
€ 127.73
€ 127.73
Hardcover. Editor(s): Dai, Yuan-Shun; Pan, Yi; Raje, Rajeev. Num Pages: 322 pages, tables & charts. BIC Classification: UYFP. Category: (P) Professional & Vocational. Dimension: 262 x 188 x 23. Weight in Grams: 754.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 322
- Condition
- New
- SKU
- V9781600212024
- ISBN
- 9781600212024
Hardback
Condition: New
€ 205.55€ 140.92
€ 205.55
€ 140.92
Paperback. Editor(s): Zhang, Yuan-Ting. Series: IFMBE Proceedings. Num Pages: 384 pages, 322 black & white illustrations, biography. BIC Classification: MBG; MQW; TJK; UBH. Category: (P) Professional & Vocational. Dimension: 280 x 210 x 20. Weight in Grams: 944.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 384
- Condition
- New
- SKU
- V9783319030043
- ISBN
- 9783319030043
Paperback
Condition: New
€ 196.77
€ 196.77
Hardback. Series: Wireless Networks. Num Pages: 109 pages, 26 black & white illustrations, 15 colour illustrations, biography. BIC Classification: TJK; TNH; UKN. Category: (P) Professional & Vocational. Dimension: 163 x 245 x 14. Weight in Grams: 342.
- Publisher
- Springer International Publishing AG
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2017
- Condition
- New
- SKU
- V9783319473512
- ISBN
- 9783319473512
Hardback
Condition: New
€ 127.78
€ 127.78
Paperback. Includes the extended and revised versions of a set of selected papers from the 2011 2nd International Conference on Education and Educational Technology ("EET 2011") held in Chengdu, China, October 1-2, 2011. Editor(s): Wang, Yuanzhi. Series: Advances in Intelligent and Soft Computing (Closed). Num Pages: 948 pages, 109 black & white illustrations, biography. BIC Classification: JNK; JNV; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 48. Weight in Grams: 1454.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 948
- Condition
- New
- SKU
- V9783642247712
- ISBN
- 9783642247712
Paperback
Condition: New
€ 620.69
€ 620.69
Paperback. Includes extended and revised versions of a set of selected papers from the 2011 2nd International Conference on Education and Educational Technology ("EET 2011") held in Chengdu, China, October 1-2, 2011. Editor(s): Wang, Yuanzhi. Series: Advances in Intelligent and Soft Computing (Closed). Num Pages: 860 pages, 91 black & white illustrations, biography. BIC Classification: JNK; JNV; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 44. Weight in Grams: 1212.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 860
- Condition
- New
- SKU
- V9783642247743
- ISBN
- 9783642247743
Paperback
Condition: New
€ 376.50
€ 376.50
Hardback. Series: Brain Informatics and Health. Num Pages: 60 black & white illustrations, biography. BIC Classification: MMPH; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer Verlag, Singapore Singapore
- Condition
- New
- SKU
- V9789811040252
- ISBN
- 9789811040252
Hardback
Condition: New
€ 67.48
€ 67.48
hardcover. Series: Springer Theses. Num Pages: 114 pages, 5 black & white illustrations, 18 colour illustrations, biography. BIC Classification: TTBM; UMB; UNF; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 345.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2015th Edition
- Number of pages
- 114
- Condition
- New
- SKU
- V9783662445259
- ISBN
- 9783662445259
Hardback
Condition: New
€ 66.25
€ 66.25
Paperback. Series: Springer Theses. Num Pages: 114 pages, 5 black & white illustrations, 18 colour illustrations, biography. BIC Classification: TTBM; UMB; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 6. Weight in Grams: 191.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2015
- Number of pages
- 114
- Condition
- New
- SKU
- V9783662525630
- ISBN
- 9783662525630
Paperback
Condition: New
€ 76.39
€ 76.39
hardcover. Series: Lecture Notes in Electrical Engineering. Num Pages: 305 pages, 40 black & white illustrations, 10 colour illustrations, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 625.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer Verlag, Singapore Singapore
- Edition
- 1st ed. 2015
- Number of pages
- 305
- Condition
- New
- SKU
- V9789812876089
- ISBN
- 9789812876089
Hardback
Condition: New
€ 206.22
€ 206.22
Hardback. This book presents a coherence-based approach to computer graphics that can be comprehensively applied to all the major elements of image-based appearance modeling, from data acquisition and user-assisted modeling to efficient rendering and model editing. Num Pages: 178 pages, 4 black & white illustrations, 92 colour illustrations, 6 black & white tables, 1 colour. BIC Classification: UML; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 450.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 178
- Condition
- New
- SKU
- V9783642357763
- ISBN
- 9783642357763
Hardback
Condition: New
€ 128.09
€ 128.09
Paperback. Editor(s): Luo, Yuhua. Series: Lecture Notes in Computer Science. Num Pages: 409 pages, 164 black & white illustrations, biography. BIC Classification: UGC; UKN; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 629.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 409
- Condition
- New
- SKU
- V9783319467702
- ISBN
- 9783319467702
Paperback
Condition: New
€ 67.75
€ 67.75
Paperback. Editor(s): Luo, Yuhua. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 324 pages, 126 black & white illustrations, biography. BIC Classification: UGC; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 498.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 324
- Condition
- New
- SKU
- V9783319108308
- ISBN
- 9783319108308
Paperback
Condition: New
€ 67.24
€ 67.24
Paperback. Editor(s): Luo, Yuhua. Series: Lecture Notes in Computer Science. Num Pages: 291 pages, 135 black & white illustrations, biography. BIC Classification: UGC; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 291
- Condition
- New
- SKU
- V9783319241319
- ISBN
- 9783319241319
Paperback
Condition: New
€ 66.66
€ 66.66
Paperback. Editor(s): Luo, Yuhua. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 219 pages, 23 black & white illustrations, 73 colour illustrations, biography. BIC Classification: UBJ; UKN; UMZ; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 219
- Condition
- New
- SKU
- V9783642237331
- ISBN
- 9783642237331
Paperback
Condition: New
€ 83.55
€ 83.55
Paperback. Editor(s): Luo, Yuhua. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 300 pages, 123 black & white illustrations, biography. BIC Classification: UBJ; UGC; UNH; UYQP; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 300
- Condition
- New
- SKU
- V9783642326080
- ISBN
- 9783642326080
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Editor(s): Luo, Yuhua. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 248 pages, 89 black & white illustrations, biography. BIC Classification: UBJ; UGC; UNH; UYQP; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 385.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 248
- Condition
- New
- SKU
- V9783642408397
- ISBN
- 9783642408397
Paperback
Condition: New
€ 61.41
€ 61.41
Paperback. Contains the proceedings of an international workshop held at Tokyo Keizai University which looked at the design of human-centred systems in the context of these technological and social changes. The papers cover the structure, dimensions, and policies and perspectives of the information society. Editor(s): Masuda, Yuji. Series: Human-Centred Systems. Num Pages: 272 pages, 3 black & white illustrations. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 242 x 170 x 15. Weight in Grams: 501.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 272
- Condition
- New
- SKU
- V9783540197454
- ISBN
- 9783540197454
Paperback
Condition: New
€ 67.24
€ 67.24
Hardback. This book examines the current development trends on methods and application of geospatial analysis and highlights future development prospects. It provides a thorough overview on the world of geospatial analysis including remote sensing and GIS. Editor(s): Murayama, Yuji. Num Pages: 304 pages, biography. BIC Classification: RGW; RGY; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 627.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer Verlag, Japan Japan
- Edition
- 2012
- Number of pages
- 304
- Condition
- New
- SKU
- V9784431539995
- ISBN
- 9784431539995
Hardback
Condition: New
€ 129.08
€ 129.08