Vene, Varmo.
概要
作品: | 0 作品在 0 項出版品 0 種語言 |
---|
書目資訊
Algebraic Methodology and Software Technology11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings /
by:
(1998 :); Johnson, Michael.; SpringerLink (Online service); Vene, Varmo.
(書目-電子資源)
Advanced Functional Programming5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures /
by:
(1998 :); SpringerLink (Online service); Uustalu, Tarmo.; Vene, Varmo.
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Software engineering
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Abstract data types (Computer science)
Software engineering.
Programming Languages, Compilers, Interpreters.
Functional programming (Computer science)
Computer Science.
Computer science.
Symbolic and Algebraic Manipulation.