Gibbons, Jeremy.

概要

作品:	3 作品在 5 項出版品 1 種語言

書目資訊

Teaching formal methodssecond international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings / by: (1998 :); Gibbons, Jeremy.; Oliveira, Jose Nuno.; SpringerLink (Online service) (書目-電子資源)

Functional and logic programming17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024 : proceedings / by: (1998 :); Gibbons, Jeremy.; Miller, Dale.; SpringerLink (Online service) (書目-電子資源)

Bidirectional transformationsInternational Summer School, Oxford, UK, July 25-29, 2016, tutorial lectures / by: (1998 :); Gibbons, Jeremy.; SpringerLink (Online service); Stevens, Perdita. (書目-電子資源)

Mathematics of program construction11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012 : proceedings / by: (1998 :); Gibbons, Jeremy.; Nogueira, Pablo.; SpringerLink (Online service) (書目-電子資源)

Generic and indexed programmingInternational Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010 : revised lectures / by: (1998 :); Gibbons, Jeremy.; SpringerLink (Online service) (書目-電子資源)

Foundations of health information engineering and systemsthird International Symposium, FHIES 2013, Macau, China, August 21-23, 2013 : revised selected papers / by: (1998 :); Gibbons, Jeremy.; MacCaull, Wendy.; SpringerLink (Online service) (書目-電子資源)

主題