کتاب های Roland Backhouse
Algorithmic Problem Solving
Roland Backhouse, 2011
Algorithmic Problem Solving (2007)
Roland Backhouse, 2007
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures
Roy Crole (auth.), Roland Backhouse, Roy Crole, Jeremy Gibbons (eds.), 2002
Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
Jeremy Gibbons (auth.), Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring (eds.), 2007
Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
Jeremy Gibbons (auth.), Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring (eds.), 2007
Generic Programming: Advanced Lectures
Ralf Hinze, Johan Jeuring (auth.), Roland Backhouse, Jeremy Gibbons (eds.), 2003
Generic Programming: Advanced Lectures
Ralf Hinze, Johan Jeuring (auth.), Roland Backhouse, Jeremy Gibbons (eds.), 2003
Mathematics of Program Construction: 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings
Mark P. Jones (auth.), Roland Backhouse, José Nuno Oliveira (eds.), 2000
Mathematics of Program Construction: 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings
Mark P. Jones (auth.), Roland Backhouse, José Nuno Oliveira (eds.), 2000
Program construction : calculating implementations from specifications
Roland C Backhouse, 2003
Program Construction: Calculating Implementations from Specifications
Roland Backhouse, 2003
Program Construction: Calculating Implementations from Specifications
Roland Backhouse, 2003
Datatype-Generic Programming. International Spring School, SSDGP 2006
Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring (eds.), 2007
