.png){kind=logo}
Computer programming / software development
Results 4393 - 4416 of 8407
Computer programming / software development
Paperback. This volume is a result of the European Experience Exchange (EUREX) project sponsored by the European Systems and Software Initiative for Software Best Practice in Europe. The project analyzed the industrial and economic impact of more than 300 software process improvement experiments. Series: Software Best Practice S. Num Pages: 392 pages, 22 black & white illustrations, 30 black & white tables, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 21. Weight in Grams: 1260.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2001
- Number of pages
- 392
- Condition
- New
- SKU
- V9783540417873
- ISBN
- 9783540417873
Paperback
Condition: New
€ 72.29
€ 72.29
Paperback. Focusing on increasing software productivity, all current aspects in formal methods are covered in this volume of selected papers. Among the application areas addressed are avionics, smart cards, financial engineering, E-commerce, middleware, security, telecommunications. Editor(s): Oliveira, Jose N.; Zave, Pamela. Series: Lecture Notes in Computer Science. Num Pages: 648 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 33. Weight in Grams: 895.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 648
- Condition
- New
- SKU
- V9783540417910
- ISBN
- 9783540417910
Paperback
Condition: New
€ 131.97
€ 131.97
Paperback. These are the proceedings of the 10th International Conference on Compiler Construction (CC 2001). The 22 revised full papers are organized in topical sections on program analysis, program transformation, intraprocessor parallelism, parsing, memory hierarchy, profiling, and demos. Series: Lecture Notes in Computer Science. Num Pages: 388 pages, biography. BIC Classification: UL; UMC. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 279 x 216 x 20. Weight in Grams: 543.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 388
- Condition
- New
- SKU
- V9783540418610
- ISBN
- 9783540418610
Paperback
Condition: New
€ 68.29
€ 68.29
Paperback. The refereed proceedings of the 10th European Symposium on Programming, covering various programming paradigms and their integration development of correct, secure and efficient software, systems and type systems, program analysis, and program transformation. Editor(s): Sands, David. Series: Lecture Notes in Computer Science. Num Pages: 438 pages, biography. BIC Classification: UMC; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 630.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 438
- Condition
- New
- SKU
- V9783540418627
- ISBN
- 9783540418627
Paperback
Condition: New
€ 73.12
€ 73.12
Fundamental Approaches to Software Engineering: 4th International Conf...
Heinrich . Ed(S): Hussmann
paperback. This volume comprises papers which are organized in topical sections on various aspects of software engineering. Topics covered include metamodelling, distributed components, UML, testing, formal methods, and case studies. Editor(s): Hussmann, Heinrich. Series: Lecture Notes in Computer Science. Num Pages: 364 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 511.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer Germany
- Edition
- 2001st Edition
- Number of pages
- 364
- Condition
- New
- SKU
- V9783540418634
- ISBN
- 9783540418634
Paperback
Condition: New
€ 71.47
€ 71.47
Paperback. Software science topics covered in this text include algebraic, categorical, logical and geometric theories. Also discussed are synthesis, verification, analysis, and transformation of sequential, concurrent, distributed and mobile programs and software systems. Editor(s): Honsell, Furio; Miculan, Marino. Series: Lecture Notes in Computer Science. Num Pages: 420 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 22. Weight in Grams: 603.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 420
- Condition
- New
- SKU
- V9783540418641
- ISBN
- 9783540418641
Paperback
Condition: New
€ 72.73
€ 72.73
Paperback. This work constitutes the refereed proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control, HSCC 2001, held in Rome, Italy, in March 2001. The 36 revised papers address all aspects of hybrid systems including algorithms and heuristics and computational tools. Editor(s): Benedetto, Maria D.Di; Sangiovanni-Vincentelli, Alberto L. Series: Lecture Notes in Computer Science. Num Pages: 530 pages, biography. BIC Classification: UK; UM; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 234 x 156 x 27. Weight in Grams: 743.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 530
- Condition
- New
- SKU
- V9783540418665
- ISBN
- 9783540418665
Paperback
Condition: New
€ 135.60
€ 135.60
Paperback. BIC Classification: UMZ. Dimension: 235 x 155. Weight in Grams: 346.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540419419
- ISBN
- 9783540419419
Paperback
Condition: New
€ 49.66
€ 49.66
Concurrent Object-Oriented Programming and Petri Nets
. Ed(S): Agha, Gul A.; Cindio, Fiorella De; R...
Paperback. This volume presents results on Petri nets and concurrent object-oriented programming. The 24 thoroughly reviewed and revised papers are organized in three sections including a detailed approach to integrating Petri nets and object-orientation, and concrete examples to demonstrate the approach. Editor(s): Agha, Gul A.; Cindio, Fiorella de; Rozenberg, Grzegorz. Series: Lecture Notes in Computer Science. Num Pages: 552 pages, biography. BIC Classification: UMN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 28. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 552
- Condition
- New
- SKU
- V9783540419426
- ISBN
- 9783540419426
Paperback
Condition: New
€ 135.92
€ 135.92
Paperback. The ten papers presented in this volume have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation. Editor(s): Lau, Kung-Kiu. Series: Lecture Notes in Computer Science. Num Pages: 196 pages, biography. BIC Classification: UM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 283.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 196
- Condition
- New
- SKU
- V9783540421276
- ISBN
- 9783540421276
Paperback
Condition: New
€ 65.98
€ 65.98
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 434 pages, biography. BIC Classification: UMN. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 624.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 434
- Condition
- New
- SKU
- V9783540422068
- ISBN
- 9783540422068
Paperback
Condition: New
€ 73.06
€ 73.06
Paperback. Editor(s): Ambriola, Vincenzo. Series: Lecture Notes in Computer Science. Num Pages: 258 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 370.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 258
- Condition
- New
- SKU
- V9783540422648
- ISBN
- 9783540422648
Paperback
Condition: New
€ 69.38
€ 69.38
Hardback. Devoted to relational data mining, this coherently written multi-author monograph provides a thorough introduction and systematic overview of the area. The book covers the basics of classical knowledge discovery; the techniques in relational data mining; and advanced applications in various fields. Num Pages: 398 pages, 69 black & white tables, biography. BIC Classification: UM; UN; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 23. Weight in Grams: 763.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 398
- Condition
- New
- SKU
- V9783540422891
- ISBN
- 9783540422891
Hardback
Condition: New
€ 135.84
€ 135.84
Hardback. Series: X.Systems.Press. Num Pages: 470 pages, black & white illustrations, bibliography. BIC Classification: UB; UMZ; UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 25. Weight in Grams: 833.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 470
- Condition
- New
- SKU
- V9783540422990
- ISBN
- 9783540422990
Hardback
Condition: New
€ 36.54
€ 36.54
paperback. A collection of papers that address all contemporary foundational and theoretical aspects of case-based reasoning as well as advanced applications in a variety of fields. The papers were presented at the 4th International Conference on Case-Based Reasoning, Canada, 2001. Editor(s): Kidwell, David A.; Aha, David W.; Watson, Ian. Series: Lecture Notes in Computer Science. Num Pages: 776 pages, biography. BIC Classification: UMX; UN; UYQE. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 39. Weight in Grams: 1068.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2001st Edition
- Number of pages
- 776
- Condition
- New
- SKU
- V9783540423584
- ISBN
- 9783540423584
Paperback
Condition: New
€ 131.78
€ 131.78
Paperback. Num Pages: 356 pages, 9 black & white illustrations. BIC Classification: PBKS; UK; UM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 560.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 356
- Condition
- New
- SKU
- V9783540423669
- ISBN
- 9783540423669
Paperback
Condition: New
€ 78.69
€ 78.69
Paperback. BIC Classification: UML. Dimension: 235 x 155. Weight in Grams: 400.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540423720
- ISBN
- 9783540423720
Paperback
Condition: New
€ 72.46
€ 72.46
Paperback. The refereed post-proceedings of the Third International Conference on Practice and Theory of Automated Timetabling, contains 22 papers coveing: foundational and methodological issues from combinatorics, optimization, evolutionary computing, genetic algorithms, planning, constraints, and searching. Editor(s): Burke, Edmund; Erben, Wilhelm. Series: Lecture Notes in Computer Science. Num Pages: 376 pages, biography. BIC Classification: KJMV5; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 1160.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 376
- Condition
- New
- SKU
- V9783540424215
- ISBN
- 9783540424215
Paperback
Condition: New
€ 71.62
€ 71.62
Intelligent Agents VII. Agent Theories Architectures and Languages
. Ed(S): Castelfranchi, Cristiano; Lesperance...
Paperback. This work is based on the seventh Workshop on Agent Theories, Architectures, and Languages, ATAL '99, held in Boston, Massachusetts, USA in July 1999. It includes sections on: agent theories; agent development tools and platforms; and models of agent communication and co-ordination. Editor(s): Castelfranchi, Cristiano; Lesperance, Yves. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 362 pages, biography. BIC Classification: UMZ; UT; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 532.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 362
- Condition
- New
- SKU
- V9783540424222
- ISBN
- 9783540424222
Paperback
Condition: New
€ 71.69
€ 71.69
Paperback. This title constitutes the refereed proceedings of the 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001, held in Taipei, Taiwan in July 2001. The volume offers topical sections on specification, modelling, and applications. Editor(s): Yuan, Soe-Tsyr; Yokoo, Makoto. Series: Lecture Notes in Computer Science. Num Pages: 236 pages, biography. BIC Classification: UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 359.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 236
- Condition
- New
- SKU
- V9783540424345
- ISBN
- 9783540424345
Paperback
Condition: New
€ 69.16
€ 69.16
Hardback. This reference text presents some of the tools and algorithms currently being used to create new ways of making enhanced interactive presentations and multimedia courses. The accompanying CD-ROM enables readers to get a hands on experience of the material in the book. Editor(s): Borwein, Jonathan M.; Morales, Maria H.; Polthier, Konrad; Rodrigues, Jose Francisco. Series: Mathematics and Visualization. Num Pages: 322 pages, biography. BIC Classification: PB; UG; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 636.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2002
- Number of pages
- 322
- Condition
- New
- SKU
- V9783540424505
- ISBN
- 9783540424505
Hardback
Condition: New
€ 250.93
€ 250.93
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
. Ed(S): Benferhat, Salem; Besnard, Philippe
Paperback. This work constitutes the refereed proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2001, held in Toulouse, France in September 2001. Editor(s): Benferhat, Salem; Besnard, Philippe. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 832 pages, biography. BIC Classification: UMX; UYQE. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 42. Weight in Grams: 1245.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 832
- Condition
- New
- SKU
- V9783540424642
- ISBN
- 9783540424642
Paperback
Condition: New
€ 132.98
€ 132.98
Paperback. This volume constitutes the thoroughly refereed proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2001, held in Edinburgh in September 2001. It addresses issues in HOL theorem proving and formal verification of hardware and software systems. Editor(s): Boulton, Richard J.; Jackson, Paul B. Series: Lecture Notes in Computer Science. Num Pages: 412 pages, biography. BIC Classification: UMX; UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 21. Weight in Grams: 576.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 412
- Condition
- New
- SKU
- V9783540425250
- ISBN
- 9783540425250
Paperback
Condition: New
€ 72.38
€ 72.38
Paperback. The papers in this volume, from the Third International Conference on Generative and Component-Based Software Engineering, GCSE 2001, Germany, September 2001, are organized in sections on software product lines, aspects, generic and generative approaches, and components and architectures. Editor(s): Bosch, Jan. Series: Lecture Notes in Computer Science. Num Pages: 192 pages, biography. BIC Classification: UKR; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 10. Weight in Grams: 280.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 192
- Condition
- New
- SKU
- V9783540425465
- ISBN
- 9783540425465
Paperback
Condition: New
€ 66.97
€ 66.97