語系
Bianculli, Domenico.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Software Engineering and Formal Methods = SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers /
by:
Bianculli, Domenico.; Rumpe, Bernhard.; SpringerLink (Online service); Calinescu, Radu.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Software engineering and formal methods = SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : revised selected papers /
by:
Bianculli, Domenico.; SpringerLink (Online service); Rumpe, Bernhard.; Calinescu, Radu.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Formal methods (Computer science)
Mathematical statistics.
Algorithm Analysis and Problem Complexity.
Database management.
Artificial Intelligence.
Artificial intelligence.
Computers.
Information Systems Applications (incl. Internet).
Software engineering
Computer Science.
Information Systems Applications (incl. Internet)
Algorithms.
Computation by Abstract Devices.
Database Management.
Probability and Statistics in Computer Science.
Artificial Intelligence (incl. Robotics)
Application software.