MPG.eBooks - Author Search Results

Jeremy Gibbons

Jeremy Gibbons is a computer scientist and professor of computing at the University of Oxford. He serves as Deputy Director of the Software Engineering Programme in the Department of Computer Science, Governing Body Fellow at Kellogg College and Pro-Proctor of the University of Oxford. Provided by Wikipedia

Cover Image

1

Generic Programming : Advanced Lectures

by Backhouse, Roland
Published 2003

Springer Berlin Heidelberg

Other Authors: “...Gibbons, Jeremy...”

Cover Image

2

Generic and Indexed Programming

Published 2012

Springer Berlin Heidelberg

Other Authors: “...Gibbons, Jeremy...”

Cover Image

3

Generic Programming : Advanced Lectures

Published 2003

Springer Berlin Heidelberg

Other Authors: “...Gibbons, Jeremy...”

Cover Image

4

Bidirectional Transformations : International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures

Published 2018

Springer International Publishing

Other Authors: “...Gibbons, Jeremy...”

Cover Image

5

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

by Backhouse, Roland
Published 2002

Springer-Verlag Berlin Heidelberg

Other Authors: “...Gibbons, Jeremy...”

Cover Image

6

Integrated Formal Methods : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Other Authors: “...Gibbons, Jeremy...”

Cover Image

7

Mathematics of Program Construction : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings

Published 2012

Springer Berlin Heidelberg

Other Authors: “...Gibbons, Jeremy...”

Cover Image

8

Generic Programming : IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany

Published 2003

Springer US

Other Authors: “...Gibbons, Jeremy...”

Cover Image

9

Foundations of Health Information Engineering and Systems : Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers

Published 2014

Springer Berlin Heidelberg

Other Authors: “...Gibbons, Jeremy...”

Cover Image

10

Teaching Formal Methods : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

Other Authors: “...Gibbons, Jeremy...”

Cover Image

11

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

Published 2002

Springer Berlin Heidelberg

Other Authors: “...Gibbons, Jeremy...”

Cover Image

12

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

Published 2007

Springer Berlin Heidelberg

Other Authors: “...Gibbons, Jeremy...”