語系
Ong, Luke.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Typed lambda calculi and applications = 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings /
by:
Ong, Luke.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service)
(書目-電子資源)
Logic, language, information and computation = 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings /
by:
Queiroz, Ruy.; SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Ong, Luke.
(書目-電子資源)
Foundations of software science and computational structures = 13th international conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings /
by:
SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Ong, Luke.
(書目-電子資源)
主題
Software Engineering.
Computer logic
Lambda calculus
Algorithm Analysis and Problem Complexity.
Symbolic and Algebraic Manipulation.
Logic, Symbolic and mathematical
Discrete Mathematics in Computer Science.
Mathematics of Computing.
Computing Methodologies.
Computer Science.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Mathematical Logic and Foundations.
Computation by Abstract Devices.
Computer software