語系
Uustalu, Tarmo.
概要
| 作品: | 2 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Mathematics of Program Construction8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings /
by:
(1998 :); SpringerLink (Online service); Uustalu, Tarmo.
(書目-電子資源)
Advanced Functional Programming5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures /
by:
(1998 :); SpringerLink (Online service); Uustalu, Tarmo.; Vene, Varmo.
(書目-電子資源)
Theoretical aspects of computing - ICTAC 201815th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018 : proceedings /
by:
(1998 :); Fischer, Bernd.; SpringerLink (Online service); Uustalu, Tarmo.
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Computer programming
Programming Languages, Compilers, Interpreters.
Software engineering.
Computer science
Functional programming (Computer science)
Computer Science.
Computer science.