Computer programming / software development
Results 1821 - 1840 of 7836
Computer programming / software development
Paperback. Presents six revised lectures given at the Spring School on Datatype-Generic Programming, SSDGP 2006, held in Nottingham, UK, in April 2006, colocated with the Symposium on Trends in Functional Programming (TFP 2006), and the Conference of the Types Project (TYPES 2006). Series: Lecture Notes in Computer Science. Num Pages: 383 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 587.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 383
- Condition
- New
- SKU
- V9783540767855
- ISBN
- 9783540767855
Paperback
Condition: New
€ 67.84
€ 67.84
Paperback. Constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. This book includes papers that are organized in topical sections on security and knowledge, embedded systems, testing, automated analysis, hardware and concurrency. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 395 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 611.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 395
- Condition
- New
- SKU
- V9783540766483
- ISBN
- 9783540766483
Paperback
Condition: New
€ 68.03
€ 68.03
paperback. Constitutes the refereed proceedings of the 5th International Conference on Machines, Computations, and Universality, MCU 2007, held in Orleans, France, September 10-13, 2007. This book presents 18 revised full papers together with 9 invited papers that were reviewed and selected. Series: Lecture Notes in Computer Science. Num Pages: 338 pages, biography. BIC Classification: UK; UMB; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer Germany
- Edition
- 2007th Edition
- Number of pages
- 338
- Condition
- New
- SKU
- V9783540745921
- ISBN
- 9783540745921
Paperback
Condition: New
€ 67.43
€ 67.43
Paperback. Constitutes the refereed proceedings of the 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2007, held in Medford, MA, USA in July 2007. This work contains papers that are organized in topical sections on component-based architectures and change, quality of service and runtime verification and monitoring. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 297 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 16. Weight in Grams: 427.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 297
- Condition
- New
- SKU
- V9783540735502
- ISBN
- 9783540735502
Paperback
Condition: New
€ 67.00
€ 67.00
Paperback. Constitutes the proceedings of the 8th International Conference on Agile Processes in Software Engineering and eXtreme Programming, XP 2007, held in Como, Italy in June 2007. This book includes papers that are organized in topical sections on managing agile processes, extending agile methodologies, empirical studies, and methodology issue. Series: Lecture Notes in Computer Science. Num Pages: 295 pages, biography. BIC Classification: UMF; UMH. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 421.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 295
- Condition
- New
- SKU
- V9783540731009
- ISBN
- 9783540731009
Paperback
Condition: New
€ 67.00
€ 67.00
Paperback. Constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus in June 2007. This title presents 17 revised full papers together with 2 invited papers that were reviewed and selected from 45 submissions. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 327 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 516.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 327
- Condition
- New
- SKU
- V9783540729198
- ISBN
- 9783540729198
Paperback
Condition: New
€ 67.39
€ 67.39
Paperback. Constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development Techniques, WADT 2006, held in La Roche en Ardenne, Belgium, June 2006. This title addresses topics such as formal methods for system development, specification languages and methods, and distributed and mobile systems. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 182 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 600.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 182
- Condition
- New
- SKU
- V9783540719977
- ISBN
- 9783540719977
Paperback
Condition: New
€ 67.93
€ 67.93
paperback. Constitutes the refereed postproceedings of the Third International Workshop on Rapid Integration of Software Engineering Techniques, RISE 2006, held in Geneva, Switzerland, September 2006. This book covers a wide spectrum in software engineering, including software and system architectures, software reuse, software testing, and more. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 186 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 278.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2007th Edition
- Number of pages
- 186
- Condition
- New
- SKU
- V9783540718758
- ISBN
- 9783540718758
Paperback
Condition: New
€ 67.99
€ 67.99
Hardback. Num Pages: 424 pages, black & white illustrations. BIC Classification: KJMV5; TBC; UMZ. Category: (G) General (US: Trade). Dimension: 234 x 156 x 23. Weight in Grams: 769.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 424
- Condition
- New
- SKU
- V9783540710479
- ISBN
- 9783540710479
Hardback
Condition: New
€ 152.19
€ 152.19
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the joint International Workshops on Semantic Web, Ontologies and Databases, SWDB-ODBIS 2007, co-located with the 33rd International Conference on Very Large Data Bases, VLDB 2007, held in Vienna, Austria, in September 2007. Series: Lecture Notes in Computer Science. Num Pages: 163 pages, biography. BIC Classification: UBW; UMB; UNF; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 249.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 163
- Condition
- New
- SKU
- V9783540709596
- ISBN
- 9783540709596
Paperback
Condition: New
€ 65.74
€ 65.74
Paperback. Constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008. This work addresses issues ranging from algorithmics to support for program construction in programming languages and systems. Series: Lecture Notes in Computer Science. Num Pages: 433 pages, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 664.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 433
- Condition
- New
- SKU
- V9783540705932
- ISBN
- 9783540705932
Paperback
Condition: New
€ 68.35
€ 68.35
Paperback. Constitutes the proceedings of the 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008, held in London, UK, in June 2008. This work includes papers that are organized in topical sections on natural language processing and understanding, information retrieval, and document processing and text mining. Series: Lecture Notes in Computer Science. Num Pages: 386 pages, 1, black & white illustrations. BIC Classification: UKN; UMX; UND; UNF; UYQL. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 25. Weight in Grams: 600.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2008th Edition
- Number of pages
- 412
- Condition
- New
- SKU
- V9783540698579
- ISBN
- 9783540698579
Paperback
Condition: New
€ 68.11
€ 68.11
Paperback. Constitutes the refereed proceedings of the 9th International Conference on Product Focused Software Process Improvement, PROFES 2008, held in Monte Porzio Catone, Italy, in June 2008. This title includes papers that address different development modes, roles in the value chain, stakeholders' viewpoints, as well as economic and quality aspects. Series: Lecture Notes in Computer Science. Num Pages: 468 pages, 1, black & white illustrations. BIC Classification: UBJ; UKR; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 235 x 157 x 28. Weight in Grams: 686.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2008th Edition
- Number of pages
- 468
- Condition
- New
- SKU
- V9783540695646
- ISBN
- 9783540695646
Paperback
Condition: New
€ 68.66
€ 68.66
Paperback. Constitutes the refereed proceedings of the 20th International Conference on Advanced Information Systems Engineering, CAiSE 2008, held in Montpellier, France, in June 2008. This work presents papers organized in topical sections on duality and process modelling, interoperability of IS and enterprises, refactoring, and service evolution. Series: Lecture Notes in Computer Science. Num Pages: 612 pages, biography. BIC Classification: KJQ; UBJ; UKR; UMZ; UNF; UYZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 36. Weight in Grams: 890.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2008th Edition
- Number of pages
- 612
- Condition
- New
- SKU
- V9783540695332
- ISBN
- 9783540695332
Paperback
Condition: New
€ 130.86
€ 130.86
Paperback. Constitutes the proceedings of the 8th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2008, held in Agia Napa, Cyprus, in June 2008. This title presents 31 revised full papers organized in topical sections on scheduling and load balancing, interconnection networks, grid computing, and software systems. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 340 pages, black & white illustrations. BIC Classification: UGK; UKR; UMB; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 508.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2008th Edition
- Number of pages
- 340
- Condition
- New
- SKU
- V9783540695004
- ISBN
- 9783540695004
Paperback
Condition: New
€ 67.39
€ 67.39
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 237 pages, biography. BIC Classification: TJK; UMWS. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 379.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 237
- Condition
- New
- SKU
- V9783540688051
- ISBN
- 9783540688051
Paperback
Condition: New
€ 66.49
€ 66.49
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the 4th Asia Information Retrieval Symposium, AIRS 2008, held in Harbin, China, in May 2008. Series: Lecture Notes in Computer Science. Num Pages: 704 pages, biography. BIC Classification: UKR; UMB; UNF; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 36. Weight in Grams: 1074.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 704
- Condition
- New
- SKU
- V9783540686330
- ISBN
- 9783540686330
Paperback
Condition: New
€ 131.90
€ 131.90
Paperback. Constitutes the refereed proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2008, and the 8th International Workshop on Formal Approaches to Testing of Software, FATES 2008, jointly held in Tokyo, Japan, in June 2008. Series: Lecture Notes in Computer Science. Num Pages: 315 pages, biography. BIC Classification: TJK; UKN; UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 498.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 315
- Condition
- New
- SKU
- V9783540685142
- ISBN
- 9783540685142
Paperback
Condition: New
€ 67.27
€ 67.27
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Agile Processes in Software Engineering and eXtreme Programming, XP 2008, held in Limerick, Ireland, in June 2008. Series: Lecture Notes in Business Information Processing. Num Pages: 272 pages, biography. BIC Classification: KJMV6; UKR; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 860.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 272
- Condition
- New
- SKU
- V9783540682547
- ISBN
- 9783540682547
Paperback
Condition: New
€ 69.67
€ 69.67
Paperback. Third International Conference, CP '97, Linz, Austria, October 29 - November 1, 1997. Series: Lecture Notes in Computer Science. 575 pages, black & white illustrations. Editor(s): Smolka, Gert. Taken from the Third International Conference of Constraint Programming, this volume presents 37 revised full papers, abstracts of two invited talks and three tutorials. The papers address all aspects of constraint programming, including constraint matching, routing and graphs. Cateogry: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. BIC Classification: UM. Dimension: 232 x 154 x 33. Weight: 748.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer
- Edition
- 1997th Edition
- Number of pages
- 584
- Condition
- New
- SKU
- V9783540637530
- ISBN
- 9783540637530
Paperback
Condition: New
€ 136.50
€ 136.50