語系
Calinescu, Radu.
概要
作品: | 1 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Software engineering and formal methods[electronic resource] :13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings /
by:
Calinescu, Radu.; Clark Conference ((2005 :); Rumpe, Bernhard.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Software engineering and formal methods[electronic resource] :SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : revised selected papers /
by:
Bianculli, Domenico.; Calinescu, Radu.; Clark Conference ((2005 :); Rumpe, Bernhard.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Programming Techniques.
Information Systems Applications (incl. Internet)
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Database Management.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer Science.
Computer Communication Networks.
Probability and Statistics in Computer Science.