Gibbons, Jeremy.
概要
| 作品: | 1 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Functional and logic programming = 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024 : proceedings /
by:
Gibbons, Jeremy.; Miller, Dale.; SpringerLink (Online service); International Symposium on Functional and Logic Programming (2024 :)
(書目-電子資源)
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.; Stevens, Perdita.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Computer Science, general.
Logics and Meanings of Programs.
Medical informatics
Software Engineering/Programming and Operating Systems.
Programming Language.
Programming Techniques.
Data Structures.
Information Systems Applications (incl. Internet)
Database Management.
Management of Computing and Information Systems.
Logic programming
Programming Languages, Compilers, Interpreters.
Health Informatics.
Computer Science Logic and Foundations of Programming.
Generic programming (Computer science)
Functional programming (Computer science)
Artificial Intelligence.
Computer Science.
Simulation and Modeling.
Transformations (Mathematics)
Computer System Implementation.