Languages
Gibbons, Jeremy.
Overview
Works: | 1 works in 4 publications in 1 languages |
---|
Titles
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)
(Language materials, printed)
Bidirectional Transformations = International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures /
by:
Stevens, Perdita.; Gibbons, Jeremy.; SpringerLink (Online service)
(Language materials, printed)
, [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)
(Language materials, printed)
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.
(Language materials, printed)
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.
(Language materials, printed)
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.
(Language materials, printed)
Subjects
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.