語系
跳至 : 概要 | 書目資訊 | 主題

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) (書目-電子資源)
 
 
變更密碼
登入