Jump to main content

yr 〜
yr

Search results 18

関数プログラミングの楽しみ

関数プログラミングの楽しみ
Paper図書
Jeremy Gibbons, Oege de Moor 編, 山下伸夫 訳オーム社2010.6<M159-J1006>
National Diet LibraryOther Libraries in Japan
  • Author HeadingGibbons, Jeremy Moor, Oege de 山下, 伸夫

Proceedings of the first international workshop on formal methods education and training (GRACE technical reports ; 2008-3)

Proceedings of the first international workshop on formal methods education and training (GRACE technical reports ; 2008-3)
Paper図書
Jim Davies, Jeremy Gibbons, Mike Hinchey, Kenji Taguchi (editors)Center for Global Research in Advanced Software Science and Engineering, National Institute of Informatics2008.10<M18-B914>
National Diet Library
  • Author HeadingDavies, Jim Gibbons, Jeremy Hinchey, Michael Gerard

Algorithm design with Haskell : hardback

Algorithm design with Haskell : hardback
Paper図書
Richard Bird, Jeremy GibbonsCambridge University Press2020
Other Libraries in Japan
  • Author HeadingBird, R. S. (Richard Simpson) Gibbons, Jeremy

Foundations of health information engineering and systems : Third international symposium, FHIES 2013, Macau, China, August 21-23, 2013 : Revised selected papers : pbk

Foundations of health information engineering and systems : Third international symposium, FHIES 2013, Macau, China, August 21-23, 2013 : Revised selected papers : pbk
Paper図書
Jeremy Gibbons, Wendy MacCaull (eds.)Springer-Verlag Berlin Heidelbergc2014
Other Libraries in Japan
  • Author HeadingGibbons, Jeremy MacCaull, Wendy

Mathematics of program construction : 11th international conference, MPC 2012, Madrid, Spain, June 25-27, 2012, proceedings

Mathematics of program construction : 11th international conference, MPC 2012, Madrid, Spain, June 25-27, 2012, proceedings
Paper図書
Jeremy Gibbons, Pablo Nogueira (eds.)Springerc2012
Other Libraries in Japan
  • Author HeadingInternational Conference on the Mathematics of Program Construction Gibbons, Jeremy Nogueira, Pablo

Teaching formal methods : second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, proceedings

Teaching formal methods : second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, proceedings
Paper図書
Jeremy Gibbons, José Nuno Oliveira (eds.)Springerc2009
Other Libraries in Japan
  • Author HeadingTFM Gibbons, Jeremy Oliveira, José N.

Integrated formal methods : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings

Integrated formal methods : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings
Paper図書
Jim Davies, Jeremy Gibbons (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingInternational Conference on Integrated Formal Methods Davies, Jim Gibbons, Jeremy

Foundations of health information engineering and systems : third international symposium, FHIES 2013 : Macau, China, August 21-23, 2013 : revised selected papers : Aug 2013, Macau, China. (Lecture Notes in Computer Science ; 8315)

Foundations of health information engineering and systems : third international symposium, FHIES 2013 : Macau, China, August 21-23, 2013 : revised selected papers : Aug 2013, Macau, China. (Lecture Notes in Computer Science ; 8315)
Paper図書
Springerc2014.<M17-14-1753>
National Diet Library
  • Author HeadingFHIES (Symposium) (3rd : 2013 : Macau, China) Gibbons, Jeremy, 1966- MacCaull, Wendy.

Generic and indexed programming : international spring school, SSGIP 2010 : Oxford, UK, March 22-26, 2010 : revised lectures : Mar 2010, Oxford, UK. (Lecture Notes in Computer Science ; 7470. Tutorial)

Generic and indexed programming : international spring school, SSGIP 2010 : Oxford, UK, March 22-26, 2010 : revised lectures : Mar 2010, Oxford, UK. (Lecture Notes in Computer Science ; 7470. Tutorial)
Paper図書
Springerc2012.<M17-13-636>
National Diet Library
  • Author HeadingSSGIP 2010 (2010 : Oxford, England) Gibbons, Jeremy, 1966-

Mathematics of program construction : 11th international conference, MPC 2012 : Madrid, Spain, June 25-27, 2012 : proceedings : Jun 2012, Madrid, Spain. (Lecture Notes in Computer Science ; 7342)

Mathematics of program construction : 11th international conference, MPC 2012 : Madrid, Spain, June 25-27, 2012 : proceedings : Jun 2012, Madrid, Spain. (Lecture Notes in Computer Science ; 7342)
Paper図書
Springerc2012.<M17-13-551>
National Diet Library
  • Author Heading...Madrid, Spain) Gibbons, Jeremy, 1966- Nogueira, Pablo. Unive...

