Books

1. SDL '97: Time for Testing - SDL, MSC and Trends - Proceedings of the 8th SDL Forum, Evry, France, 23-26 September, 1997
   

   ---

2. Modern Compiler Implementation in ML: Basic Techniques
   

   ---

3. Modern Compiler Implementation in C: Basic Techniques
   

   ---

4. Conceptual Modeling - ER 2004: 23rd International Conference on Conceptual Modeling, Shanghai, China, November 8-12, 2004, Proceedings (Lecture Notes in Computer Science)
   

   ---

5. Modelling Systems: Practical Tools and Techniques for Software Development
   

   ---

6. Embedded Systems: Desktop Integration
   

   ---

7. Web Services-ICWS-Europe 2003: International Conference Icws-Europe 2003, Erfurt, Germany, September 23-24, 2003, Proceedings (Lecture Notes in Computer Science S.)
   

   ---

8. Software Systems Architecture: Viewpoint Oriented System Development
   

   ---

9. Programming Languages and Systems: Second Asian Symposium, Aplas 2004, Taipei, Taiwan, November 4-6, 2004, Proceedings (Lecture Notes in Computer Science)
   

   ---

10. Software Process Improvement: 11th European Conference, Eurospi 2004, Trondheim, Norway, November 10-12, 2004, Proceedings (Lecture Notes in Computer Science)
    

    ---

11. Understanding Distributed Components
    

    ---

12. Interactive Multimedia and Next Generation Networks: Second International Workshop on Multimedia Interactive Protocols and Systems, Mips 2004, Grenoble, France, November 16-19, 2004, Proceedings (Lecture Notes in Computer Science)
    

    ---

13. Software Development Using Java: A Case Study Approach
    

    ---

14. Global Computing, Programming Environments, Languages, Security and Analysis of Systems: Ist / FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers (Lecture Notes in Computer Science S.)
    

    ---

15. Declarative Agent Languages and Technologies: First International Workshop, Dalt 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers (Lecture Notes in Computer Science S.)
    

    ---

16. Software Certificates and Warranties: Ensuring Quality, Reliability and Interoperability
    

    ---

17. Large Scale Agile Software Development
    

    ---

18. Programming in Mathematica
    

    ---

19. Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, Fates 2003, Montreal, Quebec, Canada, October 6th, 2003 (Lecture Notes in Computer Science S.)
    

    ---

20. SAP/R3: Inventory Management
    

    ---

21. Verification, Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday (Lecture Notes in Computer Science S.)
    

    ---

22. The Art of Software Architecture: Design Methods and Techniques (Wiley Application Development)
    

    ---

23. Value of Information Based Design of Control Software
    

    ---

24. Fast Software Encryption: 11th International Workshop, Fse 2004, Delhi, India, February 5-7, 2004, Revised Papers (Lecture Notes in Computer Science S.)
    

    ---

25. Db2 Common Server Application Development
    

    ---

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