Automata Theory

An Algorithmic Approach

by (author) Javier Esparza & Michael Blondin

Security Requirements Engineering

Designing Secure Socio-Technical Systems

by (author) Fabiano Dalpiaz, Elda Paja & Paolo Giorgini

Software Metrics and Software Metrology

by (author) Alain Abran

An Introduction to Web Application Development with IBM WebSphere Studio

IBM Certified Associate Developer

by (author) Gary Craig & Peter Jakab

Agile Modeling

Effective Practices for eXtreme Programming and the Unified Process

by (author) Scott Ambler

Elements of Software Process Assessment & Improvement

edited by Khaled El Emam & Nazim H. Madhavji