.png){kind=logo}
Computer programming / software development
Results 4321 - 4344 of 8429
Computer programming / software development
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
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 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
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. Covers the state of the art in automatic differentiation theory and practice. Intended for computational scientists and engineers, this book aims to provide insight into effective strategies for using automatic differentiation for design optimization, sensitivity analysis, and uncertainty quantification. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 388 pages, 108 black & white illustrations, 33 black & white tables, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 1190.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 388
- Condition
- New
- SKU
- V9783540284031
- ISBN
- 9783540284031
Paperback
Condition: New
€ 254.29
€ 254.29
Paperback. Constitutes the proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2005. This book contains topics addressing semantics of languages; relationships between formalisms; complexity and expressive power; software engineering, decision making, and other domains; and more. Series: Lecture Notes in Computer Science. Num Pages: 462 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 662.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 462
- Condition
- New
- SKU
- V9783540285380
- ISBN
- 9783540285380
Paperback
Condition: New
€ 73.60
€ 73.60
Paperback. Constitutes the proceedings of the 12th International Symposium on Static Analysis, SAS 2005, held in London, UK in August 2005. The papers address various aspects of static analysis, including program and systems verification, shape analysis and logic, termination analysis, security and safety, abstract interpretation and algorithms, and more. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 374 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 532.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 374
- Condition
- New
- SKU
- V9783540285847
- ISBN
- 9783540285847
Paperback
Condition: New
€ 71.69
€ 71.69
Paperback. Constitutes the refereed post-proceedings of the 4th International Workshop on Software Composition, SC 2005, held in April 2005. The papers in this volume are organized in topical sections on dynamic languages, component composition, component contracts and protocols, and component adaptation and configuration. Editor(s): Gschwind, Thomas; Assmann, Uwe; Nierstrasz, Oscar M. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 212 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 11. Weight in Grams: 690.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 212
- Condition
- New
- SKU
- V9783540287483
- ISBN
- 9783540287483
Paperback
Condition: New
€ 68.49
€ 68.49
Paperback. Constitutes the joint refereed proceedings of two colocated events: the First International Conference on the Quality of Software Architectures (QoSA 2005) and the Second International Workshop on Software Quality (SOQUA 2005) held in Erfurt, Germany, in September 2005. Series: Lecture Notes in Computer Science. Num Pages: 308 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 970.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 308
- Condition
- New
- SKU
- V9783540290339
- ISBN
- 9783540290339
Paperback
Condition: New
€ 70.39
€ 70.39
Paperback. Presents tutorial lectures given by speakers at the Third International Symposium on Formal Methods for Components and Objects, FMCO 2004, held in The Netherlands, in November 2004. These lectures present an account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems. Editor(s): Boer, Frank S. de; Bonsangue, Marcello M. (Leiden University); Graf, Susanne; de Roever, Willem-Paul. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 336 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 475.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 336
- Condition
- New
- SKU
- V9783540291312
- ISBN
- 9783540291312
Paperback
Condition: New
€ 70.90
€ 70.90
Paperback. Constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2005, held in Norway, in September 2005. This book addresses various aspects of dependability and survivability of critical computerized systems in various branches and infrastructures. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 418 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 592.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 418
- Condition
- New
- SKU
- V9783540292005
- ISBN
- 9783540292005
Paperback
Condition: New
€ 72.65
€ 72.65
Paperback. Constitutes the proceedings of the 21st International Conference on Logic and Programming, ICLP 2005, held in Spain, in October 2005. These papers cover various issues of research in logic programming, and focus on novel applications of logic programming. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 458 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 659.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 21
- Number of pages
- 458
- Condition
- New
- SKU
- V9783540292081
- ISBN
- 9783540292081
Paperback
Condition: New
€ 73.64
€ 73.64
Paperback. Constitutes the proceedings of the 11th International Conference on Principles and Practice of Constraint Programming, CP 2005, held in Spain, in October 2005. These papers address issues of computing with constraints, ranging from methodological and foundational aspects to solving real-world problems in various application fields. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 888 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 45. Weight in Grams: 2760.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 888
- Condition
- New
- SKU
- V9783540292388
- ISBN
- 9783540292388
Paperback
Condition: New
€ 137.21
€ 137.21
Paperback. Constitutes the refereed proceedings of the 24th International Conference on Conceptual Modeling, ER 2005, held in Austria, in October 2005. In this book, the papers are organized in topical sections on specific approaches, process modeling and views, conceptual modeling in elearning, managing models and modeling, and others. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 520 pages, biography. BIC Classification: UGK; UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 1590.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 520
- Condition
- New
- SKU
- V9783540293897
- ISBN
- 9783540293897
Paperback
Condition: New
€ 74.51
€ 74.51
Echtzeitaspekte Bei Der Koordinierung Autonomer Systeme
. Ed(S): Holleczek, Peter; Vogel-Heuser, Birg...
Paperback. Editor(s): Holleczek, Peter; Vogel-Heuser, Birgit. Num Pages: 161 pages, black & white illustrations, bibliography. BIC Classification: UKN; UMZ. Category: (G) General (US: Trade). Dimension: 234 x 156 x 9. Weight in Grams: 240.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 161
- Condition
- New
- SKU
- V9783540295945
- ISBN
- 9783540295945
Paperback
Condition: New
€ 94.61
€ 94.61
Paperback. Constitutes the refereed proceedings of the Third Asian Symposium on Programming Languages and Systems, APLAS 2005, held in Tsukuba, Japan in November 2005. This title covers topics such as, semantics, type theory, program transformation, static analysis, verification, programming calculi, functional programming languages, and more. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 442 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 442
- Condition
- New
- SKU
- V9783540297352
- ISBN
- 9783540297352
Paperback
Condition: New
€ 73.21
€ 73.21
Paperback. Constitutes the refereed proceedings of the 7th International Conference on Formal Engineering Methods, ICFEM 2005, held in Manchester, UK in November 2005. These papers address issues in formal methods and their applications in software engineering. They are organized in topical sections on specification, modelling, security, testing, and more. Editor(s): Branach, Richard. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 502 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 279 x 216 x 26. Weight in Grams: 716.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 502
- Condition
- New
- SKU
- V9783540297970
- ISBN
- 9783540297970
Paperback
Condition: New
€ 74.39
€ 74.39
Paperback. Constitutes the refereed proceedings of the First International Conference on Rules and Rule Markup Languages for the Semantic Web, RuleML 2005, held in Ireland in November 2005. This book presents information about requirements, applications, technology solutions, and the research on rule languages and standards. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 235 pages, biography. BIC Classification: UBW; UMW; UNN. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 760.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 235
- Condition
- New
- SKU
- V9783540299226
- ISBN
- 9783540299226
Paperback
Condition: New
€ 68.98
€ 68.98
Paperback. Constitutes the refereed proceeding of the 12th European Software Process Improvement Conference, EuroSPI 2005, held in Budapest, Hungary in November 2005. This title presents 18 revised full papers that were reviewed and selected from 40 submissions. Series: Lecture Notes in Computer Science. Num Pages: 215 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 327.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 215
- Condition
- New
- SKU
- V9783540302865
- ISBN
- 9783540302865
Paperback
Condition: New
€ 68.71
€ 68.71
Paperback. Covers a variety of topics from the theory of computing, ranging from software science, programming theory, systems design and analysis, formal methods, mathematical logic, mathematical foundations, discrete mathematics, combinatorial mathematics, complexity theory, and automata theory to theoretical computer science in general. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 580 pages, biography. BIC Classification: UMZ; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 1800.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 580
- Condition
- New
- SKU
- V9783540304951
- ISBN
- 9783540304951
Paperback
Condition: New
€ 136.64
€ 136.64
Paperback. Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005. This book presents 46 revised papers with 3 abstracts, addressing issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics. Series: Lecture Notes in Computer Science. Num Pages: 758 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 38. Weight in Grams: 1052.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 758
- Condition
- New
- SKU
- V9783540305538
- ISBN
- 9783540305538
Paperback
Condition: New
€ 131.69
€ 131.69
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
€ 69.14
€ 69.14
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
€ 134.21
€ 134.21
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
€ 73.28
€ 73.28