Books

  1. Verification, Model Checking and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers (Lecture Notes in Computer Science)
    Verification, Model Checking and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers (Lecture Notes in Computer Science)
  2. Adaptive Hypermedia and Adaptive Web-based Systems: Second International Conference, AH 2002 Malaga, Spain, May 29-31, 2002 Proceedings (Lecture Notes in Computer Science)
    Adaptive Hypermedia and Adaptive Web-based Systems: Second International Conference, AH 2002 Malaga, Spain, May 29-31, 2002 Proceedings (Lecture Notes in Computer Science)
  3. Introduction to Programming and Object-Oriented Design Using Java
    Introduction to Programming and Object-Oriented Design Using Java
  4. Principles and Practice of Constraint Programming CP 2002: 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings (Lecture Notes in Computer Science)
    Principles and Practice of Constraint Programming CP 2002: 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings (Lecture Notes in Computer Science)
  5. Embedded Software: Second International Conference, Emsoft 2002, Grenoble, France, October 7-9, 2002. Proceedings (Lecture Notes in Computer Science)
    Embedded Software: Second International Conference, Emsoft 2002, Grenoble, France, October 7-9, 2002. Proceedings (Lecture Notes in Computer Science)
  6. Dynamic Scheduling: With Microsoft Office Project 2003
    Dynamic Scheduling: With Microsoft Office Project 2003
  7. The Functional Approach to Programming
    The Functional Approach to Programming
  8. The Haskell School of Expression: Learning Functional Programming Through Multimedia
    The Haskell School of Expression: Learning Functional Programming Through Multimedia
  9. Beginning Java Objects: From Concepts to Code
    Beginning Java Objects: From Concepts to Code
  10. Enterprise Security with Ejb and CORBA
    Enterprise Security with Ejb and CORBA
  11. Higher Order Perl
    Higher Order Perl
  12. ExamWise for MCP/MCSE Certification: Microsoft Windows 2000 Network Infrastructure Exam 70-221 (with BFQ Online Exam) (ExamWise S.)
    ExamWise for MCP/MCSE Certification: Microsoft Windows 2000 Network Infrastructure Exam 70-221 (with BFQ Online Exam) (ExamWise S.)
  13. Design Specification and Verification of Interactive Systems '99: Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999 (Eurographics S.)
    Design Specification and Verification of Interactive Systems '99: Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999 (Eurographics S.)
  14. Enterprise Management with SAP SEM/Businessanalytics
    Enterprise Management with SAP SEM/Businessanalytics
  15. ExamWise for Cisco CCNA Cisco Certified Network Associate Examination 640-607 (ExamWise S.)
    ExamWise for Cisco CCNA Cisco Certified Network Associate Examination 640-607 (ExamWise S.)
  16. ExamWise for Cisco CCNP Certification Building Remote Access Networks BCRAN Examination 640-605 (ExamWise S.)
    ExamWise for Cisco CCNP Certification Building Remote Access Networks BCRAN Examination 640-605 (ExamWise S.)
  17. Tcl/Tk Unleashed (Economic Policy S.)
    Tcl/Tk Unleashed (Economic Policy S.)
  18. Information Technology Outsourcing Transactions: Process, Strategies and Contracts: Supplement
    Information Technology Outsourcing Transactions: Process, Strategies and Contracts: Supplement
  19. Open Source Development Handbook
    Open Source Development Handbook
  20. InsideScoop to CompTIA Security+ Technology (InsideScoop)
    InsideScoop to CompTIA Security+ Technology (InsideScoop)
  21. Access 2003 Programming by Example with VBA, XML and ASP
    Access 2003 Programming by Example with VBA, XML and ASP
  22. The Philosophy of Filemaker
    The Philosophy of Filemaker
  23. An Introduction to Programming Using Visual Basic (C) 6.0
    An Introduction to Programming Using Visual Basic (C) 6.0
  24. Open Source Messaging Application Development: Building and Extending Gaim
    Open Source Messaging Application Development: Building and Extending Gaim
  25. On Time and Under Budget
    On Time and Under Budget

Books:

  1. Verification, Model Checking and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers (Lecture Notes in Computer Science)
  2. Agile Estimating and Planning
  3. Godel 96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Godel's Legacy (Lecture Notes in Logic S.)
  4. Sql Functions Programmer's Reference
  5. The Best of Verity Stob: Highlights of Verity Stob's Famous Columns from .Exe, Dr. Dobb's Journal, and the Register
  6. Cryptography: A Very Short Introduction (Very Short Introduction S.)
  7. Dr. Tom Shinder's Isa Server and Beyond: Real World Security Solutions for Microsoft Enterprise Networks
  8. Cisco Security Specialists Guide to Pix Firewall
  9. Network Intrusion Detection
  10. Sniffer Network Optimization and Troubleshooting Handbook

Books