Computer science
Results 15505 - 15528 of 16730
Computer science
Paperback. Editor(s): Cocchiarella, Luigi. Num Pages: 192 pages, 18 black & white illustrations, 72 colour illustrations, biography. BIC Classification: PBW; PDX; UYQE; UYQV; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 308.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2015
- Number of pages
- 192
- Condition
- New
- SKU
- V9783319358598
- ISBN
- 9783319358598
Paperback
Condition: New
€ 62.91
€ 62.91
The Visual Language of Technique. Heritage and Expectations in Researc...
Luigi . Ed(S): Cocchiarella
Hardback. Editor(s): Cocchiarella, Luigi. Num Pages: 192 pages, 18 black & white illustrations, 72 colour illustrations, biography. BIC Classification: CFA; GTC; UG; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 461.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 192
- Condition
- New
- SKU
- V9783319053400
- ISBN
- 9783319053400
Hardback
Condition: New
€ 64.18
€ 64.18
The Visual Neuroscience of Robotic Grasping. Achieving Sensorimotor Sk...
Chinellato, Eris; Del Pobil, Angel P.
Paperback. Series: Cognitive Systems Monographs. Num Pages: 178 pages, 26 black & white illustrations, 30 colour illustrations, biography. BIC Classification: PSA; PSAN; TJFM1; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 285.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2016
- Number of pages
- 178
- Condition
- New
- SKU
- V9783319379982
- ISBN
- 9783319379982
Paperback
Condition: New
€ 120.32
€ 120.32
The Visual Neuroscience of Robotic Grasping. Achieving Sensorimotor Sk...
Chinellato, Eris; Del Pobil, Angel P.
Hardback. The Visual Neuroscience of Robotic Grasping Series: Cognitive Systems Monographs. Num Pages: 178 pages, 26 black & white illustrations, 30 colour illustrations, biography. BIC Classification: PSA; PSAN; TJFM1; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 438.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 178
- Condition
- New
- SKU
- V9783319203027
- ISBN
- 9783319203027
Hardback
Condition: New
€ 121.40
€ 121.40
Paperback. Series: Foundations of Engineering Mechanics. Num Pages: 366 pages, biography. BIC Classification: PHD; PHS; TGMD; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 563.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2004
- Number of pages
- 366
- Condition
- New
- SKU
- V9783642536052
- ISBN
- 9783642536052
Paperback
Condition: New
€ 175.30
€ 175.30
Paperback. Editor(s): Rehm, Georg; Uszkoreit, Hans. Series: White Paper Series. Num Pages: 74 pages, 21 colour illustrations, biography. BIC Classification: CFX; UYQL. Category: (P) Professional & Vocational. Dimension: 279 x 210 x 4. Weight in Grams: 270.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 74
- Condition
- New
- SKU
- V9783642453717
- ISBN
- 9783642453717
Paperback
Condition: New
€ 62.32
€ 62.32
Paperback. Num Pages: 144 pages, 94 black & white illustrations, biography. BIC Classification: UKP; ULD; UYZG. Category: (P) Professional & Vocational. Dimension: 159 x 238 x 11. Weight in Grams: 244.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Apress
- Edition
- 1st ed. 2015
- Condition
- New
- SKU
- V9781484217320
- ISBN
- 9781484217320
Paperback
Condition: New
€ 25.72
€ 25.72
hardcover. Num Pages: 200 pages. BIC Classification: JMR; PSVP; UYQ. Category: (G) General (US: Trade). Dimension: 222 x 149 x 19. Weight in Grams: 400.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Imprint Academic United Kingdom
- Number of pages
- 200
- Condition
- New
- SKU
- V9781845400217
- ISBN
- 9781845400217
Hardback
Condition: New
€ 25.78
€ 25.78
paperback. Constitutes the refereed proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2005, held in Oxford, UK, in August 2005. This book includes 20 full papers, 2 invited papers, and 4 proof concise presentations of interesting examples, selected from 49 submissions. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 414 pages, biography. BIC Classification: UYA; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 1310.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2005th Edition
- Number of pages
- 414
- Condition
- New
- SKU
- V9783540283720
- ISBN
- 9783540283720
Paperback
Condition: New
€ 69.16
€ 69.16
Paperback. This volume constitutes the thoroughly refereed proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2001, held in Edinburgh in September 2001. It addresses issues in HOL theorem proving and formal verification of hardware and software systems. Editor(s): Boulton, Richard J.; Jackson, Paul B. Series: Lecture Notes in Computer Science. Num Pages: 412 pages, biography. BIC Classification: UMX; UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 21. Weight in Grams: 576.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 412
- Condition
- New
- SKU
- V9783540425250
- ISBN
- 9783540425250
Paperback
Condition: New
€ 69.04
€ 69.04
Paperback. These 28 papers present the refereed proceedings of an international conference on theorem proving in higher order logics. They address all aspects of theorem proving in higher order logics, formal verification and program analysis, and also discuss Coq, Isabelle, LAMBDA, LEGO, NuPrl and PVS. Editor(s): Grundy, Jim; Newey, Malcolm. Series: Lecture Notes in Computer Science. Num Pages: 505 pages, biography. BIC Classification: UM; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 26. Weight in Grams: 716.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 505
- Condition
- New
- SKU
- V9783540649878
- ISBN
- 9783540649878
Paperback
Condition: New
€ 70.85
€ 70.85
Paperback. Contains the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, that was held in Kaiserslautern, Germany, September 2007. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 412 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 21. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 412
- Condition
- New
- SKU
- V9783540745907
- ISBN
- 9783540745907
Paperback
Condition: New
€ 65.05
€ 65.05
Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 528 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 807.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 528
- Condition
- New
- SKU
- V9783642033582
- ISBN
- 9783642033582
Paperback
Condition: New
€ 66.00
€ 66.00
Paperback. Series: Distinguished Dissertations. Num Pages: 186 pages, biography. BIC Classification: UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 311.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 186
- Condition
- New
- SKU
- V9781447115939
- ISBN
- 9781447115939
Paperback
Condition: New
€ 121.44
€ 121.44
Paperback. Editor(s): Sampaio, Augusto; Wang, Farn. Series: Lecture Notes in Computer Science. Num Pages: 496 pages, 108 black & white illustrations, biography. BIC Classification: PBD; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 26. Weight in Grams: 759.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 496
- Condition
- New
- SKU
- V9783319467498
- ISBN
- 9783319467498
Paperback
Condition: New
€ 65.52
€ 65.52
Hardback. .
- Publisher
- Apple Academic Press Inc.
- Format
- Hardback
- Publication date
- 2014
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781771880336
- ISBN
- 9781771880336
Hardback
Condition: New
€ 142.59€ 22.07
€ 142.59
€ 22.07
paperback. Editor(s): Zhou, Qihai. Series: Communications in Computer and Information Science. Num Pages: 630 pages, biography. BIC Classification: UKN; UMB; UT; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 876.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011th Edition
- Number of pages
- 630
- Condition
- New
- SKU
- V9783642249983
- ISBN
- 9783642249983
Paperback
Condition: New
€ 125.43
€ 125.43
Paperback. Editor(s): Leucker, Martin; Rueda, Camilo; Valencia, Frank D. Series: Lecture Notes in Computer Science. Num Pages: 644 pages, 142 colour illustrations, biography. BIC Classification: UM; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 973.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 644
- Condition
- New
- SKU
- V9783319251493
- ISBN
- 9783319251493
Paperback
Condition: New
€ 66.93
€ 66.93
Paperback. Editor(s): Liu, Zhiming; Araki, Keijiro. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 580 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 808.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 580
- Condition
- New
- SKU
- V9783540253044
- ISBN
- 9783540253044
Paperback
Condition: New
€ 130.15
€ 130.15
Paperback. Constitutes the proceedings of the Second International Colloquium on Theoretical Aspects of Computing. The papers in this book include topics on formal languages, computer science logics, program construction, real-time systems, concurrency and refinement, software security, quantitative logics, and object-orientation and component systems. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 632 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 32. Weight in Grams: 1940.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 632
- Condition
- New
- SKU
- V9783540291077
- ISBN
- 9783540291077
Paperback
Condition: New
€ 136.71
€ 136.71
Paperback. Constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau, China in September 2007. This book includes papers together with 3 invited talks and summaries of 2 tutorials that are reviewed and selected from 69 submissions. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 497 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 759.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 497
- Condition
- New
- SKU
- V9783540752905
- ISBN
- 9783540752905
Paperback
Condition: New
€ 65.82
€ 65.82
Paperback. Constitutes the refereed proceedings of the 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011 held in Johannesburg, South Africa, in August/September 2011. Editor(s): Cerone, Antonio; Pihlajasaari, Pekka. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 267 pages, 45 black & white illustrations, 10 colour illustrations, biography. BIC Classification: UMB; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 267
- Condition
- New
- SKU
- V9783642232824
- ISBN
- 9783642232824
Paperback
Condition: New
€ 81.33
€ 81.33
Paperback. Editor(s): Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 457 pages, 100 black & white illustrations, biography. BIC Classification: UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 26. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 457
- Condition
- New
- SKU
- V9783642397172
- ISBN
- 9783642397172
Paperback
Condition: New
€ 65.45
€ 65.45
Paperback. Editor(s): Roychoudhury, Abhik; D'Souza, Meenakshi. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 271 pages, 74 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 271
- Condition
- New
- SKU
- V9783642329425
- ISBN
- 9783642329425
Paperback
Condition: New
€ 81.64
€ 81.64