Books

1. Logic in Computer Science: Modelling and Reasoning about Systems
   

   ---

2. Logic and Structured Design for Computer Programmers
   

   ---

3. Sequential and Parallel Algorithms
   

   ---

4. Computer Organisation and Architecture with Introduction to RISC Assembly Language Programming
   

   ---

5. MVS Systems Programming
   

   ---

6. A Study in E-Commerce Human Centered Technologies Design
   

   ---

7. Fire and Ice: Human-centered and Mechanistic Paradigms in Software Design
   

   ---

8. LDAP Metadirectory Provisioning Methodology: A Step by Step Method to Implementing LDAP Based Metadirectory Provisioning
   

   ---

9. LDAP Metadirectory Provisioning Methodology:a Step by Step Method to Implementing LDAP Based Metadirectory Provisioning
   

   ---

10. Fuzzy Decision Making in Modeling and Control (World Scientific Series in Robotics & Intelligent Systems)
    

    ---

11. Annual Review of Scalable Computing (Series on Scalable Computing)
    

    ---

12. Mixed Analog-digital VLSI Devices and Technology
    

    ---

13. Pipelined and Parallel Computer Architectures
    

    ---

14. Microprocessors and Peripherals: Hardware, Software, Interfacing and Applications
    

    ---

15. Introductory Digital Electronics
    

    ---

16. Windows Configuration Handbook
    

    ---

17. Peter Norton Windows NT Tips/T
    

    ---

18. Minds, Machines, and the Multiverse: The Quest for the Quantum Computer
    

    ---

19. Quest for the Quantum Computer
    

    ---

20. Contemporary Systems Analysis
    

    ---

21. Using Micro Focus Personal Cobol
    

    ---

22. MCSE Testcheck Exam Guide: Microsoft Windows NT Workstation 4
    

    ---

23. MCSE Review NT Server 4.0
    

    ---

24. Analysing Requirements and Designing Solution Architectures MCSD Training Kit
    

    ---

25. Proceedings of the 7th and 8th Asian Logic Conferences
    

    ---

Books:

1. Introduction to Microelectronic Fabrication: V5 Modular (Modular Series on Solid State Devices)
2. Refinement Calculus: a Systematic Introduction
3. Logic in Computer Science: Modelling and Reasoning about Systems
4. Computer Architecture 99: Proc 4t
5. Symposium on FPGA-based Custom Computing Machines: FCCM 2000 8th
6. Low Power Design Methodologies (Kluwer International Series in Engineering & Computer Science)
7. Modern Processor Design
8. Understanding Microprocessors: A Practical Approach
9. Logic and Computer Design Fundamentals:(United States Edition)
10. ISA and EISA Theory and Operation

Books