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