語系
Eekelen, Marko van.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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)
(書目-電子資源)
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)
(書目-電子資源)
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)
(書目-電子資源)
主題
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.