語系
Ong, Luke.
概要
| 作品: | 1 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic, language, information and computation = 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings /
by:
Queiroz, Ruy.; SpringerLink (Online service); Ong, Luke.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Formal methods and software engineering = 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017 : proceedings /
by:
Ong, Luke.; SpringerLink (Online service); Duan, Zhenhua.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Typed lambda calculi and applications = 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings /
by:
Ong, Luke.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Computation, logic, games, and quantum foundations = the many facets of Samson Abramsky : essays dedicated to Samson Abramsky on the occasion of his 60th birthday /
by:
Ong, Luke.; Coecke, Bob.; SpringerLink (Online service); Panangaden, Prakash.
(書目-語言資料,印刷品)
主題
Software Engineering.
Formal methods (Computer science)
Lambda calculus
Algorithm Analysis and Problem Complexity.
Computer logic.
Symbolic and Algebraic Manipulation.
Computer Communication Networks.
Mathematics of Computing.
Computer Science.
Programming Techniques.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Game theory.
Computer logic
Logic, Symbolic and mathematical
Computer science.
Computing Methodologies.
Discrete Mathematics in Computer Science.
Software engineering
Programming Languages, Compilers, Interpreters.
Computation by Abstract Devices.