語系
Gibbons, Jeremy.
概要
作品: | 3 作品在 4 項出版品 1 種語言 |
---|
書目資訊
Teaching formal methodssecond international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings /
by:
(1998 :); Gibbons, Jeremy.; Oliveira, Jose Nuno.; SpringerLink (Online service)
(書目-電子資源)
Bidirectional transformationsInternational Summer School, Oxford, UK, July 25-29, 2016, tutorial lectures /
by:
(1998 :); Gibbons, Jeremy.; SpringerLink (Online service); Stevens, Perdita.
(書目-電子資源)
Mathematics of program construction11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012 : proceedings /
by:
(1998 :); Gibbons, Jeremy.; Nogueira, Pablo.; SpringerLink (Online service)
(書目-電子資源)
Generic and indexed programmingInternational Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010 : revised lectures /
by:
(1998 :); Gibbons, Jeremy.; SpringerLink (Online service)
(書目-電子資源)
Foundations of health information engineering and systemsthird International Symposium, FHIES 2013, Macau, China, August 21-23, 2013 : revised selected papers /
by:
(1998 :); Gibbons, Jeremy.; MacCaull, Wendy.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Computer Science, general.
Software Engineering/Programming and Operating Systems.
Logics and Meanings of Programs.
Medical informatics
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Data Structures.
Information Systems Applications (incl. Internet)
Database Management.
Management of Computing and Information Systems.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer programming
Health Informatics.
Computer programs
Generic programming (Computer science)
Computer Science.
Discrete Mathematics in Computer Science.
Math Applications in Computer Science.
Simulation and Modeling.
Transformations (Mathematics)