Urzyczyn, Pawel.
概要
| 作品: | 6 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Typed Lambda Calculi and Applications7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings /
by:
(1998 :); SpringerLink (Online service); Urzyczyn, Pawel.
(書目-電子資源)
Mathematical Foundations of Computer Science 200631st International Symposium, MFCS 2006, Stara Lesna, Slovakia, August 28-September 1, 2006, Proceedings /
by:
(1998 :); Kr?lovic, Rastislav.; SpringerLink (Online service); Urzyczyn, Pawel.
(書目-電子資源)
主題
Data Structures
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Programming Techniques.
Algorithms.
Programming Languages, Compilers, Interpreters.
Computer science
Computer Science.
Discrete Mathematics in Computer Science.
CLambda calculus