Computer science
Results 12361 - 12380 of 16991
Computer science
Redundancy in Robot Manipulators and Multi-Robot Systems
. Ed(S): Milutinovic, Dejan L. J.; Rosen, Jac...
Hardback. This volume is based on contributions presented at the workshop on Redundancy in Robot Manipulators and Multi-Robot Systems at the IEEE/RSJ International Conference on Intelligent Robots and Systems - IROS 2011. Editor(s): Milutinovic, Dejan L. J.; Rosen, Jacob. Series: Lecture Notes in Electrical Engineering. Num Pages: 252 pages, biography. BIC Classification: TJFM1; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 543.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 252
- Condition
- New
- SKU
- V9783642339707
- ISBN
- 9783642339707
Hardback
Condition: New
€ 186.38
€ 186.38
Paperback. Constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012. Editor(s): Duran, Francisco. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 249 pages, 51 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 359.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 249
- Condition
- New
- SKU
- V9783642340048
- ISBN
- 9783642340048
Paperback
Condition: New
€ 58.98
€ 58.98
Advances in New Technologies, Interactive Interfaces and Communicabili...
. Ed(S): Cipolla-Ficarra, Francisco V.; Veltm...
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Advances in New Technologies, Interactive Interfaces, and Communicability, held in Huerta Grande, Argentina, in December 2011. Editor(s): Cipolla-Ficarra, Francisco V.; Veltman, Dr. Kim H.; Verber, Domen; Cipolla-Ficarra, Miguel; Kammuller, Florian. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 275 pages, 101 black & white illustrations, biography. BIC Classification: UKN; UMZ; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 275
- Condition
- New
- SKU
- V9783642340093
- ISBN
- 9783642340093
Paperback
Condition: New
€ 82.30
€ 82.30
Paperback. Constitutes the refereed proceedings of the Third Workshop on Human Behavior Understanding, HBU 2012, held in Vilamoura, Portugal, in October 2012. Editor(s): Salah, Albert Ali; Ruiz-Del-Solar, Javier; Mericli, Cetin; Oudeyer, Pierre-Yves. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 185 pages, 44 black & white illustrations, biography. BIC Classification: UYQ; UYQP; UYQV; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 272.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 185
- Condition
- New
- SKU
- V9783642340130
- ISBN
- 9783642340130
Paperback
Condition: New
€ 58.98
€ 58.98
Leveraging Applications of Formal Methods, Verification and Validation
. Ed(S): Margaria, Tiziana; Steffen, Bernhard...
Paperback. Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. Editor(s): Margaria, Tiziana; Steffen, Bernhard; Merten, Maik. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 633 pages, 170 black & white illustrations, biography. BIC Classification: UL; UMX; UMZ; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 32. Weight in Grams: 879.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 633
- Condition
- New
- SKU
- V9783642340253
- ISBN
- 9783642340253
Paperback
Condition: New
€ 67.51
€ 67.51
Leveraging Applications of Formal Methods, Verification and Validation
. Ed(S): Margaria, Tiziana; Steffen, Bernhard...
Paperback. Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. Editor(s): Margaria, Tiziana; Steffen, Bernhard; Merten, Maik. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 377 pages, 129 black & white illustrations, biography. BIC Classification: UL; UMX; UMZ; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 532.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 377
- Condition
- New
- SKU
- V9783642340314
- ISBN
- 9783642340314
Paperback
Condition: New
€ 65.09
€ 65.09
Paperback. Constitutes the refereed proceedings of the Third International Conference on Information Computing and Applications, ICICA 2012, held in Chengde, China, in September 2012. Editor(s): Liu, Chunfeng; Wang, Leizhen; Yang, Aimin. Series: Communications in Computer and Information Science. Num Pages: 882 pages, 301 black & white illustrations, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 48. Weight in Grams: 1329.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 882
- Condition
- New
- SKU
- V9783642340376
- ISBN
- 9783642340376
Paperback
Condition: New
€ 128.09
€ 128.09
Paperback. Constitutes the refereed proceedings of the Third International Conference on Information Computing and Applications, ICICA 2012, held in Chengde, China, in September 2012. Editor(s): Liu, Chunfeng; Wang, Leizhen; Yang, Aimin. Series: Communications in Computer and Information Science. Num Pages: 876 pages, 263 black & white illustrations, biography. BIC Classification: UG; UMA; UNH; UT; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 44. Weight in Grams: 1318.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 876
- Condition
- New
- SKU
- V9783642340406
- ISBN
- 9783642340406
Paperback
Condition: New
€ 127.25
€ 127.25
Paperback. Constitutes the proceedings of the 12th International Conference on Transport Systems Telematics, TST 2012, held in Katowice-Ustron, Poland, in October 2012. Editor(s): Mikulski, Jerzy. Series: Communications in Computer and Information Science. Num Pages: 448 pages, 156 black & white illustrations, biography. BIC Classification: JPP; UBJ; UGK; UNH; UYD; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 627.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 448
- Condition
- New
- SKU
- V9783642340499
- ISBN
- 9783642340499
Paperback
Condition: New
€ 65.72
€ 65.72
Paperback. Constitutes the refereed proceedings of the Third International Conference on Information Computing and Applications, ICICA 2012, held in Chengde, China, in September 2012. Editor(s): Liu, Baoxiang; Ma, Maode; Chang, Jincai. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 802 pages, 262 black & white illustrations, biography. BIC Classification: KJQ; UKN; UMB; UMZ; UNH; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 40. Weight in Grams: 1106.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 802
- Condition
- New
- SKU
- V9783642340611
- ISBN
- 9783642340611
Paperback
Condition: New
€ 68.68
€ 68.68
Paperback. Constitutes the thoroughly refereed post-proceedings of the 15th International Workshop on Theoretic Foundations of Computer Vision, held as a Dagstuhl Seminar in Dagstuhl Castle, Germany, in June/July 2011. Editor(s): Dellaert, Frank; Frahm, Jan-Michael; Pollefeys, Marc; Leal-Taixe, Laura; Rosenhahn, Bodo. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 453 pages, 209 black & white illustrations, biography. BIC Classification: UYQV. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 684.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 453
- Condition
- New
- SKU
- V9783642340901
- ISBN
- 9783642340901
Paperback
Condition: New
€ 65.81
€ 65.81
Hardback. Featuring the latest and most promising research directions in agent-based optimization, this volume focuses on approaches deploying the multi-agent system paradigm to support, enhance, or even replace traditional solutions to optimization problems. Editor(s): Czarnowski, Ireneusz; Jedrzejowicz, Piotr; Kacprzyk, Janusz. Series: Studies in Computational Intelligence. Num Pages: 216 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 482.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 216
- Condition
- New
- SKU
- V9783642340963
- ISBN
- 9783642340963
Hardback
Condition: New
€ 122.71
€ 122.71
Paperback. Constitutes the refereed proceedings of the 4th International Conference on Social Robotics, ICSR 2012, held in Chengdu, China, in October 2012. Editor(s): Ge, Shuzhi Sam; Khatib, Oussama; Cabibihan, John-John; Simmons, Reid; Williams, Mary-Anne. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 681 pages, 332 black & white illustrations, biography. BIC Classification: J; MQV; UBJ; UYQ; UYQV; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 34. Weight in Grams: 943.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 681
- Condition
- New
- SKU
- V9783642341021
- ISBN
- 9783642341021
Paperback
Condition: New
€ 67.56
€ 67.56
Paperback. Constitutes the refereed proceedings of the 23rd International Conference on Algorithmic Learning Theory, ALT 2012, held in Lyon, France, in October 2012. Editor(s): Bshouty, Nader; Stoltz, Gilles; Vayatis, Nicolas; Zeugmann, Thomas. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 393 pages, 23 black & white illustrations, biography. BIC Classification: UMB; UYA; UYQ; UYQP; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 554.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 393
- Condition
- New
- SKU
- V9783642341052
- ISBN
- 9783642341052
Paperback
Condition: New
€ 65.24
€ 65.24
Paperback. This volume's coverage of the state of the art in FCG, itself a new representational technique in lexicography and grammar, includes valuable case studies and examines the many complex computational challenges in programming real-world grammars. Editor(s): Steels, Luc. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 331 pages, 102 black & white illustrations, biography. BIC Classification: UM; UYA; UYQ; UYQL; UYQP. Category: (P) Professional & Vocational. Dimension: 156 x 235 x 20. Weight in Grams: 488.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 331
- Condition
- New
- SKU
- V9783642341199
- ISBN
- 9783642341199
Paperback
Condition: New
€ 64.74
€ 64.74
Trends in Enterprise Architecture Research and Practice-Driven Researc...
. Ed(S): Aier, Stephan; Ekstedt, Mathias; Mat...
Paperback. Constitutes the proceedings of the combined 7th International Workshop on Trends in Enterprise Architecture Research (TEAR 2012) and the 5th Working Conference on Practice-Driven Research on Enterprise Transformation (PRET-5), held in Barcelona, Spain, October 23-24, 2012. Editor(s): Aier, Stephan; Ekstedt, Mathias; Matthes, Florian; Proper, Erik; Sanz, Jorge L. C. Series: Lecture Notes in Business Information Processing. Num Pages: 319 pages, 77 black & white illustrations, biography. BIC Classification: JPP; KJQ; UNH; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 467.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 319
- Condition
- New
- SKU
- V9783642341625
- ISBN
- 9783642341625
Paperback
Condition: New
€ 64.62
€ 64.62
Applications of Graph Transformations with Industrial Relevance
. Ed(S): Schurr, Andy; Varro, Daniel; Varro, ...
Paperback. Editor(s): Schurr, Andy; Varro, Daniel; Varro, Gergely. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 267 pages, 133 black & white illustrations, biography. BIC Classification: PBD; UMB; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 381.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 267
- Condition
- New
- SKU
- V9783642341755
- ISBN
- 9783642341755
Paperback
Condition: New
€ 81.80
€ 81.80
Gesture and Sign Language in Human-Computer Interaction and Embodied C...
. Ed(S): Efthimiou, Eleni; Kouroupetroglou, G...
paperback. Editor(s): Efthimiou, Eleni; Kouroupetroglou, Georgios; Stavroula-Evita, Fotinea. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 289 pages, 122 black & white illustrations, biography. BIC Classification: UG; UYQ; UYQP; UYQV; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 413.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012th Edition
- Number of pages
- 289
- Condition
- New
- SKU
- V9783642341816
- ISBN
- 9783642341816
Paperback
Condition: New
€ 58.64
€ 58.64
Agent-Mediated Electronic Commerce. Designing Trading Strategies and M...
. Ed(S): David, Esther; Larson, Kate; Rogers,...
Paperback. Editor(s): David, Esther; Larson, Kate; Rogers, Alex; Shehory, Onn; Stein, Sebastian. Series: Lecture Notes in Business Information Processing. Num Pages: 155 pages, 26 black & white illustrations, biography. BIC Classification: JPP; KJQ; UF; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 229.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 155
- Condition
- New
- SKU
- V9783642341991
- ISBN
- 9783642341991
Paperback
Condition: New
€ 58.64
€ 58.64
Hardback. This book presents a new distributed QoS evaluation framework for web services, and proposes three QoS prediction methods and two methods for creating fault-tolerant Web services. Provides current research results and presents an overview of QoS management. Series: Advanced Topics in Science and Technology in China. Num Pages: 150 pages, 42 black & white illustrations, biography. BIC Classification: KJQ; UKN; UMZ; UNH; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 421.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 150
- Condition
- New
- SKU
- V9783642342066
- ISBN
- 9783642342066
Hardback
Condition: New
€ 121.80
€ 121.80