.png){kind=logo}
Computer programming / software development
Results 2353 - 2376 of 8431
Computer programming / software development
Paperback. Constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012. Editor(s): Hawblitzel, Chris; Miller, Dale. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 315 pages, 64 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 445.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 315
- Condition
- New
- SKU
- V9783642353079
- ISBN
- 9783642353079
Paperback
Condition: New
€ 67.15
€ 67.15
Computer Applications for Software Engineering, Disaster Recovery, and...
. Ed(S): Kim, Tai-Hoon; Ramos, Carlos; Kim, H...
Paperback. Editor(s): Kim, Tai-hoon; Ramos, Carlos; Kim, Haeng-Kon; Kiumi, Akingbehin; Mohammed, Sabah; Slezak, Dominik. Series: Communications in Computer and Information Science. Num Pages: 494 pages, 263 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 689.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 494
- Condition
- New
- SKU
- V9783642352669
- ISBN
- 9783642352669
Paperback
Condition: New
€ 68.92
€ 68.92
Computer Applications for Security, Control and System Engineering
. Ed(S): Kim, Tai-Hoon; Stoica, Adrian; Fang,...
Paperback. Editor(s): Kim, Tai-hoon; Stoica, Adrian; Fang, Wai-Chi; Vasilakos, Thanos; Villalba, Javier Garcia; Arnett, Kirk P.; Khurram Khan, Muhammad; Kang, Byeong Ho. Series: Communications in Computer and Information Science. Num Pages: 508 pages, 228 black & white illustrations, biography. BIC Classification: UBJ; UKN; UMB; UNH; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 26. Weight in Grams: 708.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 508
- Condition
- New
- SKU
- V9783642352638
- ISBN
- 9783642352638
Paperback
Condition: New
€ 69.07
€ 69.07
Green and Smart Technology with Sensor Applications
. Ed(S): Cho, Hyun-Seob; Kim, Tai-Hoon; Moham...
Paperback. Editor(s): Cho, Hyun-seob; Kim, Tai-hoon; Mohammed, Sabah; Adeli, Hojjat; Oh, Myoung-Kwan; Lee, Keun-Wang. Series: Communications in Computer and Information Science. Num Pages: 434 pages, 256 black & white illustrations, biography. BIC Classification: UKN; UMB; UMZ; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 608.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 434
- Condition
- New
- SKU
- V9783642352508
- ISBN
- 9783642352508
Paperback
Condition: New
€ 68.35
€ 68.35
Computer Applications for Modeling, Simulation, and Automobile
. Ed(S): Kim, Tai-Hoon; Ramos, Carlos; Abawaj...
Paperback. Editor(s): Kim, Tai-hoon; Ramos, Carlos; Abawajy, Jemal; Kang, Byeong Ho; Slezak, Dominik; Adeli, Hojjat. Series: Communications in Computer and Information Science. Num Pages: 340 pages, 227 black & white illustrations, biography. BIC Classification: TRC; UGK; UKN; UMB; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 481.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 340
- Condition
- New
- SKU
- V9783642352478
- ISBN
- 9783642352478
Paperback
Condition: New
€ 67.43
€ 67.43
Paperback. Editor(s): Lei, Jingsheng; Wang, Fu Lee; Li, Mo; Luo, Yuan. Series: Communications in Computer and Information Science. Num Pages: 849 pages, 104 black & white illustrations, biography. BIC Classification: UKN; UMA; UR; UT; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 42. Weight in Grams: 1171.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 849
- Condition
- New
- SKU
- V9783642352102
- ISBN
- 9783642352102
Paperback
Condition: New
€ 133.22
€ 133.22
Trends in Intelligent Robotics, Automation, and Manufacturing
. Ed(S): Poonambalam, S. G; Parkkinen, Jussi;...
Paperback. Editor(s): Poonambalam, S. G; Parkkinen, Jussi; Ramanathan, Kuppan Chetty. Series: Communications in Computer and Information Science. Num Pages: 544 pages, 368 black & white illustrations, biography. BIC Classification: UMB; UNH; UYQ; UYQP; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 757.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 544
- Condition
- New
- SKU
- V9783642351969
- ISBN
- 9783642351969
Paperback
Condition: New
€ 69.40
€ 69.40
Paperback. Editor(s): Jhala, Ranjit; Igarashi, Atsushi. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 401 pages, 104 black & white illustrations, biography. BIC Classification: UMX; UMZ; UR; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 565.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 401
- Condition
- New
- SKU
- V9783642351815
- ISBN
- 9783642351815
Paperback
Condition: New
€ 68.05
€ 68.05
The Semantic Web - ISWC 2012. 11th International Semantic Web Conferen...
. Ed(S): Cudre-Mauroux, Philippe; Heflin, Jef...
Paperback. Constitutes the refereed proceedings of the 11th International Semantic Web Conference, ISWC 2012, held in Boston, MA, USA, in November 2012. Editor(s): Cudre-Mauroux, Philippe; Heflin, Jeff; Sirin, Evren; Tudorache, Tania; Euzenat, Jerome; Hauswirth, Manfred; Parreira, Josiane Xavier; Hendler, Jim; Schreiber, Guus; Bernstein, Abraham. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 707 pages, 141 black & white illustrations, biography. BIC Classification: UGD; UMZ; UNF; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 35. Weight in Grams: 976.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 707
- Condition
- New
- SKU
- V9783642351754
- ISBN
- 9783642351754
Paperback
Condition: New
€ 70.99
€ 70.99
The Semantic Web -ISWC 2012. 11th International Semantic Web Conferenc...
. Ed(S): Cudre-Mauroux, Philippe; Heflin, Jef...
Paperback. Constitutes the refereed proceedings of the 11th International Semantic Web Conference, ISWC 2012, held in Boston, MA, USA, in November 2012. Editor(s): Cudre-Mauroux, Philippe; Heflin, Jeff; Sirin, Evren; Tudorache, Tania; Euzenat, Jerome; Hauswirth, Manfred; Parreira, Josiane Xavier; Hendler, Jim; Schreiber, Guus; Bernstein, Abraham. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 497 pages, 119 black & white illustrations, biography. BIC Classification: UGD; UMZ; UNF; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 694.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 497
- Condition
- New
- SKU
- V9783642351723
- ISBN
- 9783642351723
Paperback
Condition: New
€ 68.98
€ 68.98
Paperback. Editor(s): Zanzotto, Fabio; Tsumoto, Shusaku; Taatgen, Niels A.; Yao, Yiyu Y. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 390 pages, 134 black & white illustrations, biography. BIC Classification: UMB; UNH; UYQ; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 548.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 390
- Condition
- New
- SKU
- V9783642351389
- ISBN
- 9783642351389
Paperback
Condition: New
€ 67.93
€ 67.93
Paperback. Editor(s): Sun, Zhenan; Wang, Yunhong; Chen, Xilin; Yuen, P. C.; Lai, Jianhuang. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 402 pages, 184 black & white illustrations, biography. BIC Classification: UMB; UML; UNH; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 565.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 402
- Condition
- New
- SKU
- V9783642351358
- ISBN
- 9783642351358
Paperback
Condition: New
€ 68.01
€ 68.01
paperback. Editor(s): Thielscher, Michael; Zhang, Dongmo. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 937 pages, 244 black & white illustrations, biography. BIC Classification: UMB; UNH; UYQ; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 47. Weight in Grams: 1413.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012th Edition
- Number of pages
- 937
- Condition
- New
- SKU
- V9783642351006
- ISBN
- 9783642351006
Paperback
Condition: New
€ 73.30
€ 73.30
Paperback. Editor(s): Papasratorn, Borworn; Charoenkitkarn, Nipon; Lavangnananda, Kittichai; Chutimaskul, Wichian; Vanijja, Vajirasak. Series: Communications in Computer and Information Science. Num Pages: 207 pages, 81 black & white illustrations, biography. BIC Classification: UMZ; UNH; URY; UT; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 299.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 207
- Condition
- New
- SKU
- V9783642350757
- ISBN
- 9783642350757
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Editor(s): Wang, X. Sean; Cruz, Isabel F. (University of Illinois); Delis, Alex; Huang, Guangyan. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 843 pages, 280 black & white illustrations, biography. BIC Classification: UMZ; UNF; UNH; UT; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 42. Weight in Grams: 1160.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 843
- Condition
- New
- SKU
- V9783642350627
- ISBN
- 9783642350627
Paperback
Condition: New
€ 72.34
€ 72.34
Paperback. Editor(s): Paterno, Fabio; Ruyter, Boris de; Markopoulos, Panos; Santoro, Carmen; Loenen, Evert van; Luyten, Kris. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 477 pages, 158 black & white illustrations, biography. BIC Classification: UBJ; UKN; UMZ; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 668.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 477
- Condition
- New
- SKU
- V9783642348976
- ISBN
- 9783642348976
Paperback
Condition: New
€ 68.80
€ 68.80
Leveraging Applications of Formal Methods, Verification, and Validatio...
. Ed(S): Hahnle, Reiner; Knoop, Jens; Margari...
Paperback. Contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria. Editor(s): Hahnle, Reiner; Knoop, Jens; Margaria, Tiziana; Schreiner, Dietmar; Steffen, Bernhard. Series: Communications in Computer and Information Science. Num Pages: 273 pages, 94 black & white illustrations, biography. BIC Classification: UMZ; UNF; UNH; UYQ; UYQP; 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
- 273
- Condition
- New
- SKU
- V9783642347801
- ISBN
- 9783642347801
Paperback
Condition: New
€ 66.97
€ 66.97
Advances in Multimedia Information Processing, PCM 2012
Sun, Ming-Ting. Ed(S): Lin, Weisi; Xu, Dong; ...
Paperback. Constitutes the proceedings of the 13th Pacific Rim Conference on Multimedia, held in Singapore during December 4-6, 2012. Editor(s): Lin, Weisi; Xu, Dong; Ho, Anthony T. S.; Ying, He; Jianxin, Wu; Cai, Jianfei; Kankanhalli, Mohan. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 903 pages, 440 black & white illustrations, biography. BIC Classification: UG; UKN; UMZ; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 45. Weight in Grams: 1241.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 903
- Condition
- New
- SKU
- V9783642347771
- ISBN
- 9783642347771
Paperback
Condition: New
€ 72.94
€ 72.94
Paperback. Constitutes the refereed proceedings of the 15th International Workshop on Combinatorial Image Analysis, IWCIA 2012, held in Austin, TX, USA in November 2012. Editor(s): Barneva, Reneta P.; Brimkov, Valentin E.; Aggarwal, Jake K. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 313 pages, 176 black & white illustrations, biography. BIC Classification: PBD; UMB; UML; UYA; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 313
- Condition
- New
- SKU
- V9783642347313
- ISBN
- 9783642347313
Paperback
Condition: New
€ 67.27
€ 67.27
Paperback. Editor(s): Kallmann, Marcelo; Bekris, Kostas. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 396 pages, 157 black & white illustrations, biography. BIC Classification: UGK; UML; UYQ; UYQV; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 557.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 396
- Condition
- New
- SKU
- V9783642347092
- ISBN
- 9783642347092
Paperback
Condition: New
€ 67.93
€ 67.93
Paperback. Editor(s): Nielsen, Brian; Weise, Carsten. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 273 pages, 97 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYQE; UYZM. 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
- 273
- Condition
- New
- SKU
- V9783642346903
- ISBN
- 9783642346903
Paperback
Condition: New
€ 66.95
€ 66.95
Hardback. This book surveys the challenges of creating a robot that emulates the walking and rolling locomotion behavior of the spider Cebrennus villosus. Covers hardware constraints, and development of a special leg structure, on the way to achieving a robot prototype. Series: Biosystems & Biorobotics. Num Pages: 104 pages, biography. BIC Classification: TDPB; TJFM1; UM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 327.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 104
- Condition
- New
- SKU
- V9783642346811
- ISBN
- 9783642346811
Hardback
Condition: New
€ 126.92
€ 126.92
Hardcover. This book offers a comprehensive guide to model-based engineering of embedded systems, with sections titled Starting Point, SPES Modeling Theory, Application and Evaluation of the SPES Methodology and Impact of the SPES Methodology. Editor(s): Pohl, Klaus; Honninger, Harald; Achatz, Reinhold; Broy, Manfred. Num Pages: 316 pages, biography. BIC Classification: TRC; TRP; UBH; UMZ; UYQE. Category: (P) Professional & Vocational. Dimension: 240 x 168 x 23. Weight in Grams: 705.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012th Edition
- Number of pages
- 299
- Condition
- New
- SKU
- V9783642346132
- ISBN
- 9783642346132
Hardback
Condition: New
€ 101.77
€ 101.77
Proceedings of the 2012 International Conference on Information Techno...
. Ed(S): Lu, Wei; Cai, Guoqiang; Liu, Weibin;...
Hardback. Constitutes the proceedings of the 2012 International Conference on Information Technology and Software Engineering presents selected articles from this major event, which was held in Beijing, December 8-10, 2012. Editor(s): Lu, Wei; Cai, Guoqiang; Liu, Weibin; Xing, Weiwei. Series: Lecture Notes in Electrical Engineering. Num Pages: 1006 pages, biography. BIC Classification: UG; UMZ; UNH; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 52. Weight in Grams: 1785.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1006
- Condition
- New
- SKU
- V9783642345302
- ISBN
- 9783642345302
Hardback
Condition: New
€ 256.72
€ 256.72