Computer programming / software development
Results 1121 - 1140 of 1981
Computer programming / software development
Theory and Applications of Satisfiability Testing - SAT 2010
. Ed(S): Strichman, Ofer; Szeider, Stefan
Paperback. Constitutes the refereed proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing, SAT 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Strichman, Ofer; Szeider, Stefan. Series: Lecture Notes in Computer Science. Num Pages: 400 pages, 74 black & white illustrations, biography. BIC Classification: PBCD; UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 400
- Condition
- New
- SKU
- V9783642141850
- ISBN
- 9783642141850
Paperback
Condition: New
€ 68.24
€ 68.24
Paperback. Constitutes the proceedings of the Second International Conference on Recent Trends in Wireless and Mobile Networks, held in Ankara, Turkey, in June 2010. Editor(s): Ozcan, Abdulkadir; Chaki, Nabendu; Nagamalai, Dhinaharan. Series: Communications in Computer and Information Science. Num Pages: 446 pages, 183 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 231 x 157 x 25. Weight in Grams: 680.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 446
- Condition
- New
- SKU
- V9783642141706
- ISBN
- 9783642141706
Paperback
Condition: New
€ 129.78
€ 129.78
Paperback. constitutes the refereed proceedings of the 24th European Conference on Object-Oriented Programming, ECOOP 2010, held in Maribor, Slovenia, in June 2010. This book includes papers that cover topics such as programming environments and tools, theoretical foundations of programming languages, formal methods, and concurrency models in Java. Editor(s): D'Hondt, Theo. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 599 pages, 196 black & white illustrations, biography. BIC Classification: MJCM; UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 30. Weight in Grams: 930.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 599
- Condition
- New
- SKU
- V9783642141065
- ISBN
- 9783642141065
Paperback
Condition: New
€ 131.41
€ 131.41
Information Processing and Management of Uncertainty in Knowledge-Base...
. Ed(S): Hullermeier, Eyke; Kruse, Rudolf; Ho...
Paperback. Constitutes the proceedings of the 13th conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, held in Dortmund, Germany, in June 2010. Editor(s): Hullermeier, Eyke; Kruse, Rudolf; Hoffmann, Frank. Series: Communications in Computer and Information Science. Num Pages: 785 pages, 237 black & white illustrations, biography. BIC Classification: UKR; UMB; UMX; UND; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 160 x 28. Weight in Grams: 1111.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 785
- Condition
- New
- SKU
- V9783642140570
- ISBN
- 9783642140570
Paperback
Condition: New
€ 132.59
€ 132.59
Information Processing and Management of Uncertainty in Knowledge-base...
. Ed(S): Hullermeier, Eyke; Kruse, Rudolf; Ho...
Paperback. Constitutes the proceedings of the 13th conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, held in Dortmund, Germany, in June 2010. Editor(s): Hullermeier, Eyke; Kruse, Rudolf; Hoffmann, Frank. Series: Communications in Computer and Information Science. Num Pages: 764 pages, 136 black & white illustrations, biography. BIC Classification: UKR; UMB; UMX; UND; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 1111.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 764
- Condition
- New
- SKU
- V9783642140549
- ISBN
- 9783642140549
Paperback
Condition: New
€ 132.59
€ 132.59
Paperback. Constitutes the proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. This title features the papers that are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools. Editor(s): Kaufmann, Matt; Paulson, Lawrence C. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 495 pages, 82 black & white illustrations, biography. BIC Classification: MJCM; PBCD; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 28. Weight in Grams: 771.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 495
- Condition
- New
- SKU
- V9783642140518
- ISBN
- 9783642140518
Paperback
Condition: New
€ 130.36
€ 130.36
Paperback. Constitutes the refereed proceedings of the 9th International Symposium on Software Composition, SC 2010, held in Malaga, Spain, in July 2010. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 155 pages, 56 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 10. Weight in Grams: 272.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 155
- Condition
- New
- SKU
- V9783642140457
- ISBN
- 9783642140457
Paperback
Condition: New
€ 66.02
€ 66.02
Mechanisms for Autonomous Management of Networks and Services: 4th Int...
. Ed(S): Stiller, Burkhard; Turck, Filip de
paperback. Constitutes the refereed proceedings of the 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, held in Zurich, Switzerland, in June 2010. Editor(s): Stiller, Burkhard; Turck, Filip de. Series: Lecture Notes in Computer Science. Num Pages: 192 pages, 66 black & white illustrations, biography. BIC Classification: UKN; UKR; UL; UMB; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 10. Weight in Grams: 318.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 192
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642139857
- ISBN
- 9783642139857
Paperback
Condition: New
€ 66.32
€ 66.32
Paperback. Constitutes the proceedings of the 4th International Conference on Tests and Proofs, held in Malaga, Spain, in July 2010. Editor(s): Fraser, Gordon; Gargantini, Angelo. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 174 pages, 60 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 10. Weight in Grams: 295.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 174
- Condition
- New
- SKU
- V9783642139765
- ISBN
- 9783642139765
Paperback
Condition: New
€ 66.17
€ 66.17
Paperback. Constitutes the refereed proceedings of the 6th Conference on Computability in Europe, CiE 2010, held in Ponta Delgada, Azores, Portugal, in June/July 2010. Editor(s): Ferreira, Fernando; Lowe, Benedikt; Mayordomo, Elvira; Gomes, Luis Mendes. Series: Lecture Notes in Computer Science. Num Pages: 450 pages, 37 black & white illustrations, biography. BIC Classification: UGK; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 25. Weight in Grams: 703.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 450
- Condition
- New
- SKU
- V9783642139611
- ISBN
- 9783642139611
Paperback
Condition: New
€ 68.83
€ 68.83
Paperback. Constitutes the proceedings of the 48th International Conference on Objects, Models, Components, Patterns, held in Malaga, Spain, in June/July 2010. Editor(s): Vitek, Jan. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 316 pages, 103 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 316
- Condition
- New
- SKU
- V9783642139529
- ISBN
- 9783642139529
Paperback
Condition: New
€ 67.64
€ 67.64
Paperback. Constitutes the proceedings of the 10th International Conference on Web Engineering, held in Vienna, Austria, in July 2010. Editor(s): Benatallah, Boualem; Casati, Fabio; Kappel, Gerti; Rossi, Gustavo. Series: Lecture Notes in Computer Science. Num Pages: 528 pages, 231 black & white illustrations, biography. BIC Classification: UKN; UKR; UMWS; UND; UNF; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 30. Weight in Grams: 816.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 528
- Condition
- New
- SKU
- V9783642139109
- ISBN
- 9783642139109
Paperback
Condition: New
€ 130.67
€ 130.67
Paperback. Constitutes the proceedings of the 17th International Workshop on Fast Software Encryption, held in Seoul, Korea, in February 2010. Editor(s): Iwata, Tetsu. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 385 pages, 71 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 23. Weight in Grams: 590.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 385
- Condition
- New
- SKU
- V9783642138577
- ISBN
- 9783642138577
Paperback
Condition: New
€ 68.09
€ 68.09
Paperback. Constitutes the thoroughly refereed proceedings of the 6th International Conference, QoSA 2010, held in Prague, Czech Republic in June 2010. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 183 pages, 66 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 10. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 183
- Condition
- New
- SKU
- V9783642138201
- ISBN
- 9783642138201
Paperback
Condition: New
€ 66.76
€ 66.76
Paperback. Constitutes the refereed proceedings of the 11th International Conference on Product-Focused Software Process Improvement, PROFES 2010, held in Limerick, Ireland, in June 2010. This book includes papers that are organized in topical sections on software quality assurance; agile software development; and, more. Editor(s): Babar, Muhammad Ali; Vierimaa, Matias; Oivo, Markku. Series: Lecture Notes in Computer Science. Num Pages: 410 pages, 115 black & white illustrations, biography. BIC Classification: UBJ; UGK; UKR; UMZ; UND; UY. Category: (P) Professional & Vocational. Dimension: 233 x 156 x 13. Weight in Grams: 632.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 410
- Condition
- New
- SKU
- V9783642137914
- ISBN
- 9783642137914
Paperback
Condition: New
€ 68.39
€ 68.39
Software Engineering Approaches for Offshore and Outsourced Developmen...
. Ed(S): Nordio, Martin; Joseph, Mathai; Meye...
Paperback. Constitutes the proceedings of the Fourth International Conference on Software Engineering Approaches for Offshore and Outsourced Development, SEAFOOD 2010, held in St Petersburg, Russia, June 17-18, 2010. Editor(s): Nordio, Martin; Joseph, Mathai; Meyer, Bertrand; Terekhov, Andrey. Series: Lecture Notes in Business Information Processing. Num Pages: 97 pages, 16 black & white illustrations, biography. BIC Classification: KJVT; UKR; UMZ. Category: (P) Professional & Vocational. Dimension: 231 x 152 x 8. Weight in Grams: 181.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 97
- Condition
- New
- SKU
- V9783642137839
- ISBN
- 9783642137839
Paperback
Condition: New
€ 65.42
€ 65.42
Paperback. Constitutes the thoroughly refereed proceedings of the 7th International Conference, ICIAR 2010, held in Povoa de Varzin, Portugal in June 2010. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 460 pages, 275 black & white illustrations, biography. BIC Classification: UG; UKR; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 25. Weight in Grams: 703.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 460
- Condition
- New
- SKU
- V9783642137747
- ISBN
- 9783642137747
Paperback
Condition: New
€ 68.83
€ 68.83
paperback. Constitutes the refereed proceedings of the 7th International Conference, ICIAR 2010, held in Povoa de Varzin, Portugal in June 2010. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 460 pages, 239 black & white illustrations, biography. BIC Classification: UG; UKR; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 25. Weight in Grams: 726.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 460
- Condition
- New
- SKU
- V9783642137716
- ISBN
- 9783642137716
Paperback
Condition: New
€ 68.98
€ 68.98
Paperback. Constitutes the refereed proceedings of the Third International Conference, ICMT 2010, held in Malaga, Spain, in June 2010. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 278 pages, 95 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 15. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 278
- Condition
- New
- SKU
- V9783642136870
- ISBN
- 9783642136870
Paperback
Condition: New
€ 68.39
€ 68.39
Paperback. Constitutes the refereed proceedings of the 4th International Conference on Image and Signal Processing, ICISP 2010, held in Quebec, Canada June 30 - July 2, 2010. The 69 revised full papers were carefully selected from 165 submissions. Editor(s): El Chakik, Abdallah; Meunier, Jean Dominique. Series: Lecture Notes in Computer Science. Num Pages: 603 pages, 257 black & white illustrations, biography. BIC Classification: UGN; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 33. Weight in Grams: 1021.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 603
- Condition
- New
- SKU
- V9783642136801
- ISBN
- 9783642136801
Paperback
Condition: New
€ 131.99
€ 131.99