年 〜
年

検索結果 7 件

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)
紙図書
Springerc2014.<M17-14-1753>
国立国会図書館
  • 著者標目FHIES (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)
紙図書
Springerc2012.<M17-13-636>
国立国会図書館
  • 著者標目SSGIP 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)
紙図書
Springerc2012.<M17-13-551>
国立国会図書館
  • 著者標目...Madrid, Spain) Gibbons, Jeremy, 1966- Nogueira, Pablo. Universidad ...

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.
紙図書
Association for Computing Machineryc2010.<M17-11-2723>
国立国会図書館
  • 著者標目Gibbons, Jeremy, 1966- ACM SIGPLAN Haskell Symposium...

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)
紙図書
Springerc2009.<M17-10-1645>
国立国会図書館
  • 著者標目... of Education. Gibbons, Jeremy, 1966- Oliveira, José N. TFM 2009 (2...

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)
紙図書
Springerc2007.<M17-07-2817>
国立国会図書館
  • 著者標目Davies, Jim, 1964- Gibbons, Jeremy, 1966- International Conference on I...

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)
紙図書
Kluwer Academic Publishersc2003.<M17-03-1214>
国立国会図書館
  • 著者標目Gibbons, Jeremy, 1966- Jeuring, Johan, 1965- IFIP TC...

検索結果は以上です。