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