Computer programming / software development
Results 3001 - 3020 of 7270
Computer programming / software development
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
€ 65.38
€ 65.38
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
€ 67.03
€ 67.03
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
€ 67.64
€ 67.64
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
€ 69.31
€ 69.31
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
€ 70.24
€ 70.24
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
€ 130.89
€ 130.89
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
€ 71.07
€ 71.07
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
€ 90.03
€ 90.03
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
€ 69.87
€ 69.87
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
€ 71.42
€ 71.42
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
€ 65.72
€ 65.72
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
€ 65.98
€ 65.98
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
€ 130.02
€ 130.02
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
€ 126.34
€ 126.34
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