Computer programming / software development
Results 2809 - 2832 of 8712
Computer programming / software development
Hardback. Der Band enthalt Beitrage zur Entwicklung und Anwendung von Agentensystemen in der Automatisierungstechnik. Die Autoren geben den neuesten Stand von Technik und Forschung dieser Zukunftstechnologie wieder und liefern Best-Practice-Beispiele aus der Industrie." Editor(s): Gohner, Peter. Series: Xpert.Press. Num Pages: 303 pages, black & white illustrations, black & white tables, bibliography. BIC Classification: TJFM1; UMZ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 19. Weight in Grams: 643.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 303
- Condition
- New
- SKU
- V9783642317675
- ISBN
- 9783642317675
Hardback
Condition: New
€ 144.97
€ 144.97
Paperback. Presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 - organised by COST Action IC0701. Editor(s): Beckert, Bernhard; Damiani, Ferruccio; Gurov, Dilian. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 261 pages, 34 black & white illustrations, biography. BIC Classification: UMX; UMZT; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 375.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 261
- Condition
- New
- SKU
- V9783642317613
- ISBN
- 9783642317613
Paperback
Condition: New
€ 58.70
€ 58.70
Paperback. Constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. Editor(s): Donaldson, Alastair; Parker, David. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 271 pages, 85 black & white illustrations, biography. BIC Classification: UMZT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 271
- Condition
- New
- SKU
- V9783642317583
- ISBN
- 9783642317583
Paperback
Condition: New
€ 82.30
€ 82.30
Paperback. Constitutes the refereed proceedings of the 12th International Conference on Web Engineering, ICWE 2012, held in Berlin, Germany, in July 2012. Editor(s): Brambilla, Marco; Tokuda, T.; Tolksdorf, Robert. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 522 pages, 177 black & white illustrations, biography. BIC Classification: UMW; UMZ; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 741.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 522
- Condition
- New
- SKU
- V9783642317521
- ISBN
- 9783642317521
Paperback
Condition: New
€ 66.53
€ 66.53
Hardback. Contains, every year, selected extended papers from the corresponding 3IA Conference of the year. This volume is made from directly reviewed and selected papers. Editor(s): Plemenos, Dimitri; Miaoulis, Georgios. Series: Studies in Computational Intelligence. Num Pages: 290 pages, biography. BIC Classification: UML; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 613.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 290
- Condition
- New
- SKU
- V9783642317446
- ISBN
- 9783642317446
Hardback
Condition: New
€ 123.58
€ 123.58
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
€ 123.58
€ 123.58
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
€ 66.16
€ 66.16
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
€ 65.92
€ 65.92
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
€ 64.62
€ 64.62
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
€ 66.41
€ 66.41
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
€ 359.19
€ 359.19
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
€ 68.16
€ 68.16
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
€ 58.98
€ 58.98
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
€ 64.39
€ 64.39
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
€ 90.59
€ 90.59
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
€ 361.75
€ 361.75
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
€ 244.15
€ 244.15
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
€ 96.10
€ 96.10
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
€ 65.81
€ 65.81
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
€ 58.81
€ 58.81
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
€ 58.53
€ 58.53
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
€ 68.70
€ 68.70
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
€ 69.03
€ 69.03
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
€ 66.09
€ 66.09