 Constraint Logic Programming using Eclipse Cambridge University Press 2007, English |  Reactive Systems: Modelling, Specification and Verification Cambridge University Press 2007, English |  Conquest in Cyberspace: National Security and Information Warfare Cambridge University Press 2007, English |  Africa since 1800 Cambridge University Press 2005, English |
 Computational Complexity: A Conceptual Perspective Cambridge University Press 2008, English |  Data Structures and Algorithms Using C# Cambridge University Press 2007, English |  English Vocabulary In Use : Elementary Cambridge University Press 1999, English |  Mobile Computing Principles: Designing and Developing Mobile Applications with UML and XML Cambridge University Press 2004, English |
 A Guide to MATLAB: For Beginners and Experienced Users Cambridge University Press 2001, English |  Fundamentals of Digital Communication Cambridge University Press 2008, English |  Memory as a Programming Concept in C and C++ Cambridge University Press 2003, English |  The Object Primer: Agile Model-Driven Development with UML 2.0 Cambridge University Press 2004, English |