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

Gibbons, Jeremy.

概要
作品: 1 作品在 4 項出版品 1 種語言
書目資訊
Mathematics of program construction = 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012 : proceedings / by: Nogueira, Pablo.; Workshop on the Preservation of Stability under Discretization ((2001 :); Gibbons, Jeremy.; SpringerLink (Online service) (書目-語言資料,印刷品)
Bidirectional Transformations = International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures / by: Stevens, Perdita.; Gibbons, Jeremy.; SpringerLink (Online service) (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]
Bidirectional transformations = International Summer School, Oxford, UK, July 25-29, 2016, tutorial lectures / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Stevens, Perdita.; Gibbons, Jeremy.; SpringerLink (Online service) (書目-語言資料,印刷品)
Generic and indexed programming = International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010 : revised lectures / by: Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Gibbons, Jeremy. (書目-語言資料,印刷品)
Foundations of health information engineering and systems = third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013 : revised selected papers / by: SpringerLink (Online service); Gibbons, Jeremy.; Workshop on the Preservation of Stability under Discretization ((2001 :); MacCaull, Wendy. (書目-語言資料,印刷品)
Teaching formal methods = second international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings / by: Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Oliveira, Jose Nuno.; Gibbons, Jeremy. (書目-語言資料,印刷品)
 
 
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入