.png){kind=logo}
Computer programming / software development
Results 4105 - 4128 of 8428
Computer programming / software development
paperback. Constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held as the 14th Annual Conference of the EACSL in Oxford, UK in August 2005. This volume is organized in topical sections on semantics and logics, type theory and lambda calculus, linear logic and ludics, finite models, and more. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 578 pages, biography. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 808.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer Germany
- Edition
- 2005th Edition
- Number of pages
- 578
- Condition
- New
- SKU
- V9783540282310
- ISBN
- 9783540282310
Paperback
Condition: New
€ 75.71
€ 75.71
Paperback. Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and more. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 304 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 435.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 304
- Condition
- New
- SKU
- V9783540281955
- ISBN
- 9783540281955
Paperback
Condition: New
€ 70.30
€ 70.30
Book. Series: Xpert.Press. Num Pages: 237 pages, Etwa 250 S. BIC Classification: UMX; UMZ. Category: (G) General (US: Trade). .
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 237
- Condition
- New
- SKU
- V9783540278887
- ISBN
- 9783540278887
Paperback
Condition: New
€ 56.55
€ 56.55
Paperback. Constitutes the refereed proceedings of the 6th International Conference on Product Focused Software Process Improvement, PROFES 2005, held in Oulu, Finland in June 2005. This book contains papers that are organized in topical sections on software process improvement, software quality, mobile and wireless applications, and industrial experiences. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 588 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 31. Weight in Grams: 841.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 588
- Condition
- New
- SKU
- V9783540262008
- ISBN
- 9783540262008
Paperback
Condition: New
€ 137.06
€ 137.06
Paperback. A post-event proceedings volume, containing selected papers based on presentations given during a seminar, held in Dagstuhl Castle, Germany in September 2003. The papers are organized in topical sections on semantics for scenario-based notations, scenario-based notations in software validation and verification, and other areas. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 279 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 920.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 279
- Condition
- New
- SKU
- V9783540261896
- ISBN
- 9783540261896
Paperback
Condition: New
€ 70.03
€ 70.03
Paperback. Constitutes the post-proceedings of the Second International Workshop on Declarative Agent Languages and Technologies, DALT 2004, held in July 2004. The papers featured in this book are organized in topical sections on reasoning, modeling and engineering, verification, norms and protocols, and interaction and communication. Series: Lecture Notes in Computer Science. Num Pages: 304 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 435.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 304
- Condition
- New
- SKU
- V9783540261728
- ISBN
- 9783540261728
Paperback
Condition: New
€ 70.34
€ 70.34
Paperback. Editor(s): Pastor, Oscar; Falcao E Cunha, Joao (University of Porto, Portugal). Series: Lecture Notes in Computer Science. Num Pages: 608 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 835.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 608
- Condition
- New
- SKU
- V9783540260950
- ISBN
- 9783540260950
Paperback
Condition: New
€ 136.91
€ 136.91
Implementation and Application of Functional Languages
. Ed(S): Grelck, Clemens; Huch, Frank; Michae...
Paperback. Constitutes the post-proceedings of the 16th International Workshop on Implementation and Applications of Functional Languages, IFL 2004, held in Lubeck, Germany in September 2004. This book contains papers that address issues on functional and function-based languages, ranging from theoretical and methodological topics to implementation issues. Editor(s): Grelck, Clemens; Huch, Frank; Michaelson, Greg; Trinder, Phil. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 230 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 348.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 230
- Condition
- New
- SKU
- V9783540260943
- ISBN
- 9783540260943
Paperback
Condition: New
€ 69.04
€ 69.04
Paperback. Num Pages: 512 pages, black & white illustrations. BIC Classification: THR; UMZ; UYF. Category: (G) General (US: Trade). Dimension: 234 x 156 x 26. Weight in Grams: 711.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 4., bearb. u. erweiterte Aufl.
- Number of pages
- 512
- Condition
- New
- SKU
- V9783540260264
- ISBN
- 9783540260264
Paperback
Condition: New
€ 107.80
€ 107.80
Paperback. Num Pages: 204 pages, X, 192 S. 60 Abb. BIC Classification: KCCD; UF; UMZ. Category: (G) General (US: Trade). Dimension: 234 x 156 x 10. Weight in Grams: 294.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 204
- Condition
- New
- SKU
- V9783540258216
- ISBN
- 9783540258216
Paperback
Condition: New
€ 51.65
€ 51.65
Hardback. Series: Xpert.Press. Num Pages: 356 pages, XIII, 340 S. 83 Abb. BIC Classification: UF; UMZ. Category: (G) General (US: Trade). Dimension: 234 x 156 x 20. Weight in Grams: 676.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 356
- Condition
- New
- SKU
- V9783540256762
- ISBN
- 9783540256762
Hardback
Condition: New
€ 84.85
€ 84.85
Hardback. Abstraction is the most basic principle of software engineering. Abstractions are provided by models. Modeling and model transformation constitute the core of model-driven development. The aim of this book is to give an overview of the state of the art in model-driven software development. Editor(s): Beydeda, Sami; Book, Matthias; Gruhn, Volker. Num Pages: 464 pages, 195 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 846.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 464
- Condition
- New
- SKU
- V9783540256137
- ISBN
- 9783540256137
Hardback
Condition: New
€ 196.96
€ 196.96
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 456 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 638.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 456
- Condition
- New
- SKU
- V9783540254355
- ISBN
- 9783540254355
Paperback
Condition: New
€ 68.53
€ 68.53
Hardcover. Helps to learn to write C++ programs by interfacing a computer to a wide range of popular and fundamental real-world technologies. Num Pages: 489 pages, 58 black & white tables, biography. BIC Classification: UMX. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 276 x 203 x 36. Weight in Grams: 1401.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2006th Edition
- Number of pages
- 501
- Condition
- New
- SKU
- V9783540253785
- ISBN
- 9783540253785
Hardback
Condition: New
€ 74.15
€ 74.15
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Halbwachs, Nicolas; Zuck, Lenore D.
Paperback. Editor(s): Halbwachs, Nicolas; Zuck, Lenore D. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 590 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 31. Weight in Grams: 852.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 590
- Condition
- New
- SKU
- V9783540253334
- ISBN
- 9783540253334
Paperback
Condition: New
€ 137.15
€ 137.15
Paperback. Editor(s): Fiadeiro, Jose Luiz; Mosses, Peter D.; Orejas, Fernando. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 280 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 15. Weight in Grams: 900.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 280
- Condition
- New
- SKU
- V9783540253273
- ISBN
- 9783540253273
Paperback
Condition: New
€ 69.90
€ 69.90
Hardback. Following an introductory chapter that provides an exploration of key issues in requirements engineering, this book is organized in three parts. It presents surveys of requirements engineering process research along with critical assessments of existing models, frameworks and techniques. It also addresses key areas in requirements engineering. Editor(s): Aurum, Aybuke; Wohlin, Claes. Num Pages: 478 pages, biography. BIC Classification: TBC; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 870.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 478
- Condition
- New
- SKU
- V9783540250432
- ISBN
- 9783540250432
Hardback
Condition: New
€ 203.75
€ 203.75
hardcover. Captures the scientific contributions of Victor R Basili, who has shaped the field of empirical software engineering. He was the first to claim that software engineering needed to follow the model of other physical sciences and develop an experimental paradigm. This book presents a collection of papers on software engineering. Editor(s): Boehm, Barry W.; Rombach, Hans Dieter; Zelkowitz, Marvin V. Num Pages: 442 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 25. Weight in Grams: 807.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2005th Edition
- Number of pages
- 442
- Condition
- New
- SKU
- V9783540245476
- ISBN
- 9783540245476
Hardback
Condition: New
€ 235.97
€ 235.97
Hardback. Presents a novel metrics-based approach for detecting design problems in object-oriented software. This title introduces an important suite of detection strategies for the identification of different well-known design flaws as well as some rarely mentioned ones. Num Pages: 207 pages, 8 black & white tables, biography. BIC Classification: UMN; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 502.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 207
- Condition
- New
- SKU
- V9783540244295
- ISBN
- 9783540244295
Hardback
Condition: New
€ 84.41
€ 84.41
Paperback. Constitutes the proceedings of the 7th International Symposium on Practical Aspects of Declarative Languages, PADL 2005, held in Long Beach, CA, USA in January 2005. This work addresses various aspects of declarative programming including implementational issues and applications in areas such as database management, active networks, and more. Series: Lecture Notes in Computer Science. Num Pages: 280 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 424.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 280
- Condition
- New
- SKU
- V9783540243625
- ISBN
- 9783540243625
Paperback
Condition: New
€ 70.15
€ 70.15
Book. Series: Xpert.Press. Num Pages: XXIV, 445 S. 84 Abb. BIC Classification: THR; UB; UL; UM; UYD. Category: (G) General (US: Trade). Dimension: 234 x 155 x 30. Weight in Grams: 794.
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540243397
- ISBN
- 9783540243397
Paperback
Condition: New
€ 58.65
€ 58.65
Paperback. Editor(s): Odell, James J.; Giorgini, Paolo; Muller, Jorg P. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 246 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 364.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 246
- Condition
- New
- SKU
- V9783540242864
- ISBN
- 9783540242864
Paperback
Condition: New
€ 69.22
€ 69.22
Implementing Distributed Systems with Java and CORBA
Aleksy, Markus; Korthaus, Axel; Schader, Mart...
Hardback. CORBA is an industry standard that has considerably changed the way that modern information systems are developed. It enables the platform-independent and programming-language-independent implementation of distributed object-oriented systems. This book is aimed at readers involved in the design and development of systems relying on CORBA. Num Pages: 346 pages, 13 black & white tables, biography. BIC Classification: UMW; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 1510.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 346
- Condition
- New
- SKU
- V9783540241737
- ISBN
- 9783540241737
Hardback
Condition: New
€ 73.93
€ 73.93
FSTTCS 2004: Foundations of Software Technology and Theoretical Comput...
. Ed(S): Lodaya, Kamal; Mahajan, Meena
paperback. Editor(s): Lodaya, Kamal; Mahajan, Meena. Series: Lecture Notes in Computer Science. Num Pages: 548 pages, biography. BIC Classification: UMZ; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 1700.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer Germany
- Edition
- 2005th Edition
- Number of pages
- 548
- Condition
- New
- SKU
- V9783540240587
- ISBN
- 9783540240587
Paperback
Condition: New
€ 75.20
€ 75.20