Books

  1. 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)
    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)
  2. Unifying Petri Nets: Advances in Petri Nets (Lecture Notes in Computer Science)
    Unifying Petri Nets: Advances in Petri Nets (Lecture Notes in Computer Science)
  3. Cooperative Environments for Distributed Systems Engineering: The Distributed Systems Environment Report (Lecture Notes in Computer Science)
    Cooperative Environments for Distributed Systems Engineering: The Distributed Systems Environment Report (Lecture Notes in Computer Science)
  4. COTS - Based Software Systems: First International Conference, Iccbss 2002, Orlando, Fl, USA, February 4-6, 2002, Proceedings (Lecture Notes in Computer Science)
    COTS - Based Software Systems: First International Conference, Iccbss 2002, Orlando, Fl, USA, February 4-6, 2002, Proceedings (Lecture Notes in Computer Science)
  5. Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings (Lecture Notes in Computer Science)
    Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings (Lecture Notes in Computer Science)
  6. Soft-Ware 2002 Computing in an Imperfect World: First International Conference, Soft-Ware 2002 Belfast, Northern Ireland, April 8-10, 2002 Proceedings (Lecture Notes in Computer Science)
    Soft-Ware 2002 Computing in an Imperfect World: First International Conference, Soft-Ware 2002 Belfast, Northern Ireland, April 8-10, 2002 Proceedings (Lecture Notes in Computer Science)
  7. Software Reuse: Methods, Techniques and Tools - 7th International Conference, ICSR-7, Austin, TX, USA, April 15-19, 2002 - Proceedings (Lecture Notes in Computer Science)
    Software Reuse: Methods, Techniques and Tools - 7th International Conference, ICSR-7, Austin, TX, USA, April 15-19, 2002 - Proceedings (Lecture Notes in Computer Science)
  8. Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software
    Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software
  9. Software Quality - ECSQ 2002: Quality Connection - 7th European Conference on Software Quality, Helsinki, Finland, June 9-13, 2002. Proceedings (Lecture Notes in Computer Science)
    Software Quality - ECSQ 2002: Quality Connection - 7th European Conference on Software Quality, Helsinki, Finland, June 9-13, 2002. Proceedings (Lecture Notes in Computer Science)
  10. Ecoop 2002 - Object-Oriented Programming: 16th European Conference Malaga, Spain, June 10-14, 2002 Proceedings (Lecture Notes in Computer Science)
    Ecoop 2002 - Object-Oriented Programming: 16th European Conference Malaga, Spain, June 10-14, 2002 Proceedings (Lecture Notes in Computer Science)
  11. Reliable Software Technologies - Ada-Europe 2002: 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings (Lecture Notes in Computer Science)
    Reliable Software Technologies - Ada-Europe 2002: 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings (Lecture Notes in Computer Science)
  12. Invasive Software Composition
    Invasive Software Composition
  13. Object-Oriented Technology: Ecoop '97 Workshop Reader: Ecoop '97 Workshops, Jyvaskyla, Finland, June 9-13, 1997: Proceedings (Lecture Notes in Computer Science S.)
    Object-Oriented Technology: Ecoop '97 Workshop Reader: Ecoop '97 Workshops, Jyvaskyla, Finland, June 9-13, 1997: Proceedings (Lecture Notes in Computer Science S.)
  14. Programming Languages and Systems: Proceedings of the 7th European Symposium (Lecture Notes in Computer Science S.)
    Programming Languages and Systems: Proceedings of the 7th European Symposium (Lecture Notes in Computer Science S.)
  15. Fundamental Approaches to Software Engineering: First International Conference, FASE '98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings (Lecture Notes in Computer Science S.)
    Fundamental Approaches to Software Engineering: First International Conference, FASE '98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings (Lecture Notes in Computer Science S.)
  16. Intelligence in Services and Networks - Technology for Ubiquitous Telecom Services: Proceedings of the 5th International Conference on Intelligence in Services and Networks, Is&N'98 (Lecture Notes in Computer Science S.)
    Intelligence in Services and Networks - Technology for Ubiquitous Telecom Services: Proceedings of the 5th International Conference on Intelligence in Services and Networks, Is&N'98 (Lecture Notes in Computer Science S.)
  17. Types in Compilation: Second International Workshop, Tic '98, Kyoto, Japan, March 25-27, 1998: Proceedings (Lecture Notes in Computer Science S.)
    Types in Compilation: Second International Workshop, Tic '98, Kyoto, Japan, March 25-27, 1998: Proceedings (Lecture Notes in Computer Science S.)
  18. Computer Performance Evaluation: 10th International Conference, Tools '98, Palma De Mallorca, Spain, September 14-18, 1998: Proceedings: Modelling Techniques and Tools (Lecture Notes in Computer Science S.)
    Computer Performance Evaluation: 10th International Conference, Tools '98, Palma De Mallorca, Spain, September 14-18, 1998: Proceedings: Modelling Techniques and Tools (Lecture Notes in Computer Science S.)
  19. Software Process Technology: 6th European Workshop, Ewspt'98, Weybridge, UK, September 16-18, 1998; Proceedings (Lecture Notes in Computer Science S.)
    Software Process Technology: 6th European Workshop, Ewspt'98, Weybridge, UK, September 16-18, 1998; Proceedings (Lecture Notes in Computer Science S.)
  20. Mobile Agents: Second International Workshop, MA '98, Stuttgart, Germany, September 9-11, 1998 (Lecture Notes in Computer Science S.)
    Mobile Agents: Second International Workshop, MA '98, Stuttgart, Germany, September 9-11, 1998 (Lecture Notes in Computer Science S.)
  21. Optimal Interprocedural Program Optimization: A New Framework and Its Application (Lecture Notes in Computer Science S.)
    Optimal Interprocedural Program Optimization: A New Framework and Its Application (Lecture Notes in Computer Science S.)
  22. Languages, Compilers, and Run-Time Systems for Scalable Computing (Lecture Notes in Computer Science S.)
    Languages, Compilers, and Run-Time Systems for Scalable Computing (Lecture Notes in Computer Science S.)
  23. Requirements Targeting Software and Systems Engineering: International Workshop Rtse '97, Bernried, Germany, October 12-14, 1997 : Proceedings (Lecture Notes in Computer Science S.)
    Requirements Targeting Software and Systems Engineering: International Workshop Rtse '97, Bernried, Germany, October 12-14, 1997 : Proceedings (Lecture Notes in Computer Science S.)
  24. Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998, Proceedings: v. 1530
    Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998, Proceedings: v. 1530
  25. Formal Methods for Real-time and Probabilistic Systems: International AMAST Workshop, ARTS '99, Bamberg, Germany, May 26-28, 1999 - Proceedings 5th (Lecture Notes in Computer Science)
    Formal Methods for Real-time and Probabilistic Systems: International AMAST Workshop, ARTS '99, Bamberg, Germany, May 26-28, 1999 - Proceedings 5th (Lecture Notes in Computer Science)

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