言語
Bianculli, Domenico.
概観
| 著作: | 0 作品に 1 出版物中に 1 言語 | |
|---|---|---|
タイトル
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 /
…で:
Bianculli, Domenico.; Calinescu, Radu.; Clark Conference ((2005 :); Rumpe, Bernhard.; SpringerLink (Online service)
(言語・文字資料 (印刷物))
主題
Software engineering
Information Systems Applications (incl. Internet)
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Database Management.
Formal methods (Computer science)
Computer Science.
Probability and Statistics in Computer Science.