語系
Bianculli, Domenico.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Software engineering and formal methodsSEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : revised selected papers /
by:
(1998 :); Bianculli, Domenico.; Calinescu, Radu.; 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.