4 books on BookOwl
Principles of constraint programming
2010
Verification of sequential and concurrent programs
2009
New perspectives on games and interaction
2008
Constraint Logic Programming using Eclipse
2007