.png){kind=logo}
Computer programming / software development
Results 5901 - 5920 of 8428
Computer programming / software development
Paperback. Constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. Editor(s): Gramlich, Bernhard; Miller, Dale; Sattler, Ulrike. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 582 pages, 90 black & white illustrations, biography. BIC Classification: UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 808.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 582
- Condition
- New
- SKU
- V9783642313646
- ISBN
- 9783642313646
Paperback
Condition: New
€ 69.70
€ 69.70
Paperback. Constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012 and more. Editor(s): Jeuring, Johan; Campbell, John; Carette, Jacques; Dos Reis, Gabriel; Sojka, Petr; Wenzel, Makarius; Sorge, Volker. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 491 pages, 117 black & white illustrations, biography. BIC Classification: UM; UNH; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 684.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 491
- Condition
- New
- SKU
- V9783642313738
- ISBN
- 9783642313738
Paperback
Condition: New
€ 68.83
€ 68.83
Paperback. Editor(s): Parthasarathy, Madhusudan; Seshia, Sanjit A. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 805 pages, 192 black & white illustrations, biography. BIC Classification: UK; UMZT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 40. Weight in Grams: 1111.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 805
- Condition
- New
- SKU
- V9783642314230
- ISBN
- 9783642314230
Paperback
Condition: New
€ 71.93
€ 71.93
Paperback. Editor(s): Wyrzykowski, Roman; Dongarra, Jack; Karczewski, Konrad J.; Wasniewski, Jerzy. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 792 pages, 251 black & white illustrations, biography. BIC Classification: UMB; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 154 x 42. Weight in Grams: 1176.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012th Edition
- Number of pages
- 796
- Condition
- New
- SKU
- V9783642314636
- ISBN
- 9783642314636
Paperback
Condition: New
€ 71.86
€ 71.86
Paperback. Editor(s): Lassiter, Daniel; Slavkovik, Marija. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 260 pages, 38 black & white illustrations, biography. BIC Classification: UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 348.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 260
- Condition
- New
- SKU
- V9783642314667
- ISBN
- 9783642314667
Paperback
Condition: New
€ 60.93
€ 60.93
Paperback. Editor(s): Bezhanishvili, Nick; Goranko, Valentin. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 265 pages, 41 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 265
- Condition
- New
- SKU
- V9783642314841
- ISBN
- 9783642314841
Paperback
Condition: New
€ 61.25
€ 61.25
Paperback. Editor(s): Vallecillo, Antonio; Tolvanen, Juha-Pekka; Kindler, Ekkart; Storrle, Harald; Kolovos, Dimitris. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 459 pages, 188 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 643.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 459
- Condition
- New
- SKU
- V9783642314902
- ISBN
- 9783642314902
Paperback
Condition: New
€ 68.56
€ 68.56
Hardcover. Based on the economic principles and rules of the software industry, this book reveals strategies and business models including cooperation, distribution, pricing and production. Coverage includes discussion of software as a service and platform concepts. Num Pages: 236 pages, biography. BIC Classification: KJMV6; KJQ; UF; UMZ. Category: (P) Professional & Vocational. Dimension: 240 x 165 x 18. Weight in Grams: 494.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2013th Edition
- Number of pages
- 250
- Condition
- New
- SKU
- V9783642315091
- ISBN
- 9783642315091
Hardback
Condition: New
€ 100.57
€ 100.57
Paperback. Editor(s): Meghanathan, Natarajan; Nagamalai, Dhinaharan; Chaki, Nabendu. Series: Advances in Intelligent Systems and Computing. Num Pages: 836 pages, 403 black & white illustrations, biography. BIC Classification: THR; UMB; UYQ; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 46. Weight in Grams: 1258.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 836
- Condition
- New
- SKU
- V9783642315121
- ISBN
- 9783642315121
Paperback
Condition: New
€ 254.62
€ 254.62
Paperback. Editor(s): Meghanathan, Natarajan; Nagamalai, Dhinaharan; Chaki, Nabendu. Series: Advances in Intelligent Systems and Computing. Num Pages: 952 pages, 403 black & white illustrations, biography. BIC Classification: THR; UMB; UYQ; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 48. Weight in Grams: 1431.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 952
- Condition
- New
- SKU
- V9783642315510
- ISBN
- 9783642315510
Paperback
Condition: New
€ 377.34
€ 377.34
Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 300 pages, 69 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 158 x 235 x 17. Weight in Grams: 488.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer
- Edition
- 2012th Edition
- Condition
- New
- SKU
- V9783642315541
- ISBN
- 9783642315541
Paperback
Condition: New
€ 94.81
€ 94.81
Articulated Motion and Deformable Objects: 7th International Conferenc...
. Ed(S): Perales Lopez, Francisco Jose; Fishe...
paperback. Editor(s): Perales Lopez, Francisco Jose; Fisher, Robert B.; Moeslund, Thomas B. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 307 pages, 143 black & white illustrations, biography. BIC Classification: UML; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 438.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Germany
- Edition
- 2012th Edition
- Number of pages
- 307
- Condition
- New
- SKU
- V9783642315664
- ISBN
- 9783642315664
Paperback
Condition: New
€ 67.09
€ 67.09
Paperback. Editor(s): Agotnes, T.; Broersen, Jan M.; Elgesem, Dag. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 227 pages, 21 black & white illustrations, biography. BIC Classification: PBD; UM; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 327.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 227
- Condition
- New
- SKU
- V9783642315695
- ISBN
- 9783642315695
Paperback
Condition: New
€ 61.41
€ 61.41
Paperback. Editor(s): Huang, De-Shuang (Chinese Academy of Sciences); Ma, Jianhua; Jo, Kang-Hyun; Gromiha, M. Michael. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 705 pages, 265 black & white illustrations, biography. BIC Classification: UMB; UNF; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 35. Weight in Grams: 976.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 705
- Condition
- New
- SKU
- V9783642315756
- ISBN
- 9783642315756
Paperback
Condition: New
€ 70.99
€ 70.99
Paperback. Editor(s): Meghanathan, Natarajan; Nagamalai, Dhinaharan; Chaki, Nabendu. Series: Advances in Intelligent Systems and Computing. Num Pages: 744 pages, 369 black & white illustrations, biography. BIC Classification: THR; UMB; UYQ; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 38. Weight in Grams: 1122.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 744
- Condition
- New
- SKU
- V9783642315992
- ISBN
- 9783642315992
Paperback
Condition: New
€ 374.84
€ 374.84
Theory and Applications of Satisfiability Testing - SAT 2012
. Ed(S): Cimatti, Alessandro; Sebastiani, Rob...
Paperback. Editor(s): Cimatti, Alessandro; Sebastiani, Roberto. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 514 pages, 364 black & white illustrations, biography. BIC Classification: PBW; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 722.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 514
- Condition
- New
- SKU
- V9783642316111
- ISBN
- 9783642316111
Paperback
Condition: New
€ 69.16
€ 69.16
Descriptional Complexity of Formal Systems: 14th International Worksho...
. Ed(S): Kutrib, Martin; Moreira, Nelma; Reis...
paperback. Constitutes the refereed proceedings of the 14th International Workshop of Descriptional Complexity of Formal Systems 2012, held in Braga, Portugal, in July 2012. Editor(s): Kutrib, Martin; Moreira, Nelma; Reis, Rogerio. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 329 pages, 23 black & white illustrations, biography. BIC Classification: UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 467.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Germany
- Edition
- 2012th Edition
- Number of pages
- 329
- Condition
- New
- SKU
- V9783642316227
- ISBN
- 9783642316227
Paperback
Condition: New
€ 67.29
€ 67.29
Paperback. Constitutes the refereed proceedings of the 11th International Conference on Ad-hoc, Mobile, and Wireless Networks, ADHOC-NOW 2012 held in Belgrade, Serbia, July 9-11, 2012. Editor(s): Li, Xiang-Yang; Papavassiliou, Symeon; Ruehrup, Stefan. Series: Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications. Num Pages: 502 pages, black & white illustrations. BIC Classification: TJK; UMZ; UNH; UYZM. Category: (P) Professional & Vocational. Dimension: 236 x 152 x 26. Weight in Grams: 754.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012th Edition
- Number of pages
- 502
- Condition
- New
- SKU
- V9783642316371
- ISBN
- 9783642316371
Paperback
Condition: New
€ 68.95
€ 68.95
Paperback. Constitutes the refereed proceedings of the 16th International Conference on Developments in Language Theory, DLT 2012, held in Taipei, Taiwan, in August 2012. Editor(s): Yen, Hsu-Chun; Ibarra, Oscar H. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 491 pages, 65 black & white illustrations, biography. BIC Classification: GPJ; UM; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 686.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 491
- Condition
- New
- SKU
- V9783642316524
- ISBN
- 9783642316524
Paperback
Condition: New
€ 68.90
€ 68.90
Advanced Technologies for Intelligent Systems of National Border Secur...
. Ed(S): Nawrat, Aleksander; Simek, Krzysztof...
hardcover. More complex, and more highly integrated, unmanned ground and aerial vehicle systems are transforming the nature of border security. This volume presents the latest and most advanced technologies, which include innovative, autonomous algorithms. Editor(s): Nawrat, Aleksander; Simek, Krzysztof; Swierniak, Andrzej. Series: Studies in Computational Intelligence. Num Pages: 282 pages, biography. BIC Classification: UMB; UYQV. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 613.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2013th Edition
- Number of pages
- 282
- Condition
- New
- SKU
- V9783642316647
- ISBN
- 9783642316647
Hardback
Condition: New
€ 128.81
€ 128.81