Computing »
Computer science
Computer science
Results 193 - 216 of 1864
Computer science
Paperback. Contains the proceedings of the third working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2010, held in Edinburgh, UK, in August 2010. This book features the papers that represent work on verification techniques, specification languages, formal calculi, verification tools, solutions to challenge problems, and more. Editor(s): Leavens, Gary T.; O'Hearn, Peter W.; Rajamani, Sriram K. (Microsoft Research). Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 217 pages, 68 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZT; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 13. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 217
- Condition
- New
- SKU
- V9783642150562
- ISBN
- 9783642150562
Paperback
Condition: New
€ 64.86
€ 64.86
Frontiers in Algorithms: 4th International Workshop, FAW 2010, Wuhan, ...
. Ed(S): Lee, D. T.; Chen, Danny Z.; Ying, Sh...
paperback. Constitutes the refereed proceedings of the 4th International Frontiers of Algorithmics Workshop, FAW 2010, held in Wuhan, China, in August 2010. Editor(s): Lee, D. T.; Chen, Danny Z.; Ying, Shi. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 339 pages, 74 black & white illustrations, biography. BIC Classification: UMB; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 339
- Condition
- New
- SKU
- V9783642145520
- ISBN
- 9783642145520
Paperback
Condition: New
€ 65.73
€ 65.73
Paperback. Constitutes the refereed proceedings of the Second International Workshop on Spoken Dialogue Systems, IWDS 2010, that was held in Gotemba, Japan. Editor(s): Lee, Gary Geunbae; Mariani, Joseph; Minker, Wolfgang; Nakamura, Satoshi. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 199 pages, 65 black & white illustrations, biography. BIC Classification: UG; UKR; UND; UYQP; UYQS; UYZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 13. Weight in Grams: 318.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 199
- Condition
- New
- SKU
- V9783642162015
- ISBN
- 9783642162015
Paperback
Condition: New
€ 64.43
€ 64.43
Paperback. Constitutes the refereed proceedings of the 5th International Conference on Convergence and Hybrid Information Technology, ICHIT 2011, held in Daejeon, Korea, in September 2011. Editor(s): Lee, Geuk; Howard, Daniel; Slezak, Dominik. Series: Lecture Notes in Computer Science. Num Pages: 789 pages, 195 black & white illustrations, 309 colour illustrations, biography. BIC Classification: UKN; UMB; UNF; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 43. Weight in Grams: 1116.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 789
- Condition
- New
- SKU
- V9783642240812
- ISBN
- 9783642240812
Paperback
Condition: New
€ 128.77
€ 128.77
Hardback. This volume shows how assembly and manufacturing technologies have evolved along with advances in enabling technologies, and how the emergence of complex micro/nano system products has dictated the development of new assembly and manufacturing technologies. Editor(s): Lee, Sukhan; Suarez, Raul; Choi, Byung Wook. Num Pages: 294 pages, biography. BIC Classification: TBN; TDP; TJFM1; UYQ. Category: (P) Professional & Vocational. Dimension: 239 x 160 x 18. Weight in Grams: 544.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 294
- Condition
- New
- SKU
- V9783642141157
- ISBN
- 9783642141157
Hardback
Condition: New
€ 189.83
€ 189.83
Paperback. Comprises selected papers of the Second International Conference on Future Generation Information Technology, FGIT 2010, in Jeju Island, Korea, in December 2010. Editor(s): Lee, Young Hoon; Kang, Byeong Ho; Slezak, Dominik. Series: Lecture Notes in Computer Science. Num Pages: 756 pages, 414 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; UYQP. Category: (P) Professional & Vocational. Dimension: 236 x 152 x 41. Weight in Grams: 1139.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 756
- Condition
- New
- SKU
- V9783642175688
- ISBN
- 9783642175688
Paperback
Condition: New
€ 128.91
€ 128.91
Paperback. Constitutes the refereed proceedings of HCI in Work and Learning, Life and Leisure, held as the 6th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2010, in Klagenfurt, Austria, in November 2010. Editor(s): Leitner, Gerhard; Hitz, Martin; Holzinger, Andreas. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 532 pages, 144 black & white illustrations, biography. BIC Classification: MBP; UKN; UKR; UND; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 28. Weight in Grams: 816.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 532
- Condition
- New
- SKU
- V9783642166068
- ISBN
- 9783642166068
Paperback
Condition: New
€ 67.60
€ 67.60
Paperback. Constitutes the refereed proceedings of the 20th International Conference on Integrated Circuit and System Design, PATMOS 2010, held in Grenoble, France, in September 2010. Editor(s): Leuken, Rene van; Sicard, Gilles. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 260 pages, 77 black & white illustrations, 53 colour illustrations, biography. BIC Classification: TJFC; UKN; UYD. Category: (P) Professional & Vocational. Dimension: 236 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
- 260
- Condition
- New
- SKU
- V9783642177514
- ISBN
- 9783642177514
Paperback
Condition: New
€ 65.15
€ 65.15
Paperback. Constitutes the refereed proceedings of the International Conference on Life System Modeling and Simulation, LSMS 2010, and the International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, held in Wuxi, China, in September 2010. Editor(s): Li, Kang; Jia, Li; Sun, Xin; Fei, Minrui; Irwin, G. W. Series: Lecture Notes in Computer Science / Lecture Notes in Bioinformatics. Num Pages: 719 pages, 305 black & white illustrations, biography. BIC Classification: PSA; UY. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 28. Weight in Grams: 1043.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 719
- Condition
- New
- SKU
- V9783642156144
- ISBN
- 9783642156144
Paperback
Condition: New
€ 128.31
€ 128.31
Paperback. Constitutes the refereed proceedings of the 5th International Workshop on Medical Imaging and Augmented Reality, MIAR 2010, held in Beijing, China, in September 2010. Editor(s): Liao, Hongen; Edwards, Peter J.; Pan, Xiaochuan; Fan, Yong; Yang, Guang-Zhong. Series: Lecture Notes in Computer Science. Num Pages: 573 pages, 271 black & white illustrations, biography. BIC Classification: MMP; UGK; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 231 x 157 x 30. Weight in Grams: 862.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 573
- Condition
- New
- SKU
- V9783642156984
- ISBN
- 9783642156984
Paperback
Condition: New
€ 67.88
€ 67.88
Medical Image Computing and Computer-Assisted Intervention -- MICCAI
. Ed(S): Liu, Bing; Jiang, Tianzi; Navab, Nas...
Paperback. Constitutes the refereed proceedings of the 13th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2010, held in Beijing, China, in September 2010. Editor(s): Liu, Bing; Jiang, Tianzi; Navab, Nassir; Pluim, Josien P. W.; Viergever, Max A. (Image Sciences Institute, University Medical Centre, Utrecht, Netherlands). Series: Lecture Notes in Computer Science. Num Pages: 709 pages, biography. BIC Classification: MMP; UGK; UGN; UYQP; UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 156 x 28. Weight in Grams: 1039.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 709
- Condition
- New
- SKU
- V9783642157042
- ISBN
- 9783642157042
Paperback
Condition: New
€ 128.28
€ 128.28
Medical Image Computing and Computer-Assisted Intervention
. Ed(S): Liu, Bing; Jiang, Tianzi; Navab, Nas...
Paperback. Constitutes the refereed proceedings of the 13th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2010, that was held in Beijing, China, in September 2010. Editor(s): Liu, Bing; Jiang, Tianzi; Navab, Nassir; Pluim, Josien P. W.; Viergever, Max A. (Image Sciences Institute, University Medical Centre, Utrecht, Netherlands). Series: Lecture Notes in Computer Science. Num Pages: 686 pages, 686 colour illustrations, biography. BIC Classification: UGK; UGN; UYQP; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 25. Weight in Grams: 998.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 686
- Condition
- New
- SKU
- V9783642157103
- ISBN
- 9783642157103
Paperback
Condition: New
€ 128.03
€ 128.03
Medical Image Computing and Computer-Assisted Intervention
. Ed(S): Liu, Bing; Jiang, Tianzi; Navab, Nas...
Paperback. Constitutes the refereed proceedings of the 13th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2010, held in Beijing, China, in September 2010. Editor(s): Liu, Bing; Jiang, Tianzi; Navab, Nassir; Pluim, Josien P. W.; Viergever, Max A. (Image Sciences Institute, University Medical Centre, Utrecht, Netherlands). Series: Lecture Notes in Computer Science. Num Pages: 704 pages, 704 colour illustrations, biography. BIC Classification: UGK; UGN; UYQP; UYZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 28. Weight in Grams: 1021.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 704
- Condition
- New
- SKU
- V9783642157448
- ISBN
- 9783642157448
Paperback
Condition: New
€ 128.17
€ 128.17
Paperback. Constitutes the refereed proceedings of the Third International Conference on Intelligent Robotics and Applications, ICIRA 2010, held in Shanghai, China, in November 2010. Editor(s): Liu, Honghai; Ding, Han; Xiong, Zhenhua; Zhu, Xiangyang. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 779 pages, 525 black & white illustrations, biography. BIC Classification: TJFM1; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 28. Weight in Grams: 1116.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 779
- Condition
- New
- SKU
- V9783642165832
- ISBN
- 9783642165832
Paperback
Condition: New
€ 128.77
€ 128.77
Paperback. Constitutes the refereed proceedings of the Third International Conference on Intelligent Robotics and Applications, ICIRA 2010, held in Shanghai, China, in November 2010. Editor(s): Liu, Honghai; Ding, Han; Xiong, Zhenhua; Zhu, Xiangyang. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 771 pages, 560 black & white illustrations, biography. BIC Classification: TJFM1; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 30. Weight in Grams: 1080.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 771
- Condition
- New
- SKU
- V9783642165863
- ISBN
- 9783642165863
Paperback
Condition: New
€ 128.55
€ 128.55
Hardback. Social computing, the study of social behavior and context based on computational systems, facilitates behavioral modeling in model building, analysis, pattern mining, anticipation, and prediction. This book presents material from the second interdisciplinary workshop focused on employing social computing for behavioral modeling and prediction. Editor(s): Liu, Huan; Salerno, John J.; Young, Michael J. Num Pages: 264 pages, 100 black & white illustrations, 100 black & white tables, biography. BIC Classification: JHBC; PBUH; PBW; UND; UNF; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 522.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 264
- Condition
- New
- SKU
- V9781441900555
- ISBN
- 9781441900555
Hardback
Condition: New
€ 190.82
€ 190.82
Paperback. A survey that offers a fresh focus on the progress in evolutionary computation, in neural networks, and in fuzzy systems. It presents the expertise and experiences of leading researchers spanning a diverse spectrum of computational intelligence in these areas. Editor(s): Liu, Jing; Alippi, Cesare; Bouchon-Meunier, Bernadette; Greenwood, Garrison W.; Abbass, Hussein A. Series: Lecture Notes in Computer Science. Num Pages: 284 pages, 189 black & white illustrations, biography. BIC Classification: UMB; UNF; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 150 x 15. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 284
- Condition
- New
- SKU
- V9783642306860
- ISBN
- 9783642306860
Paperback
Condition: New
€ 65.01
€ 65.01
Integration of AI and OR Techniques in Constraint Programming for Comb...
. Ed(S): Lodi, Andrea; Milano, Michela; Toth,...
Paperback. Constitutes the refereed proceedings of the 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2010, held in Bologna, Italy, in June 2010. Editor(s): Lodi, Andrea; Milano, Michela; Toth, Paolo. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 369 pages, 70 black & white illustrations, biography. BIC Classification: KJT; PBV; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 20. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 369
- Condition
- New
- SKU
- V9783642135194
- ISBN
- 9783642135194
Paperback
Condition: New
€ 66.01
€ 66.01
Paperback. Constitutes the revised papers of the 5th European Conference on Smart Sensing and Context, EuroSSC 2010, held in Passau, Germany, in November 2010. This volume includes papers that address topics such as applications; sensing; systems support; and higher level modeling. Editor(s): Lukowicz, Paul; Kunze, Kai; Kortuem, Gerd. Series: Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications. Num Pages: 203 pages, 75 black & white illustrations, biography. BIC Classification: UBJ; UKN; UKR; UMZ; UT; UYZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 10. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 203
- Condition
- New
- SKU
- V9783642169816
- ISBN
- 9783642169816
Paperback
Condition: New
€ 64.58
€ 64.58
Advances in Web-Based Learning - ICWL 2010: 9th International Conferen...
. Ed(S): Luo, Xiangfeng; Spaniol, Marc; Wang,...
paperback. Editor(s): Luo, Xiangfeng; Spaniol, Marc; Wang, Lizhe; Li, Qing; Nejdl, Wolfgang; Zhang, Wu. Series: Lecture Notes in Computer Science. Num Pages: 412 pages, 57 black & white illustrations, biography. BIC Classification: JNV; UBJ; UG; UKP; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 23. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 412
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642174063
- ISBN
- 9783642174063
Paperback
Condition: New
€ 66.58
€ 66.58
paperback. Editor(s): Luo, Xiongbiao; Reichl, Tobias. Series: Lecture Notes in Computer Science. Num Pages: 176 pages, 91 colour illustrations, biography. BIC Classification: MBG; MMP; UML; UYQP; UYT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 10. Weight in Grams: 285.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2016
- Number of pages
- 176
- Condition
- New
- SKU
- V9783319299648
- ISBN
- 9783319299648
Paperback
Condition: New
€ 49.99€ 46.01
€ 49.99
€ 46.01
Organizational, Business, and Technological Aspects of the Knowledge S...
. Ed(S): Lytras, Miltiadis D.; Ordonez de Pab...
Paperback. Constitutes the proceedings of the Second World Summit on the Knowledge Society Primer held in Corfu, Greece, in September 2010. Editor(s): Lytras, Miltiadis D.; Ordonez de Pablos, Patricia; Ziderman, Adrian; Roulstone, Alan; Maurer, Hermann; Imber, Jonathan B. Series: Communications in Computer and Information Science. Num Pages: 539 pages, 116 black & white illustrations, biography. BIC Classification: JNV; KJE; UBJ; UKN; UKR; UYZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 30. Weight in Grams: 798.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 539
- Condition
- New
- SKU
- V9783642163234
- ISBN
- 9783642163234
Paperback
Condition: New
€ 126.76
€ 126.76
Evolutionary and Biologically Inspired Music, Sound, Art and Design
. Ed(S): Machado, Penousal; Romero, Juan J.; ...
Paperback. Editor(s): Machado, Penousal; Romero, Juan J.; Carballal, Adrian. Series: Lecture Notes in Computer Science. Num Pages: 236 pages, 87 black & white illustrations, biography. BIC Classification: UKN; UM; UYQ; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 236 x 150 x 8. Weight in Grams: 376.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 236
- Condition
- New
- SKU
- V9783642291418
- ISBN
- 9783642291418
Paperback
Condition: New
€ 81.04
€ 81.04
Paperback. Constitutes the refereed proceedings of the International Workshop on Prostate Cancer Imaging, held in conjunction with MICCAI 2010, in Beijing, China, in September 2010. This book includes papers that cover the clinical areas radiology, radiation oncology, digital pathology, and image guided intervention. Editor(s): Madabhushi, Anant; Dowling, Jason; Yan, Pingkun; Fenster, Aaron; Abolmaesumi, Purang; Hata, Nobuhiko. Series: Lecture Notes in Computer Science. Num Pages: 146 pages, 67 black & white illustrations, biography. BIC Classification: UGK; UGN; UYQP; UYZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 10. Weight in Grams: 236.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 146
- Condition
- New
- SKU
- V9783642159886
- ISBN
- 9783642159886
Paperback
Condition: New
€ 63.91
€ 63.91