Languages
Thiemann, Peter.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Programming Languages and Systems = 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings /
by:
Thiemann, Peter.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Programming languages and systems = 25th European Symposium on Programming, ESOP 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Thiemann, Peter.; SpringerLink (Online service)
(Language materials, printed)
Functional and logic programming = 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings /
by:
Thiemann, Peter.; Workshop on the Preservation of Stability under Discretization ((2001 :); Schrijvers, Tom.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Software Engineering.
Functional programming (Computer science)
Computer logic.
Software engineering.
Computers.
Programming languages (Electronic computers)
Computer Science.
Programming Techniques.
Computer programming.
Programming Languages, Compilers, Interpreters.
Computer programming
Programming languages (Electronic computers).
Logic programming
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.
Artificial Intelligence (incl. Robotics)