語系
Gibbons, Jeremy.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Generic and indexed programming = International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010 : revised lectures /
by:
Gibbons, Jeremy.; SpringerLink (Online service)
(書目-電子資源)
Foundations of health information engineering and systems = third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013 : revised selected papers /
by:
Gibbons, Jeremy.; MacCaull, Wendy.; SpringerLink (Online service)
(書目-電子資源)
Bidirectional transformations = International Summer School, Oxford, UK, July 25-29, 2016, tutorial lectures /
by:
International Summer School on Bidirectional Transformations ((2016 :); Gibbons, Jeremy.; SpringerLink (Online service); Stevens, Perdita.
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Computer Science, general.
Logics and Meanings of Programs.
Medical informatics
Software Engineering/Programming and Operating Systems.
Programming Techniques.
Data Structures.
Information Systems Applications (incl. Internet)
Database Management.
Management of Computing and Information Systems.
Programming Languages, Compilers, Interpreters.
Health Informatics.
Generic programming (Computer science)
Computer Science.
Simulation and Modeling.
Transformations (Mathematics)