Languages
Eekelen, Marko van.
Overview
| Works: | 0 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Foundational and practical aspects of resource analysissecond International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011 : revised selected papers /
by:
(1998 :); Eekelen, Marko van.; Pena, Ricardo.; Shkaravska, Olha.; SpringerLink (Online service)
(Electronic resources)
Interactive theorem provingsecond international conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011 : proceedings /
by:
(1998 :); Eekelen, Marko van.; SpringerLink (Online service)
(Electronic resources)
Foundational and practical aspects of resource analysis4th International Workshop, FOPARA 2015, London, UK, April 11, 2015 : revised selected papers /
by:
(1998 :); Dal Lago, Ugo.; Eekelen, Marko van.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Automatic theorem proving
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Computer software
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Information Systems Applications (incl. Internet)
Programming Languages, Compilers, Interpreters.
Computer Science.
System Performance and Evaluation.
Probability and Statistics in Computer Science.
Simulation and Modeling.