Computer science
Results 12361 - 12384 of 16992
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
Paperback. This volume in the Search Computing series offers 16 timely papers on search computing problems and issues, arranged in four sections: extraction and integration; query and visualization paradigms; exploring linked data and games, social search and economics. Editor(s): Ceri, Stefano; Brambilla, Marco. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 267 pages, 95 black & white illustrations, biography. BIC Classification: UKN; UMZ; UNH; UYZG. 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
- V9783642342127
- ISBN
- 9783642342127
Paperback
Condition: New
€ 82.30
€ 82.30
Paperback. Constitutes the refereed proceedings of the four workshops that were organized in conjunction with the International Conference on Business Information Systems, BIS 2012, which took place in Vilnius, Lithuania, May 21-23, 2012. Editor(s): Abramowicz, Witold; Domingue, John; Wecel, Krzysztof. Series: Lecture Notes in Business Information Processing. Num Pages: 279 pages, 120 black & white illustrations, biography. BIC Classification: JPP; KJQ; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 430.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 279
- Condition
- New
- SKU
- V9783642342271
- ISBN
- 9783642342271
Paperback
Condition: New
€ 82.39
€ 82.39
Paperback. Editor(s): Ioannides, Marinos; Fritsch, Dieter; Leissner, Johanna; Davies, Rob; Remondino, Fabio; Caffo, Rossa. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 926 pages, 494 black & white illustrations, biography. BIC Classification: UG; UKN; UML; UNH; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 46. Weight in Grams: 1271.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 926
- Condition
- New
- SKU
- V9783642342332
- ISBN
- 9783642342332
Paperback
Condition: New
€ 69.79
€ 69.79
Emerging Research in Artificial Intelligence and Computational Intelli...
. Ed(S): Lei, Jingsheng; Wang, Fu Lee; Deng, ...
Paperback. Editor(s): Lei, Jingsheng; Wang, Fu Lee; Deng, Hepu; Miao, Duoqian. Series: Communications in Computer and Information Science. Num Pages: 534 pages, 248 black & white illustrations, biography. BIC Classification: UNF; UYQ; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 743.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 534
- Condition
- New
- SKU
- V9783642342394
- ISBN
- 9783642342394
Paperback
Condition: New
€ 66.56
€ 66.56