Languages
Bianculli, Domenico.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
, [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 :)
(Language materials, printed)
Subjects
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.