Jeremy Gibbons

Jeremy Gibbons

22 Published BooksJeremy Gibbons

Popular Books by Jeremy Gibbons

The Fun of Programming

The Fun of Programming

The Fun of Programming

By: Jeremy Gibbons

CLASH of CLANS: Character Guide (Photo Book) Volume 1

CLASH of CLANS: Character Guide (Photo Book) Volume 1

CLASH of CLANS: Character Guide (Photo Book) Volume 1

By: Jeremy Gibbons

Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures (Lecture Notes in Computer Science Book 9715)

Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures (Lecture Notes in Computer Science Book 9715)

Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures (Lecture Notes in Computer Science Book 9715)

By: Jeremy Gibbons

Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany (IFIP Advances in Information and Communication Technology, 115)

Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany (IFIP Advances in Information and Communication Technology, 115)

Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany (IFIP Advances in Information and Communication Technology, 115)

By: Jeremy Gibbons

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings (Lecture Notes in Computer Science, 4591)

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings (Lecture Notes in Computer Science, 4591)

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings (Lecture Notes in Computer Science, 4591)

By: Jeremy Gibbons

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science, 5846)

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science, 5846)

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science, 5846)

By: Jeremy Gibbons

Generic and Indexed Programming (Lecture Notes in Computer Science, 7470)

Generic and Indexed Programming (Lecture Notes in Computer Science, 7470)

Generic and Indexed Programming (Lecture Notes in Computer Science, 7470)

By: Jeremy Gibbons

Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings (Lecture Notes in Computer Science, 7342)

Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings (Lecture Notes in Computer Science, 7342)

Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings (Lecture Notes in Computer Science, 7342)

By: Jeremy Gibbons

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

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

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

By: Jeremy Gibbons

Teaching Formal Methods

Teaching Formal Methods

Teaching Formal Methods

By: Jeremy Gibbons