Computer programming / software development
Results 3001 - 3024 of 7255
Computer programming / software development
Paperback. Constitutes the proceedings of the 8th International Symposium on Practical Aspects of Declarative Languages, PADL 2006. This book addresses various aspects of declarative programming including implementational issues and innovative applications in areas such as database management, software engineering, and, music classification and composition. Editor(s): Van Hentenryck, Pascal. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 244 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 13. Weight in Grams: 354.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 244
- Condition
- New
- SKU
- V9783540309475
- ISBN
- 9783540309475
Paperback
Condition: New
€ 65.96
€ 65.96
Hardback. Software engineering is primarily a human-based activity and rationale management is concerned with making design and development decisions explicit to all stakeholders involved. This title provides a summary of research on design rationale providing researchers in software engineering with an overview of the subject. Editor(s): Dutoit, Allen H.; McCall, Raymond (U Colorado); Mistrik, Ivan; Paech, Barbara. Num Pages: 456 pages, 92 black & white illustrations, 18 black & white tables, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 28. Weight in Grams: 1433.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 456
- Condition
- New
- SKU
- V9783540309970
- ISBN
- 9783540309970
Hardback
Condition: New
€ 127.97
€ 127.97
Paperback. Presents the papers that feature research from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 454 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 454
- Condition
- New
- SKU
- V9783540311393
- ISBN
- 9783540311393
Paperback
Condition: New
€ 69.94
€ 69.94
Book. Uber 60 Prozent aller IT-Projekte fuhren nicht zum Erfolg. Sie kommen nicht im angestrebten Rahmen von Budget, Zeit oder Qualitat zur Auslieferung. Grund: fehlende Skills der verantwortlichen IT-Profis. Genau das will der international erfahrene Autor andern.." Num Pages: 230 pages, XI, 230 S. 28 Abb. BIC Classification: KJMV3; UF; UMX; UMZ. Category: (G) General (US: Trade). Dimension: 234 x 156 x 14. Weight in Grams: 517.
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 230
- Condition
- New
- SKU
- V9783540317432
- ISBN
- 9783540317432
Paperback
Condition: New
€ 53.89
€ 53.89
Paperback. Constitutes the refereed post-proceedings of the Second International Conference on Software Engineering Research and Applications, SERA 2004, that was held in May 2004. This title presents 18 papers with four keynote addresses. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 276 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 890.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 276
- Condition
- New
- SKU
- V9783540321330
- ISBN
- 9783540321330
Paperback
Condition: New
€ 66.65
€ 66.65
Hardback. Collects the main results from four Norwegian industrial research and development projects on SPI carried out between 1996 and 2005. This book concentrates on small and medium-sized companies, typically characterized by fast-changing environments. Editor(s): Conradi, Reidar; Dyba, Tore; Sjoberg, Dag Ingar Kondrup; Ulsund, Tor. Num Pages: 414 pages, 42 black & white illustrations, 56 black & white tables, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 774.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 414
- Condition
- New
- SKU
- V9783540321781
- ISBN
- 9783540321781
Hardback
Condition: New
€ 192.87
€ 192.87
Hardback. This book offers in-depth coverage of event-based systems, ranging from local event matching and distributed event forwarding algorithms, through software engineering issues raised by the event-based style, to current research in event-based systems like composite event detection and security. Num Pages: 388 pages, 17 black & white tables, biography. BIC Classification: UL; UMZ; UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 747.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 388
- Condition
- New
- SKU
- V9783540326519
- ISBN
- 9783540326519
Hardback
Condition: New
€ 71.45
€ 71.45
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
€ 65.02
€ 65.02
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
€ 125.31
€ 125.31
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
€ 70.11
€ 70.11
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
€ 67.24
€ 67.24
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
€ 71.19
€ 71.19
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
€ 68.99
€ 68.99
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
€ 68.11
€ 68.11
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
€ 67.81
€ 67.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
€ 66.28
€ 66.28
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
€ 126.62
€ 126.62
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
€ 126.29
€ 126.29
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
€ 67.56
€ 67.56
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
€ 190.52
€ 190.52
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
€ 66.48
€ 66.48
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
€ 69.16
€ 69.16
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
€ 67.11
€ 67.11
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
€ 66.38
€ 66.38