.png){kind=logo}
Computer programming / software development
Results 4057 - 4080 of 8428
Computer programming / software development
Paperback. Constitutes the refereed proceedings of the 7th International Conference on Extreme Programming and Agile Processes in Software Engineering, XP 2006, held in Oulu, Finland, June 2006. This book contains topical sections on foundation and rationale for agile methods, effects of pair programming, quality in agile software development, and more. Series: Lecture Notes in Computer Science. Num Pages: 244 pages, biography. BIC Classification: UMF; UMH. Category: (P) Professional & Vocational. Dimension: 250 x 170 x 13. Weight in Grams: 354.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 244
- Condition
- New
- SKU
- V9783540350941
- ISBN
- 9783540350941
Paperback
Condition: New
€ 69.14
€ 69.14
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Coordination Models and Languages, COORDINATION 2006, held in Bologna, Italy, June 2006. This title includes topics such as: component connectors, negotiation in service-oriented computing, process algebraic specification, workflow patterns, and reactive XML. Series: Lecture Notes in Computer Science. Num Pages: 307 pages, biography. BIC Classification: UMX; UYFP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 440.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 307
- Condition
- New
- SKU
- V9783540346944
- ISBN
- 9783540346944
Paperback
Condition: New
€ 70.37
€ 70.37
Paperback. Constitutes the refereed proceedings of the 18th International Conference on Advanced Information Systems Engineering, CAiSE 2006, held in Luxembourg, in June 2006. This book presents 33 revised full papers together with 3 keynote talks. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 580 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 808.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 580
- Condition
- New
- SKU
- V9783540346524
- ISBN
- 9783540346524
Paperback
Condition: New
€ 136.50
€ 136.50
Ontologies for Software Engineering and Software Technology
. Ed(S): Calero, Coral; Ruiz, Francisco; Piat...
Hardback. Covers two applications of ontologies in software engineering and software technology: sharing knowledge of the problem domain and using a common terminology among all stakeholders; and filtering the knowledge when defining models and metamodels. This book is of benefit to software engineering researchers in both academia and industry. Editor(s): Calero, Coral; Ruiz, Francisco; Piattini, Mario. Num Pages: 340 pages, 46 black & white tables, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 240 x 164 x 26. Weight in Grams: 668.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 340
- Condition
- New
- SKU
- V9783540345176
- ISBN
- 9783540345176
Hardback
Condition: New
€ 212.04
€ 212.04
Paperback. Constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in July 2005 in conjunction with CAV 2005. This book presents 13 revised full papers together with 1 work-in-progress paper. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 231 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 337.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 231
- Condition
- New
- SKU
- V9783540344544
- ISBN
- 9783540344544
Paperback
Condition: New
€ 68.90
€ 68.90
Paperback. Constitutes the refereed proceedings of the Third International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2006. This book presents 20 revised full papers together with 3 invited talks that address methodological and foundational issues from AI, OR, and algorithmics. Series: Lecture Notes in Computer Science. Num Pages: 311 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 445.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 311
- Condition
- New
- SKU
- V9783540343066
- ISBN
- 9783540343066
Paperback
Condition: New
€ 70.46
€ 70.46
paperback. Constitutes the refereed and extended post-proceedings of the Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005. This book features the papers that are organized in topical sections on global constraints, search and heuristics, language and implementation issues, and modeling. Series: Lecture Notes in Computer Science. Num Pages: 187 pages, biography. BIC Classification: KNTX; UM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 278.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer Germany
- Edition
- 2006th Edition
- Number of pages
- 187
- Condition
- New
- SKU
- V9783540342151
- ISBN
- 9783540342151
Paperback
Condition: New
€ 67.96
€ 67.96
Paperback. Presents the refereed post-proceedings of the 6th International Workshop on Agent-Oriented Software Engineering, AOSE 2005. This book includes the 18 revised full papers that were selected from 35 submissions during two rounds of reviewing and improvement. Editor(s): Muller, Jorg P.; Zambonelli, Franco. Series: Lecture Notes in Computer Science. Num Pages: 265 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 265
- Condition
- New
- SKU
- V9783540340973
- ISBN
- 9783540340973
Paperback
Condition: New
€ 69.58
€ 69.58
Paperback. Constitutes the refereed post-proceedings of the Second International Workshop on Rapid Integration of Software Engineering Techniques, RISE 2005. This book addresses such topics as: modelling safety case evolution, practical approaches in model mapping, context-aware service composition, and more. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 300 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 435.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 300
- Condition
- New
- SKU
- V9783540340638
- ISBN
- 9783540340638
Paperback
Condition: New
€ 70.30
€ 70.30
hardcover. Human culture depends on our ability to disseminate information, and then maintain and access it over time. This book addresses the problems of storing, reading, and using digital data for periods longer than 50 years. It offers descriptions of markup and document description languages like TIFF, PDF, HTML, and XML. Num Pages: 274 pages, 67 black & white illustrations, 32 black & white tables, biography. BIC Classification: UMW; URY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 586.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2006th Edition
- Number of pages
- 274
- Condition
- New
- SKU
- V9783540336396
- ISBN
- 9783540336396
Hardback
Condition: New
€ 72.46
€ 72.46
Paperback. Presents a survey of the advances in software engineering approaches to the design and analysis of realistic large-scale multi-agent systems (MAS). This book includes chapters that are devoted to various techniques and methods used to cope with the complexity of real-world MAS. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 269 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 860.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 269
- Condition
- New
- SKU
- V9783540335801
- ISBN
- 9783540335801
Paperback
Condition: New
€ 69.67
€ 69.67
Hardback. Provides an introduction to parallel and distributed approach to logic programming. This work examines the existing models of distributed logic programming, analyses the pros and cons of these models, and proposes an alternative framework for distributed logic programming using extended Petri nets. Series: Studies in Computational Intelligence. Num Pages: 291 pages, 10 black & white tables, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 609.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 291
- Condition
- New
- SKU
- V9783540334583
- ISBN
- 9783540334583
Hardback
Condition: New
€ 199.90
€ 199.90
Paperback. Constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS 2006, held in Fuji-Susono, Japan, in April 2006. This work contains papers that are organized in topical sections on data types, FP extensions, type theory, LP extensions, analysis, contracts, as well as Web and GUI. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 308 pages, biography. BIC Classification: UMJ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 970.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 308
- Condition
- New
- SKU
- V9783540334385
- ISBN
- 9783540334385
Paperback
Condition: New
€ 70.37
€ 70.37
Hardback. Covers research into the most important practices in product line organization. This book offers knowledge on the domain and application engineering, the modeling and management of variability, and the design and use of tools to support the management of product line-related knowledge. Editor(s): Kakola, Timo; Lopez, Juan Carlos Duenas; Duenas, Juan Carlos. Num Pages: 635 pages, 251 black & white illustrations, 62 black & white tables, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 36. Weight in Grams: 1111.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 635
- Condition
- New
- SKU
- V9783540332527
- ISBN
- 9783540332527
Hardback
Condition: New
€ 132.45
€ 132.45
Hardback. Covers both algorithms and technologies of interactive videos. This book contains scientific contributions made by a number of pioneering scientists and experts from around the globe. It introduces the reader to interactive video and video summarization and presents effective methodologies for automatic abstraction of a single video sequence. Editor(s): Hammoud, Riad I. (Delphi Automotive Systems Delco). Series: Signals and Communication Technology. Num Pages: 250 pages, 8 black & white tables, biography. BIC Classification: UMB. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 553.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 250
- Condition
- New
- SKU
- V9783540332145
- ISBN
- 9783540332145
Hardback
Condition: New
€ 132.81
€ 132.81
Paperback. Constitutes the refereed post-proceedings of the Third International Workshop on Declarative Agent Languages and Technologies, DALT 2005, held in The Netherlands in July 2005 as an associated event of AAMAS 2005, the main international conference on autonomous agents and multi-agent systems. Series: Lecture Notes in Computer Science. Num Pages: 260 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 375.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 260
- Condition
- New
- SKU
- V9783540331063
- ISBN
- 9783540331063
Paperback
Condition: New
€ 69.46
€ 69.46
Paperback. This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Checking Software, SPIN 2006, held in Vienna, Austria in March/April 2006 as satellite event of ETAPS 2006. The 16 revised full papers presented together with three tool presentation papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 318 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 1010.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 318
- Condition
- New
- SKU
- V9783540331025
- ISBN
- 9783540331025
Paperback
Condition: New
€ 70.63
€ 70.63
Paperback. Constitutes the refereed proceedings of the 15th European Symposium on Programming, ESOP 2006, held in Vienna, Austria in March 2006 as part of ETAPS. This work features papers that address fundamental issues in the specification, analysis, and implementation of programming languages and systems. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 354 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 1120.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 354
- Condition
- New
- SKU
- V9783540330950
- ISBN
- 9783540330950
Paperback
Condition: New
€ 71.35
€ 71.35
Paperback. This book constitutes the refereed proceedings of the 9th International Conference on Fundamental Approaches to Software Engineering, FASE 2006, held in Vienna, Austria in March 2006 as part of ETAPS. The 27 revised full papers, two tool papers presented together with two invited papers were carefully reviewed and selected from 166 submissions. The papers are organized in topical sections. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 439 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 570.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 439
- Condition
- New
- SKU
- V9783540330936
- ISBN
- 9783540330936
Paperback
Condition: New
€ 72.29
€ 72.29
Paperback. Constitutes the refereed proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2005, held Austria in March/April 2006 as part of ETAPS. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 528 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 26. Weight in Grams: 1610.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 528
- Condition
- New
- SKU
- V9783540330561
- ISBN
- 9783540330561
Paperback
Condition: New
€ 74.63
€ 74.63
Paperback. This book constitutes the refereed proceedings of the 15th International Conference on Compiler Construction, CC 2006, held in March 2006 as part of ETAPS. The 17 revised full papers presented together with three tool demonstration papers and one invited paper were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 290 pages, biography. BIC Classification: UL; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 920.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 290
- Condition
- New
- SKU
- V9783540330509
- ISBN
- 9783540330509
Paperback
Condition: New
€ 70.06
€ 70.06
Paperback. This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006, held in Vienna, Austria in March 2006 as part of ETAPS. The 28 revised full papers presented together with one invited paper were carefully reviewed and selected from 107 submissions. The papers are organized in topical sections. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 462 pages, biography. BIC Classification: UM; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 1440.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 462
- Condition
- New
- SKU
- V9783540330455
- ISBN
- 9783540330455
Paperback
Condition: New
€ 73.45
€ 73.45
Hardback. Protocols that remain zero-knowledge when many instances are executed concurrently are called concurrent zero-knowledge. This book presents constructions of concurrent zero-knowledge protocols. It shows why 'traditional' proof techniques are not suitable for establishing the concurrent zero-knowledge property of 'message-efficient' protocols. Series: Information Security and Cryptography. Num Pages: 198 pages, biography. BIC Classification: UMB; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 12. Weight in Grams: 459.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 198
- Condition
- New
- SKU
- V9783540329381
- ISBN
- 9783540329381
Hardback
Condition: New
€ 131.49
€ 131.49
Paperback. Constitutes the refereed post-proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2005, that was held in September 2005. This book presents 10 papers together with one invited talk that are organized in topical sections on tools for program development, program transformations, and more. Series: Lecture Notes in Computer Science. Num Pages: 192 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 630.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 192
- Condition
- New
- SKU
- V9783540326540
- ISBN
- 9783540326540
Paperback
Condition: New
€ 68.15
€ 68.15