語系
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.
(書目-語言資料,印刷品)
主題
Formal methods (Computer science)
Math Applications in Computer Science.
Software engineering.
Medical informatics
Programming Techniques.
Computer programming
Computer programs
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Information Systems Applications (incl. Internet)
Generic programming (Computer science)
Transformations (Mathematics)
Computer Science, general.
Programming Languages, Compilers, Interpreters.
Database Management.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Computer logic.
Data Structures.
Computer Science.
Health Informatics.
Management of Computing and Information Systems.
Database management.
Simulation and Modeling.
Computer science.
Management information systems.
Discrete Mathematics in Computer Science.