1
Foundations of Health Information Engineering and Systems [E-Book] : Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers /
Other Personal Name(s): “...Gibbons, Jeremy....”

Full text 
Favorites
Saved in:
2
Generic and Indexed Programming [E-Book] : International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures /
Other Personal Name(s): “...Gibbons, Jeremy....”

Full text 
Favorites
Saved in:
3
Mathematics of Program Construction [E-Book]: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings /
Other Personal Name(s): “...Gibbons, Jeremy....”

Full text 
Favorites
Saved in:
4
Teaching Formal Methods [E-Book] : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings /
Other Personal Name(s): “...Gibbons, Jeremy...”

Full text 
Favorites
Saved in:
5
Integrated Formal Methods [E-Book] : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings /
Other Personal Name(s): “...Gibbons, Jeremy...”

Full text 
Favorites
Saved in:
6
Datatype-Generic Programming : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures [E-Book] /
Other Personal Name(s): “...Gibbons, Jeremy...”

Full text 
Favorites
Saved in:
7
Generic programming : IFIP TC2 / WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany /
Book
Other Personal Name(s): “...Gibbons, Jeremy...”
Loan/Reservation

Favorites
Saved in:
8
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures [E-Book] /
Other Personal Name(s): “...Gibbons, Jeremy...”

Full text 
Favorites
Saved in:

Narrow Search Results