.png){kind=logo}
Computing
Results 29961 - 29980 of 30854
Computing
paperback. A translation of Professor Wu's seminal Chinese book of 1984 on Automated Geometric Theorem Proving. This book is a source book for students and researchers who want to study both the intuitive first ideas behind the method and the formal details together with many examples. Translator(s): Jin, X.; Wang, D. Series: Texts and Monographs in Symbolic Computation. Num Pages: 302 pages, biography. BIC Classification: PBCH; PBMS; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 17. Weight in Grams: 534.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer Austria
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 302
- Condition
- New
- SKU
- V9783211825068
- ISBN
- 9783211825068
Paperback
Condition: New
€ 67.48
€ 67.48
Paperback. Num Pages: 130 pages, black & white illustrations, colour illustrations, colour tables, bibliography. BIC Classification: TGMD4; TJFM; TNK; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 7. Weight in Grams: 215.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 130
- Condition
- New
- SKU
- V9783319280240
- ISBN
- 9783319280240
Paperback
Condition: New
€ 77.95
€ 77.95
Paperback. Series: SpringerBriefs in Computer Science. Num Pages: 78 pages, 5 black & white illustrations, 17 colour illustrations, 10 black & white tables, biography. BIC Classification: TJK; URY; UTG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 5. Weight in Grams: 150.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 78
- Condition
- New
- SKU
- V9783319063546
- ISBN
- 9783319063546
Paperback
Condition: New
€ 73.69
€ 73.69
hardcover. Introduces the frontiers of 3D face processing techniques. This work reviews 3D face processing techniques, including techniques for 3D face geometry modeling; 3D face motion modeling; and 3D face motion tracking and animation. It then discusses a unified framework for face modeling, analysis and synthesis. Series: The International Series in Video Computing. Num Pages: 137 pages, biography. BIC Classification: UYQP. Category: (G) General (US: Trade); (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 11. Weight in Grams: 910.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 137
- Condition
- New
- Edition
- 2004th Edition
- SKU
- V9781402080470
- ISBN
- 9781402080470
Hardback
Condition: New
€ 252.34
€ 252.34
Paperback. Series: The International Series in Video Computing. Num Pages: 137 pages, biography. BIC Classification: UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 8. Weight in Grams: 260.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2004
- Number of pages
- 137
- Condition
- New
- SKU
- V9781441954633
- ISBN
- 9781441954633
Paperback
Condition: New
€ 249.30
€ 249.30
Hardback. This is the most complete book on virtual decomposition control. This approach uses subsystem dynamics to conduct control design, while guaranteeing the stability and convergence of the entire robot without compromising the rigorousness of the system analysis. Series: Springer Tracts in Advanced Robotics. Num Pages: 473 pages, 43 black & white illustrations, biography. BIC Classification: TJFM1; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 849.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 473
- Condition
- New
- SKU
- V9783642107238
- ISBN
- 9783642107238
Hardback
Condition: New
€ 203.41
€ 203.41
Paperback. This is the most complete book on virtual decomposition control. This approach uses subsystem dynamics to conduct control design, while guaranteeing the stability and convergence of the entire robot without compromising the rigorousness of the system analysis. Series: Springer Tracts in Advanced Robotics. Num Pages: 473 pages, 43 black & white illustrations, biography. BIC Classification: TJFM1; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 730.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Previously published in hardcover
- Number of pages
- 473
- Condition
- New
- SKU
- V9783642262982
- ISBN
- 9783642262982
Paperback
Condition: New
€ 195.88
€ 195.88
Hardback. A guide to the essential techniques for designing and building dependable distributed systems. Instead of covering a broad range of research works for each dependability strategy, it focuses on only a selected few, explaining each in depth, usually with a comprehensive set of examples. Series: Performability Engineering Series. Num Pages: 368 pages, illustrations. BIC Classification: TJ; UYF. Category: (P) Professional & Vocational. Dimension: 242 x 157 x 24. Weight in Grams: 624.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- John Wiley & Sons Inc United States
- Number of pages
- 368
- Condition
- New
- SKU
- V9781118549438
- ISBN
- 9781118549438
Hardback
Condition: New
€ 210.79
€ 210.79
Paperback. Editor(s): Warr, Wendy A. Num Pages: 472 pages, 18 black & white tables, biography. BIC Classification: PN; UMA. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 24. Weight in Grams: 833.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1988
- Number of pages
- 472
- Condition
- New
- SKU
- V9783642739774
- ISBN
- 9783642739774
Paperback
Condition: New
€ 130.26
€ 130.26
Paperback. Editor(s): Warr, Wendy A. Num Pages: 496 pages, 42 black & white tables, biography. BIC Classification: PN; UMA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 767.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 496
- Condition
- New
- SKU
- V9783642780295
- ISBN
- 9783642780295
Paperback
Condition: New
€ 129.80
€ 129.80
Paperback. Demonstrates how to build a website to accommodate people with physical and learning disabilities makes marketing sense. This book shows how to use standards - based web technologies such as XHTML, CSS, and Ajax, along with fresh uses for video, Flash, and PDF to develop applications for a wide range of users. Num Pages: 179 pages, black & white illustrations. BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 228 x 154 x 13. Weight in Grams: 286.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- O'Reilly Media, Inc, USA United States
- Edition
- 1st Edition
- Number of pages
- 179
- Condition
- New
- SKU
- V9780596518738
- ISBN
- 9780596518738
Paperback
Condition: New
€ 37.99€ 36.50
€ 37.99
€ 36.50
Paperback. BIC Classification: UMS. Category: (G) General (US: Trade). Weight in Grams: 1000.
- Publisher
- Manning Publications
- Format
- Paperback
- Publication date
- 2017
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781617292651
- ISBN
- 9781617292651
Paperback
Condition: New
€ 40.20
€ 40.20
Paperback. Constitutes the refereed joint postproceedings of the 8th International Seminar on Relational Methods in Computer Science, the 3rd International Workshop on Applications of Kleene Algebra, and the Workshop of COST Action 274. Series: Lecture Notes in Computer Science. Num Pages: 270 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 870.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 270
- Condition
- New
- SKU
- V9783540333395
- ISBN
- 9783540333395
Paperback
Condition: New
€ 69.70
€ 69.70
Hardback. Editor(s): Santos, Wendy. Num Pages: 200 pages. BIC Classification: UYQN. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 230 x 155. .
- Publisher
- Nova Science Publishers Inc
- Format
- Hardback
- Publication date
- 2017
- Condition
- New
- SKU
- V9781634858892
- ISBN
- 9781634858892
Hardback
Condition: New
€ 242.56€ 181.85
€ 242.56
€ 181.85
Hardcover. Verilog is a Hardware Description Language (HDL) used to design and document electronic systems. Verilog HDL allows designers to virtually design systems without expending time or resources on physical models. It is the most widely used HDL with a user community of more than 50,000 active designers. Num Pages: 336 pages, Illustrations. BIC Classification: TJFC; UY. Category: (P) Professional & Vocational. Dimension: 241 x 161 x 22. Weight in Grams: 588.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 336
- Condition
- New
- SKU
- V9780471429760
- ISBN
- 9780471429760
Hardback
Condition: New
€ 171.28
€ 171.28
Paperback. Series: Springer Series in Information Sciences. Num Pages: 459 pages, biography. BIC Classification: UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 697.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 459
- Condition
- New
- SKU
- V9783642776458
- ISBN
- 9783642776458
Paperback
Condition: New
€ 129.35
€ 129.35
Hardback. Editor(s): Du, Wenjiang. Series: Lecture Notes in Electrical Engineering. Num Pages: 828 pages, 91 black & white tables, biography. BIC Classification: KJQ; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 44. Weight in Grams: 1326.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 828
- Condition
- New
- SKU
- V9781447147923
- ISBN
- 9781447147923
Hardback
Condition: New
€ 376.83
€ 376.83
Hardback. Editor(s): Du, Wenjiang. Series: Lecture Notes in Electrical Engineering. Num Pages: 828 pages, 101 black & white tables, biography. BIC Classification: KJQ; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 44. Weight in Grams: 1326.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 828
- Condition
- New
- SKU
- V9781447147954
- ISBN
- 9781447147954
Hardback
Condition: New
€ 255.08
€ 255.08
Paperback. Editor(s): Du, Wenjiang. Series: Lecture Notes in Electrical Engineering. Num Pages: 828 pages, 91 black & white tables, biography. BIC Classification: KJMV6; TGP; UT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 42. Weight in Grams: 1246.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 828
- Condition
- New
- SKU
- V9781447159056
- ISBN
- 9781447159056
Paperback
Condition: New
€ 375.42
€ 375.42
Paperback. Editor(s): Du, Wenjiang. Series: Lecture Notes in Electrical Engineering. Num Pages: 828 pages, 101 black & white tables, biography. BIC Classification: KJMV6; TGP; UT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 42. Weight in Grams: 1246.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 828
- Condition
- New
- SKU
- V9781447162124
- ISBN
- 9781447162124
Paperback
Condition: New
€ 253.85
€ 253.85