語系
Eekelen, Marko van.
概要
作品: | 1 作品在 3 項出版品 1 種語言 |
---|
書目資訊
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 :)
(書目-語言資料,印刷品)
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 :)
(書目-語言資料,印刷品)
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)
(書目-語言資料,印刷品)
主題
Software Engineering.
Algorithm Analysis and Problem Complexity.
Automatic theorem proving
System Performance and Evaluation.
Programming Techniques.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Information Systems Applications (incl. Internet)
Probability and Statistics in Computer Science.
Artificial Intelligence (incl. Robotics)
Simulation and Modeling.
Programming Languages, Compilers, Interpreters.
Computer software
Computation by Abstract Devices.