کتاب های Roland Backhouse (auth.)
![Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures](http://cdn.ketabkoo.com/covers/0/95910-n.jpg)
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](http://cdn.ketabkoo.com/covers/0/95911-n.jpg)
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](http://cdn.ketabkoo.com/covers/0/95912-n.jpg)
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](http://cdn.ketabkoo.com/covers/0/95915-n.jpg)
Generic Programming: Advanced Lectures
Ralf Hinze, Johan Jeuring (auth.), Roland Backhouse, Jeremy Gibbons (eds.), 2003![Generic Programming: Advanced Lectures](http://cdn.ketabkoo.com/covers/0/95916-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/145197-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/145198-n.jpg)
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![Algorithmic Problem Solving](http://cdn.ketabkoo.com/covers/0/70481-n.jpg)
Algorithmic Problem Solving
Roland Backhouse, 2011![Algorithmic Problem Solving (2007)](http://cdn.ketabkoo.com/covers/0/70482-n.jpg)
Algorithmic Problem Solving (2007)
Roland Backhouse, 2007![Program construction : calculating implementations from specifications](http://cdn.ketabkoo.com/covers/8/894274-n.jpg)
Program construction : calculating implementations from specifications
Roland C Backhouse, 2003![Program Construction: Calculating Implementations from Specifications](http://cdn.ketabkoo.com/covers/8/894276-n.jpg)
Program Construction: Calculating Implementations from Specifications
Roland Backhouse, 2003![Program Construction: Calculating Implementations from Specifications](http://cdn.ketabkoo.com/covers/8/894278-n.jpg)
Program Construction: Calculating Implementations from Specifications
Roland Backhouse, 2003![Datatype-Generic Programming. International Spring School, SSDGP 2006](http://cdn.ketabkoo.com/covers/10/1088711-n.jpg)
Datatype-Generic Programming. International Spring School, SSDGP 2006
Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring (eds.), 2007![Algorithmic Problem Solving](http://cdn.ketabkoo.com/covers/11/1136977-n.jpg)