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
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.