Roland Backhouse

LIBRARY

Datatype-Generic Programming. International Spring School, SSDGP 2006

2007 · ENGLISH · PDF

View details →

LIBRARY

Algorithmic Problem Solving

2011 · ENGLISH · DJVU

View details →

LIBRARY

Algorithmic Problem Solving (2007)

2007 · ENGLISH · PDF

View details →

LIBRARY

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

2007 · ENGLISH · PDF

View details →

LIBRARY

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

2010 · ENGLISH · PDF

View details →

LIBRARY

Program Construction: Calculating Implementations from Specifications

2003 · ENGLISH · PDF

View details →

LIBRARY

Mathematics of Program Construction: 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

2000 · ENGLISH · PDF

View details →

LIBRARY

Generic Programming: Advanced Lectures

2003 · ENGLISH · PDF

View details →

LIBRARY

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

2010 · ENGLISH · PDF

View details →

LIBRARY

Program Construction: Calculating Implementations from Specifications

2003 · ENGLISH · RAR

View details →

LIBRARY

Mathematics of Program Construction: 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

2000 · ENGLISH · PDF

View details →

LIBRARY

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

2007 · ENGLISH · PDF

View details →

LIBRARY

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

2002 · ENGLISH · PDF

View details →

LIBRARY

Generic Programming: Advanced Lectures

2003 · ENGLISH · PDF

View details →