کتاب های Jeremy Gibbons
کتاب های نویسنده
صفحه ۱ از ۱ در بین ۲۲ کتاب.
PDF
Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
Jeremy Gibbons (auth.), Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring (eds.), 2007PDF
Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
Jeremy Gibbons (auth.), Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring (eds.), 2007PDF
Advanced Functional Programming: 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002. Revised Lectures
Richard Bird, Jeremy Gibbons (auth.), Johan Jeuring, Simon L. Peyton Jones (eds.), 2003PDF
Advanced Functional Programming: 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002. Revised Lectures
Richard Bird, Jeremy Gibbons (auth.), Johan Jeuring, Simon L. Peyton Jones (eds.), 2003PDF
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures
Roy Crole (auth.), Roland Backhouse, Roy Crole, Jeremy Gibbons (eds.), 2002PDF
Foundations of Health Information Engineering and Systems: Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers
Pei-Hsuan Tsai, Jane W. S. Liu (auth.), Jeremy Gibbons, Wendy MacCaull (eds.), 2014PDF
Generic and Indexed Programming: International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures
Nate Foster, Kazutaka Matsuda, Janis Voigtländer (auth.), Jeremy Gibbons (eds.), 2012PDF
Generic Programming: Advanced Lectures
Ralf Hinze, Johan Jeuring (auth.), Roland Backhouse, Jeremy Gibbons (eds.), 2003PDF
Generic Programming: Advanced Lectures
Ralf Hinze, Johan Jeuring (auth.), Roland Backhouse, Jeremy Gibbons (eds.), 2003PDF
Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany
Thorsten Altenkirch, Conor Mcbride (auth.), Jeremy Gibbons, Johan Jeuring (eds.), 2003PDF
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings
Nazareno Aguirre, Germán Regis, Tom Maibaum (auth.), Jim Davies, Jeremy Gibbons (eds.), 2007PDF
Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Jeremy Gibbons, Pablo Nogueira (eds.), 2012PDF
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
Jeffrey Kramer (auth.), Jeremy Gibbons, José Nuno Oliveira (eds.), 2009PDF
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
Jeffrey Kramer (auth.), Jeremy Gibbons, José Nuno Oliveira (eds.), 2009PDF
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
Jeffrey Kramer (auth.), Jeremy Gibbons, José Nuno Oliveira (eds.), 2009PDF
Haskell’10 Proceedings of the 2010 ACM SIGPLAN Haskell Symposium
Jeremy Gibbons (editor), 2010DJVU
The fun of programming
Gibbons, Jeremy, 2003PDF
Datatype-Generic Programming. International Spring School, SSDGP 2006
Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring (eds.), 2007PDF
Algorithm Design with Haskell
Richard Bird, Jeremy Gibbons, 2020PDF
Algorithm Design with Haskell
Richard Bird, Jeremy Gibbons, 2020DJVU
Algorithm Design with Haskell
Richard Bird, Jeremy Gibbons, 2020PDF