Generic programming : advanced lectures

Generic programming : advanced lectures
Paper図書
Roland Backhouse, Jeremy Gibbons (eds.)Springerc2003
Other Libraries in Japan
  • Author HeadingBackhouse, Roland C. Gibbons, Jeremy

The fun of programming : hbk : pbk

The fun of programming : hbk : pbk
Paper図書
edited by Jeremy Gibbons and Oege de MoorPalgrave Macmillan2003
Other Libraries in Japan
  • Author HeadingGibbons, Jeremy Moor, Oege de

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

Generic programming : IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany
Paper図書
edited by Jeremy Gibbons, Johan JeuringKluwer Academicc2003
Other Libraries in Japan
  • Author HeadingIFIP TC2/WG2.1 Working Conference on Generic Programming Gibbons, Jeremy Jeuring, Johan

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

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000 : revised lectures
Digital図書
Roland Backhouse, Roy Crole, Jeremy Gibbons (eds.)Springer1899
Other Libraries in Japan
  • Author HeadingMathematics of Program Construction Backhouse, Roland C. Crole, Roy L Gibbons, Jeremy

3rd ACM Haskell symposium 2010 : (Haskell 10) : held in conjunction with ICFP 10 : Baltimore, Maryland, USA : 30 September 2010. : ICFP workshop : Sep 2010, Baltimore, MD.

3rd ACM Haskell symposium 2010 : (Haskell 10) : held in conjunction with ICFP 10 : Baltimore, Maryland, USA : 30 September 2010. : ICFP workshop : Sep 2010, Baltimore, MD.
Paper図書
Association for Computing Machineryc2010.<M17-11-2723>
National Diet Library
  • Author HeadingGibbons, Jeremy, 1966- ACM SIGPLAN Haskell Sy...

Teaching formal methods : second international conference, TFM 2009 : Eindhoven, the Netherlands, November 2-6, 2009 : proceedings. : 2nd international FME conference on teaching formal methods : 1st formal methods week (FMWeek) : Nov 2009, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 5846)

Teaching formal methods : second international conference, TFM 2009 : Eindhoven, the Netherlands, November 2-6, 2009 : proceedings. : 2nd international FME conference on teaching formal methods : 1st formal methods week (FMWeek) : Nov 2009, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 5846)
Paper図書
Springerc2009.<M17-10-1645>
National Diet Library
  • Author Heading... of Education. Gibbons, Jeremy, 1966- Oliveira, José N. TFM ...

Integrated formal methods : 6th international conference, IFM 2007 : Oxford, UK, July 2-5, 2007 : proceedings. : Jul 2007, Oxford, UK. (Lecture Notes in Computer Science ; 4591)

Integrated formal methods : 6th international conference, IFM 2007 : Oxford, UK, July 2-5, 2007 : proceedings. : Jul 2007, Oxford, UK. (Lecture Notes in Computer Science ; 4591)
Paper図書
Springerc2007.<M17-07-2817>
National Diet Library
  • Author HeadingDavies, Jim, 1964- Gibbons, Jeremy, 1966- International Conferen...

Generic programming : IFIP TC2/WG2.1 working conference on generic programming, July 11-12, 2002, Dagstuhl, Germany. : Jul 2002, Dagstuhl, Germany. (IFIP ; 115)

Generic programming : IFIP TC2/WG2.1 working conference on generic programming, July 11-12, 2002, Dagstuhl, Germany. : Jul 2002, Dagstuhl, Germany. (IFIP ; 115)
Paper図書
Kluwer Academic Publishersc2003.<M17-03-1214>
National Diet Library
  • Author HeadingGibbons, Jeremy, 1966- Jeuring, Johan, 1965- ...

Reached to the end of result.

RSS