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.)
Systems: Theory and Practice
  • PDF
  • English
  • Year: 1998
  • Author: Charles Rattray (auth.), Univ.-Prof. Dr. Rudolf Albrecht (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.)
Mathematics of Program Construction: 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Mark P. Jones (auth.), Roland Backhouse, José Nuno Oliveira (eds.)
Algorithmic Problem Solving (2007)
  • PDF
  • English
  • Year: 2007
  • Author: Roland Backhouse
Algorithmic Problem Solving
  • DJVU
  • English
  • Year: 2011
  • Author: Roland Backhouse
Program Construction: Calculating Implementations from Specifications
  • RAR
  • English
  • Year: 2003
  • 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.)
search