Vene, Varmo.
Overview
Works: | 0 works in 0 publications in 0 languages |
---|
Titles
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.
(Electronic resources)
Advanced Functional Programming5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures /
by:
(1998 :); SpringerLink (Online service); Uustalu, Tarmo.; Vene, Varmo.
(Electronic resources)
Subjects
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.