.png){kind=logo}
Computer programming / software development
Results 4849 - 4872 of 7836
Computer programming / software development
Paperback. Since 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information. This book focuses on Logic and Computation and, more specifically, on automata-based decidability techniques for time granularity and on a fresh method for deciding Monadic Second Order theories of trees. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 206 pages, 41 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 206
- Condition
- New
- SKU
- V9783642118807
- ISBN
- 9783642118807
Paperback
Condition: New
€ 66.95
€ 66.95
Approaches and Applications of Inductive Programming
. Ed(S): Schmid, Ute; Kitzelmann, Emanuel; Pl...
Paperback. Constitutes revised papers of the Third International Workshop on approaches and Applications of Inductive Programming, AAIP 2009, held in Edinburgh, UK, in September 2009. Containing 7 full papers that were carefully reviewed and selected, this book also includes two invited papers. Editor(s): Schmid, Ute; Kitzelmann, Emanuel; Plasmeijer, Rinus. Series: Lecture Notes in Computer Science. Num Pages: 204 pages, 14 black & white illustrations, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 235 x 157 x 12. Weight in Grams: 324.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 204
- Condition
- New
- SKU
- V9783642119309
- ISBN
- 9783642119309
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Constitutes the refereed proceedings of the 19th European Symposium on Programming, ESOP 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 647 pages, biography. BIC Classification: UKN; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 985.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 647
- Condition
- New
- SKU
- V9783642119569
- ISBN
- 9783642119569
Paperback
Condition: New
€ 131.93
€ 131.93
Paperback. Constitutes the refereed post-conference proceedings of the 18th International Workshop on Functional and Constraint Logic Programming, WFLP 2009, held in Brasilia, Brazil, in June 2009 as part of RDP 2009, the Federated Conference on Rewriting, Deduction, and Programming. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 188 pages, 35 black & white illustrations, biography. BIC Classification: UMJ. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 13. Weight in Grams: 302.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 188
- Condition
- New
- SKU
- V9783642119989
- ISBN
- 9783642119989
Paperback
Condition: New
€ 66.95
€ 66.95
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Esparza, Javier; Majumdar, Rupak
Paperback. Constitutes the refereed proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software. Editor(s): Esparza, Javier; Majumdar, Rupak. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 484 pages, 102 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 25. Weight in Grams: 741.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 484
- Condition
- New
- SKU
- V9783642120015
- ISBN
- 9783642120015
Paperback
Condition: New
€ 68.83
€ 68.83
Paperback. Includes the refereed proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering, FASE 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software. Editor(s): Rosenblum, David S.; Taentzer, Gabriele. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 396 pages, 127 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 23. Weight in Grams: 611.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 396
- Condition
- New
- SKU
- V9783642120282
- ISBN
- 9783642120282
Paperback
Condition: New
€ 67.99
€ 67.99
Paperback. Includes the refereed proceedings of the 13th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 404 pages, 47 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 23. Weight in Grams: 623.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 404
- Condition
- New
- SKU
- V9783642120312
- ISBN
- 9783642120312
Paperback
Condition: New
€ 68.08
€ 68.08
Paperback. Includes the refereed proceedings of the 4th International Conference on Information Systems, Technology and Management, ICISTM 2010, held in Bangkok, Thailand, in March 2010. Series: Communications in Computer and Information Science. Num Pages: 434 pages, 165 black & white illustrations, biography. BIC Classification: UG; UKR; UMZ; UNF; URY. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 23. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 434
- Condition
- New
- SKU
- V9783642120343
- ISBN
- 9783642120343
Paperback
Condition: New
€ 129.08
€ 129.08
Paperback. Constitutes the refereed proceedings of the Second International Conference on Intelligent Information and Database Systems, ACIIDS 2010, held in Hue City, Vietnam, in March 2010. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 506 pages, 192 black & white illustrations, biography. BIC Classification: UKR; UMB; UNF; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 705.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 506
- Condition
- New
- SKU
- V9783642121005
- ISBN
- 9783642121005
Paperback
Condition: New
€ 129.83
€ 129.83
Paperback. Includes the refereed proceedings of the 15th International GI/ITG Conference on 'Measurement, Modelling and Evaluation of Computing Systems' and 'Dependability and Fault Tolerance', held in Essen, Germany, in March 2010. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 334 pages, 120 black & white illustrations, biography. BIC Classification: UB; UKN; UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 473.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 334
- Condition
- New
- SKU
- V9783642121036
- ISBN
- 9783642121036
Paperback
Condition: New
€ 67.36
€ 67.36
Paperback. Constitutes the refereed post-conference proceedings of the Second International Conference on Software Language Engineering, SLE 2009, held in Denver, CO, USA, in October 2009. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 390 pages, 126 black & white illustrations, biography. BIC Classification: UGK; UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 226 x 155 x 23. Weight in Grams: 611.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 390
- Condition
- New
- SKU
- V9783642121067
- ISBN
- 9783642121067
Paperback
Condition: New
€ 67.99
€ 67.99
Evolutionary Computation in Combinatorial Optimization: 10th European ...
. Ed(S): Cowling, Peter I.; Merz, Peter
paperback. Constitutes the refereed proceedings of the 10th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2010, held in Instanbul, Turkey, in April 2010. This book discusses developments and applications in metaheuristics. Editor(s): Cowling, Peter I.; Merz, Peter. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 302 pages, 67 black & white illustrations, biography. BIC Classification: PBU; UG; UMB; UYA; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 18. Weight in Grams: 480.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 302
- Condition
- New
- SKU
- V9783642121388
- ISBN
- 9783642121388
Paperback
Condition: New
€ 67.12
€ 67.12
Paperback. This two-volume set synthesizes the Second International Conference on Intelligent Information and Database Systems, ACIIDS 2010. Focusing on both intelligent database systems and Web-based methods, this volume presents up-to-date data management solutions. Editor(s): Nguyen, Ngoc Thanh; Le, Manh Thanh; Swiatek, Jerzy. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 500 pages, 196 black & white illustrations, biography. BIC Classification: UKR; UMB; UNF; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 239 x 155 x 28. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 500
- Condition
- New
- SKU
- V9783642121449
- ISBN
- 9783642121449
Paperback
Condition: New
€ 69.02
€ 69.02
Paperback. Includes refereed post-workshop proceedings of eight international workshops held in Ulm, Germany, in conjunction with the 7th International Conference on Business Process Management, BPM 2009, in September 2009. Editor(s): Rinderle-Ma, Stefanie; Sadiq, Shazia; Leymann, Frank. Series: Lecture Notes in Business Information Processing. Num Pages: 708 pages, 206 black & white illustrations, biography. BIC Classification: KJQ; UKR; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 1098.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 708
- Condition
- New
- SKU
- V9783642121852
- ISBN
- 9783642121852
Paperback
Condition: New
€ 131.99
€ 131.99
Hardback. Constitutes the refereed post-conference proceedings of the Third IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture, CCTA 2009, held in Beijing, China, in October 2009. Editor(s): Li, Daoliang; Zhao, Chunjiang. Series: IFIP Advances in Information and Communication Technology. Num Pages: 576 pages, biography. BIC Classification: PSA; UGK; UMB; UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 31. Weight in Grams: 989.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 576
- Condition
- New
- SKU
- V9783642122194
- ISBN
- 9783642122194
Hardback
Condition: New
€ 131.63
€ 131.63
Paperback. Editor(s): Chio, Cecilia di; Cagnoni, Stefano; Cotta, Carlos; Ebner, Marc; Ekart, Aniko; Esparcia-Alcazar, Anna I.; Goh, Chi-Keong; Merelo, Juan Julian; Neri, Ferrante; Preus, Mike. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 648 pages, 231 black & white illustrations, biography. BIC Classification: UG; UKR; UMB; UYA; UYQN; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 33. Weight in Grams: 979.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st Edition. 2nd Printing. 3rd Printing.
- Number of pages
- 648
- Condition
- New
- SKU
- V9783642122385
- ISBN
- 9783642122385
Paperback
Condition: New
€ 131.97
€ 131.97
Paperback. Constitutes the refereed proceedings of the 10th International Symposium on Functional and Logic Programming, FLOPS 2010, held in Sendai, Japan, in April 2010. Editor(s): Blume, Matthias; Kobayashi, Naoki; Vidal, German. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 366 pages, 46 black & white illustrations, biography. BIC Classification: UMJ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 20. Weight in Grams: 563.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 366
- Condition
- New
- SKU
- V9783642122507
- ISBN
- 9783642122507
Paperback
Condition: New
€ 67.65
€ 67.65
Paperback. Constitutes a collection of the papers selected from 9 workshops and 2 symposia that was held in conjunction with MODELS 2009, the 12 International Conference on Model Driven Engineering Languages and Systems, in Denver, CO, USA, in October 2009. Editor(s): Ghosh, Sudipto. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 370 pages, 139 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 20. Weight in Grams: 575.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 370
- Condition
- New
- SKU
- V9783642122606
- ISBN
- 9783642122606
Paperback
Condition: New
€ 67.75
€ 67.75
Hardback. Contains extended and revised versions of the best papers presented at the 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, held in Rhodes Island, Greece, in October 2008. Editor(s): Piguet, Christian; Reis, Ricardo; Soudris, Dimitrios. Series: IFIP Advances in Information and Communication Technology. Num Pages: 297 pages, biography. BIC Classification: UMB; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 603.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 297
- Condition
- New
- SKU
- V9783642122668
- ISBN
- 9783642122668
Hardback
Condition: New
€ 68.05
€ 68.05
Paperback. Constitutes the refereed post-conference proceedings of the 9th Asian Conference on Computer Vision, ACCV 2009, held in Xi'an, China, in September 2009. Editor(s): Zha, Hongbin; Taniguchi, Rin-Ichiro; Maybank, Stephen. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 704 pages, 345 black & white illustrations, biography. BIC Classification: UGN; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 23. Weight in Grams: 1062.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 704
- Condition
- New
- SKU
- V9783642122965
- ISBN
- 9783642122965
Paperback
Condition: New
€ 132.50
€ 132.50
Paperback / so. Series: eXamen.Press. Num Pages: black & white illustrations, colour illustrations, bibliography. BIC Classification: JNU; KJM; KNB; TH; UMZ; YQS. Category: (G) General (US: Trade). Dimension: 234 x 156 x 9. Weight in Grams: 240.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783642123122
- ISBN
- 9783642123122
Paperback
Condition: New
€ 49.28
€ 49.28
Paperback. Constitutes the refereed proceedings of the 11th International Conference on Passive and Active Measurement, PAM 2010, held in Zurich, Switzerland, in April 2010. This book features the papers that focus on research and practical applications of routing, transport protocols, mobile devices, topology, measurement infrastructure, and the web. Editor(s): Plattner, Bernhard. Series: Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications. Num Pages: 243 pages, 115 black & white illustrations, biography. BIC Classification: UBJ; UKN; UKR; UMB; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 10. Weight in Grams: 385.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 243
- Condition
- New
- SKU
- V9783642123337
- ISBN
- 9783642123337
Paperback
Condition: New
€ 66.95
€ 66.95
Hardback. This book examines how to use agile methods to resolve the inherent communication problems of global teams. It describes implementation strategies, details practical implications for project planning and discusses agile distributed team configuration. Editor(s): Smite, Darja; Moe, Nils Brede; Agerfalk, Par J. Num Pages: 341 pages, biography. BIC Classification: KJMV6; UKR; UMZ. Category: (P) Professional & Vocational. Dimension: 239 x 163 x 25. Weight in Grams: 700.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 341
- Condition
- New
- SKU
- V9783642124419
- ISBN
- 9783642124419
Hardback
Condition: New
€ 68.80
€ 68.80
Paperback. This Festschrift volume, published to honor Esko Ukkonen on his 60th birthday, includes papers that present research on computational pattern matching and string algorithms, two areas that have benefited significantly from the work of Ukonen. Editor(s): Elomaa, Tapio; Mannila, Heikki; Orponen, Pekka. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 271 pages, 65 black & white illustrations, biography. BIC Classification: UMB. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 15. Weight in Grams: 421.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 271
- Condition
- New
- SKU
- V9783642124754
- ISBN
- 9783642124754
Paperback
Condition: New
€ 66.95
€ 66.95