語系
Eekelen, Marko van.
概要
作品: | 0 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Foundational and practical aspects of resource analysis = second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011 : revised selected papers /
by:
SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Shkaravska, Olha.; Eekelen, Marko van.; Pena, Ricardo.
(書目-電子資源)
Interactive theorem proving = second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011 : proceedings /
by:
Eekelen, Marko van.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Automatic theorem proving
Computer software- Development
System Performance and Evaluation.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.