Books

  1. Reliable Software Technologies: Ada-Europe 99 - 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999 - Proceedings (Lecture Notes in Computer Science)
    Reliable Software Technologies: Ada-Europe 99 - 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999 - Proceedings (Lecture Notes in Computer Science)

  2. Secure Internet Programming: Security Issues for Mobile and Distributed Objects (Lecture Notes in Computer Science)
    Secure Internet Programming: Security Issues for Mobile and Distributed Objects (Lecture Notes in Computer Science)

  3. Computer Aided Verification: 11th International Conference, Cav'99, Trento, Italy, July 6-10, 1999, Proceedings: International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings 11th (Lecture Notes in Computer Science)
    Computer Aided Verification: 11th International Conference, Cav'99, Trento, Italy, July 6-10, 1999, Proceedings: International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings 11th (Lecture Notes in Computer Science)

  4. Active Networks: First International Workshop, IWAN '99, Berlin, Germany, June 30-July 2, 1999 (Lecture Notes in Computer Science)
    Active Networks: First International Workshop, IWAN '99, Berlin, Germany, June 30-July 2, 1999 (Lecture Notes in Computer Science)

  5. The Unified Modeling Language: Beyond the Notation - First International Workshop, Mulhouse, France, June 3-4, 1998, Selected Papers (Lecture Notes in Computer Science)
    The Unified Modeling Language: Beyond the Notation - First International Workshop, Mulhouse, France, June 3-4, 1998, Selected Papers (Lecture Notes in Computer Science)

  6. RoboCup 98: Robot Soccer World Cup II (Lecture Notes in Computer Science)
    RoboCup 98: Robot Soccer World Cup II (Lecture Notes in Computer Science)

  7. Zb 2000: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings (Lecture Notes in Computer Science S.)
    Zb 2000: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings (Lecture Notes in Computer Science S.)

  8. Euro-Par 2000 Parallel Processing: 6th International Euro-Par Conference Munich, Germany, August 29 - September 1, 2000, Proceedings (Lecture Notes in Computer Science S.)
    Euro-Par 2000 Parallel Processing: 6th International Euro-Par Conference Munich, Germany, August 29 - September 1, 2000, Proceedings (Lecture Notes in Computer Science S.)

  9. Modular Programming Languages: Joint Modular Languages Conference, JMLC 2000 Zurcih, Switzerland, September 6-8, 2000 Proceedings (Lecture Notes in Computer Science)
    Modular Programming Languages: Joint Modular Languages Conference, JMLC 2000 Zurcih, Switzerland, September 6-8, 2000 Proceedings (Lecture Notes in Computer Science)

  10. User-centred Design of Systems (Applied Computing S.)
    User-centred Design of Systems (Applied Computing S.)

  11. Managing Your Software Project: A Student's Guide
    Managing Your Software Project: A Student's Guide

  12. Software Reuse
    Software Reuse

  13. Smalltalk and Object-orientation: An Introduction
    Smalltalk and Object-orientation: An Introduction

  14. Essential Delphi 3.0 Fast: Includes ActiveX Control Developments (Essential S.)
    Essential Delphi 3.0 Fast: Includes ActiveX Control Developments (Essential S.)

  15. Proof in VDM: Case Studies (Formal Approaches to Computing & Information Technology S.)
    Proof in VDM: Case Studies (Formal Approaches to Computing & Information Technology S.)

  16. Object-oriented Programming and Java
    Object-oriented Programming and Java

  17. LAN Blueprints: Engineering It Right (McGraw-Hill Series on Computer Communications)
    LAN Blueprints: Engineering It Right (McGraw-Hill Series on Computer Communications)

  18. 201 Principles of Software Development
    201 Principles of Software Development

  19. Handbook of Team Design: A Practitioner's Guide to Team Systems Development (McGraw-Hill Series in Software Development)
    Handbook of Team Design: A Practitioner's Guide to Team Systems Development (McGraw-Hill Series in Software Development)

  20. Software Reuse: Methods, Models and Costs
    Software Reuse: Methods, Models and Costs

  21. McGraw-Hill Software Reliability Engineering Handbook
    McGraw-Hill Software Reliability Engineering Handbook

  22. Internet Engineering: Technologies, Protocols and Applications
    Internet Engineering: Technologies, Protocols and Applications

  23. Building Object-oriented Software
    Building Object-oriented Software

  24. Software Engineering - a Practitioner's Approach
    Software Engineering - a Practitioner's Approach

  25. Software Reuse: Domain, Analysis and Design Process (Software Development Series)
    Software Reuse: Domain, Analysis and Design Process (Software Development Series)

Books:

  1. International Workshop on Program Comprehension: IWPC 2000 8th
  2. Software Reliability Engineered Testing (The McGraw-Hill Series on Software Development)
  3. UML for Systems Engineering (IEE Professional Applications of Computing S.)
  4. Practical Software Metrics for Project Management and Process Improvement
  5. Quality Software Management: First-order Management v. 2
  6. Developing Object-Oriented Multimedia Software
  7. Consolidated Ada Reference Manual. Language and Standard Libraries: International Standard ISO/Iec 8652/1995(E) with Technical Corrigendum: v. 1 (Lecture Notes in Computer Science)
  8. Reliable Software Technologies: Ada-Europe 99 - 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999 - Proceedings (Lecture Notes in Computer Science)
  9. Fundamentals of Computing: Abstraction, Data Structures and Large Software Systems - C++ Edition v. 2
  10. Real-time Programming: Proceedings of the 24th IFAC/IFIP Workshop, Schloss Dagstuhl, Wadern, Saarland, Germany, 30 May-3 June 1999 (IFAC Proceedings Volume S.)

Books