Gibbons, Jeremy books & textbook
Algorithm Design with Haskell
Cambridge University Press /2020-08-13 Hardcover / 450 Pages
isbn-10: 1108491618 / isbn-13: 9781108491617
Educating the Prince: Essays in Honor of Harvey Mansfield
Blitz, Mark Kristol editor The Weekly Standa, William Gibbons, John Tarcov University of Chicago, Nathan Hancock, Ralph Weinberger, Jerry Cantor University of Virginia, Paul A. Blitz, Mark Muller, James W. Weinstein, Kenneth Orwin, Clifford Melzer, Arthur Shell, Susan Meld Minowitz author of Straussophobia:, Peter Stoner, James Rabkin, Jeremy Epstein, David F. Kesler, Charles R. Thurow, Glen E. Melnick Thomas P. O'Neil Jr. pro, R Shep Korn, Jessica Kraynak, Robert P.
Rowman & Littlefield Publishers /2000-08-28 Hardcover / 352 Pages
isbn-10: 0742508277 / isbn-13: 9780742508279
The Fun of Programming (Cornerstones of Computing)
Red Globe Press /2003-03-27 Paperback / 277 Pages
isbn-10: 0333992857 / isbn-13: 9780333992852
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science, 5846)
Gibbons, Jeremy Nuno Oliveira, Jose
Springer /2009-10-26 Paperback / 188 Pages
isbn-10: 3642049117 / isbn-13: 9783642049118
Foundations of Health Information Engineering and Systems: Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers (Programming and Software Engineering)
Gibbons, Jeremy MacCaull, Wendy
Springer /2014-01-27 Paperback / 301 Pages
isbn-10: 3642539556 / isbn-13: 9783642539558
Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures (Programming and Software Engineering)
Gibbons, Jeremy Stevens, Perdita
Springer /2018-03-29 Paperback / 198 Pages
isbn-10: 3319791079 / isbn-13: 9783319791074
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings (Lecture Notes in Computer Science, 4591)
Springer /2007-06-22 Paperback / 671 Pages
isbn-10: 3540732098 / isbn-13: 9783540732099
Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany (IFIP Advances in Information and Communication Technology)
Gibbons, Jeremy Jeuring, Johan
Springer /2013-03-08 Paperback / 260 Pages
isbn-10: 1475753209 / isbn-13: 9781475753202
Generic Programming: Advanced Lectures (Lecture Notes in Computer Science, 2793)
Backhouse, Roland Gibbons, Jeremy
Springer /2003-09-29 Paperback / 240 Pages
isbn-10: 3540201947 / isbn-13: 9783540201946
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, ... (Lecture Notes in Computer Science, 2297)
Backhouse, Roland Crole, Roy Gibbons, Jeremy
Springer /2002-04-17 Paperback / 404 Pages
isbn-10: 3540436138 / isbn-13: 9783540436133
