Books

1. Model Checking Software: 10th International Spin Workshop, Portland, OR, USA, May 9-10, Proceedings (Lecture Notes in Computer Science S.)
   

   ---

2. Project Scheduling with Time Windows and Scarce Resources: Temporal and Resource-constrained Project Scheduling with Regular and Nonregular Objective Functions
   

   ---

3. ZB 2003, Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings (Lecture Notes in Computer Science S.)
   

   ---

4. Reliable Software Technologies -- Ada-Europe 2003: 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings (Lecture Notes in Computer Science S.)
   

   ---

5. Duration Calculus: A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science :|an EATCS Series)
   

   ---

6. Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
   

   ---

7. Software Quality Approaches: Testing, Verification and Validation: v. 1 (Software Best Practice S.)
   

   ---

8. Software Design and Usability: Talks with Bonnie Nardi, Jakob Nielsen, David Smith, Austin Henderson and Jed Harris, Terry Winograd and Stephanie Rosenbaum
   

   ---

9. Business Process Oriented Implementation of Standard Software: How to Achieve Competitive Advantage Quickly and Efficiently
   

   ---

10. Software Development for Sap R/3: Data Dictionary, ABAP/4, Interfaces
    

    ---

11. Object-process Methodology: A Holistic Systems Paradigm
    

    ---

12. Multibody System Simulation: Numerical Methods, Algorithms, and Software (Lecture Notes in Computational Science & Engineering S.)
    

    ---

13. Lectures on Applied Mathematics: Proceedings of the Symposium Organized by the SFB 438 "Mathematical Modelling, Simulation and the Intelligent Systems" on the Occasion of Karl Hoffman's 60th Birthday, Munich, June 30-July 1, 1999
    

    ---

14. Object-oriented Technology: ECOOP '99 Workshop Reader (Lecture Notes in Computer Science)
    

    ---

15. Object-oriented Application Development Using the Cache Post-relational Database
    

    ---

16. The Algorithmic Beauty of Seaweeds, Sponges and Corals (Virtual Laboratory S.)
    

    ---

17. Programming Multi-Agent Systems: First International Workshop, Promas 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers (Lecture Notes in Computer Science S.)
    

    ---

18. Testing Computer Software
    

    ---

19. Virtual Applications: Applications with Virtual Inhabited 3d Worlds
    

    ---

20. People and Computers: Designing for Society: v. 17
    

    ---

21. Pro Jakarta Commons
    

    ---

22. Production Rendering: Design and Implementation
    

    ---

23. Requirements Engineering
    

    ---

24. Software Process Assessment and Improvement
    

    ---

25. Real World Software Configuration Management
    

    ---

Books:

1. Use Case Modelling
2. Software Configuration Management Strategies and Rational Clearcase: A Practical Introduction (Object Technology S.)
3. Writing Perl Modules for CPAN
4. Effective Software Testing: 50 Specific Ways to Improve Your Testing
5. Developing ActiveX Web Controls: The Hands-on Guide to Creating Powerful Controls on the Web
6. Model Checking Software: 10th International Spin Workshop, Portland, OR, USA, May 9-10, Proceedings (Lecture Notes in Computer Science S.)
7. Definitive Guide to Excel VBA
8. Refactoring Workbook
9. MCSE Windows 2000 Core Four: (Exam 70-210, 70-215, 70-216, 70-217)
10. A First Book of Visual C++: Fundamentals of C++ Programming with Microsoft(c) Foundation Classes (West Computer Science S.)

Books