Computer programming / software development
Results 2545 - 2568 of 7429
Computer programming / software development
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
€ 121.02
€ 121.02
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
€ 97.23
€ 97.23
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
€ 246.15
€ 246.15
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: 995 pages, 501 black & white illustrations, biography. BIC Classification: UG; UMZ; UNH; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 52. Weight in Grams: 1765.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 995
- Condition
- New
- SKU
- V9783642345272
- ISBN
- 9783642345272
Hardback
Condition: New
€ 246.04
€ 246.04
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: 1027 pages, biography. BIC Classification: UG; UMZ; UNH; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 53. Weight in Grams: 1818.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1027
- Condition
- New
- SKU
- V9783642345210
- ISBN
- 9783642345210
Hardback
Condition: New
€ 246.32
€ 246.32
Hardback. In dem Buch werden quantitative Methoden fur die Bewertung der Produktentwicklung vorgestellt eine Werkzeugsammlung fur die operative und strategische Ebene. Die Autoren zeigen, welche neuen Bewertungsmoglichkeiten die modellgetriebene Entwicklung bringt." Num Pages: 170 pages, black & white illustrations, bibliography. BIC Classification: KJMV5; TGPQ; UMZ. Category: (G) General (US: Trade). Dimension: 241 x 170 x 15. Weight in Grams: 454.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 170
- Condition
- New
- SKU
- V9783642345098
- ISBN
- 9783642345098
Hardback
Condition: New
€ 75.13
€ 75.13
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Implementation and Application of Functional Languages, IFL 2011, held in Lawrence, Kansas, USA, in October 2011. Editor(s): Gill, Andy; Hage, Jurriaan. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 191 pages, 68 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 278.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 191
- Condition
- New
- SKU
- V9783642344060
- ISBN
- 9783642344060
Paperback
Condition: New
€ 81.64
€ 81.64
System Simulation and Scientific Computing, Part II: International Con...
. Ed(S): Xiao, Tianyuan; Zhang, Lin; Ma, Shiw...
paperback. Constitutes the refereed proceedings of the Asia Simulation Conference, AsiaSim 2012, and the International Conference on System Simulation, ICSC 2012, held in Shanghai, China, in October 2012. Editor(s): Xiao, Tianyuan; Zhang, Lin; Ma, Shiwei. Series: Communications in Computer and Information Science. Num Pages: 468 pages, 234 black & white illustrations, biography. BIC Classification: UGK; UKN; UMB; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 654.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Germany
- Edition
- 2012th Edition
- Number of pages
- 468
- Condition
- New
- SKU
- V9783642343957
- ISBN
- 9783642343957
Paperback
Condition: New
€ 65.92
€ 65.92
Paperback. Constitutes the refereed proceedings of the 4th International Conference on Human-Centered Software Engineering, HCSE 2012, held in Toulouse, France, in October 2012. Editor(s): Winckler, Marco; Forbrig, Peter; Bernhaupt, Regina. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 382 pages, 121 black & white illustrations, biography. BIC Classification: UBJ; UKN; UMZ; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 537.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 382
- Condition
- New
- SKU
- V9783642343469
- ISBN
- 9783642343469
Paperback
Condition: New
€ 65.11
€ 65.11
Simulation, Modeling, and Programming for Autonomous Robots
. Ed(S): Noda, Itsuki; Ando, Noriako; Brugali...
Paperback. Constitutes the refereed proceedings of the Third International Conference on Simulation, Modeling, and Programming for Autonomous Robots, SIMPAR 2012, held in Tsukuba, Japan, in November 2012. Editor(s): Noda, Itsuki; Ando, Noriako; Brugali, Davide; Kuffner, James J. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 428 pages, 198 black & white illustrations, biography. BIC Classification: UGK; UKN; UMZ; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 600.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 428
- Condition
- New
- SKU
- V9783642343261
- ISBN
- 9783642343261
Paperback
Condition: New
€ 65.54
€ 65.54
Paperback. Constitutes the conference proceedings of the 10th International Conference on Service-Oriented Computing, ICSOC 2012, held in Shanghai, China in November 2012. Editor(s): Liu, Chengfei; Ludwig, Heiko; Toumani, Farouk; Yu, Qi. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 815 pages, 258 black & white illustrations, biography. BIC Classification: KJQ; UKN; UMZ; UNH; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 41. Weight in Grams: 1122.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 815
- Condition
- New
- SKU
- V9783642343209
- ISBN
- 9783642343209
Paperback
Condition: New
€ 69.20
€ 69.20
Paperback. Editor(s): Nijholt, Anton; Romao, Teresa; Reidsma, Dennis. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 623 pages, 337 black & white illustrations, biography. BIC Classification: UKN; UMB; UNH; UYQ; UYQV; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 31. Weight in Grams: 862.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 623
- Condition
- New
- SKU
- V9783642342912
- ISBN
- 9783642342912
Paperback
Condition: New
€ 67.39
€ 67.39
Paperback. Editor(s): Hu, Shi-Min; Martin, Ralph. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 280 pages, 116 black & white illustrations, biography. BIC Classification: UMB; UML; UNH; UYQ; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 400.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 280
- Condition
- New
- SKU
- V9783642342622
- ISBN
- 9783642342622
Paperback
Condition: New
€ 82.30
€ 82.30
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
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
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. Editor(s): Eder, Kerstin; Lourenco, Joao; Shehory, Onn. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 275 pages, 95 black & white illustrations, biography. BIC Classification: UMX; UMZ. 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
- Edition
- 2012th Edition
- Number of pages
- 275
- Condition
- New
- SKU
- V9783642341878
- ISBN
- 9783642341878
Paperback
Condition: New
€ 82.30
€ 82.30
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
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
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. 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 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
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
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