Home Advanced Search

Advanced Search - Page 1

Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings

PDF
English
Year: 2004
Author: Roland Backhouse (auth.), Charles Rattray, Savitri Maharaj, Carron Shankland (eds.)

Generic Programming: Advanced Lectures

PDF
English
Year: 2003
Author: Ralf Hinze, Johan Jeuring (auth.), Roland Backhouse, Jeremy Gibbons (eds.)

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures

PDF
English
Year: 2002
Author: Roy Crole (auth.), Roland Backhouse, Roy Crole, Jeremy Gibbons (eds.)

Generic Programming: Advanced Lectures

PDF
English
Year: 2003
Author: Ralf Hinze, Johan Jeuring (auth.), Roland Backhouse, Jeremy Gibbons (eds.)

Algorithmic Problem Solving (2007)

PDF
English
Year: 2007
Author: Roland Backhouse

Algorithmic Problem Solving

DJVU
English
Year: 2011
Author: Roland Backhouse

Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

PDF
English
Year: 2007
Author: Jeremy Gibbons (auth.), Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring (eds.)

Aging and Health in Africa

PDF
English
Year: 2013
Author: Pranitha Maharaj (auth.), Pranitha Maharaj (eds.)

Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings

PDF
English
Year: 2010
Author: Roland Backhouse, Wei Chen, João F. Ferreira (auth.), Claude Bolduc, Jules Desharnais, Béchir Ktari (eds.)

Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings

PDF
English
Year: 2010
Author: Roland Backhouse, Wei Chen, João F. Ferreira (auth.), Claude Bolduc, Jules Desharnais, Béchir Ktari (eds.)