Books

1. Successful Evolution of Software Systems (Software Engineering S.)
   

   ---

2. Systematic Process Improvement Using ISO 9001:2000 and CMMI (Computing Library S.)
   

   ---

3. Systematic Software Testing (Computing Library S.)
   

   ---

4. Practical Guide to Software Quality Management
   

   ---

5. Current Issues in Safety-critical Systems: Proceedings of the Eleventh Safety-critical Systems Symposium
   

   ---

6. Software Quality: Theory and Management
   

   ---

7. Software Quality
   

   ---

8. Software Reliability Handbook: Centre for Software Reliability
   

   ---

9. Software Quality Management VI: Quality Improvement Issues: v. 6
   

   ---

10. Program Development by Refinement: Case Studies Using the B Method (Formal Approaches to Computing & Information Technology S.)
    

    ---

11. Definitions for Hardware and Software Safety Engineers
    

    ---

12. Inheritance Relationships for Disciplined Software Construction (Distinguished Dissertations S.)
    

    ---

13. Model Reduction for Control System Design (CCES Communications & Control Engineering)
    

    ---

14. Managing Software Quality: A Measurement Framework for Assessment and Prediction (Practitioner S.)
    

    ---

15. Software Specification Methods: An Overview Using a Case Study (Formal Approaches to Computing & Information Technology S.)
    

    ---

16. Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing & Information Technology (FACIT))
    

    ---

17. User-centred Requirements Engineering
    

    ---

18. Practical Software Reuse (Practitioner S.)
    

    ---

19. Software Product Management: Managing Software Development from Idea to Product to Marketing to Sales
    

    ---

20. Estimating Software Costs (Software Development S.)
    

    ---

21. .NET Concurrency Design Patterns: Programming in C# (Software Patterns S.)
    

    ---

22. Software Product-family Engineering: 4th International Workshop, PFE 2001 Bilbao, Spain, October 3-5, 2001 Revised Papers (Lecture Notes in Computer Science)
    

    ---

23. Generative and Component-based Software Engineering: Third International Conference, GCSE 2001, Erfurt, Germany, September 9-13, 2001 Proceedings (Lecture Notes in Computer Science)
    

    ---

24. Generative and Component-based Software Engineering: Second International Symposium, GCSE 2000, Erfurt, Germany, October 9-12, 2000 - Revised Papers (Lecture Notes in Computer Science)
    

    ---

25. Self-stabilizing Systems: 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 Proceedings (Lecture Notes in Computer Science)
    

    ---

Books:

1. Hardware/Software Co-Design: Principles and Practice
2. Dr. Dobb's Java Development Tools and Techniques (Programmer's Resource)
3. Successful Evolution of Software Systems (Software Engineering S.)
4. Embedded Software: First International Workshop, Emsoft 2001, Tahoe City, Ca, USA, October 8-10, 2001. Proceedings: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October, 8-10, 2001 - Proceedings (Lecture Notes in Computer Science)
5. Software Evolution and Reuse (Research Reports ESPRIT: Project 9809 SER)
6. Writing Mobile Code: Essential Software Engineering for Building Mobile Applications
7. SDL '97: Time for Testing - SDL, MSC and Trends - Proceedings of the 8th SDL Forum, Evry, France, 23-26 September, 1997
8. Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science: An EATCS S.)
9. "Multi Pack Oo Software Engg
10. Visual Basic for Testers

Books