語系
Fantechi, Alessandro.
概要
| 作品: | 5 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Software engineering for resilient systems = 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015 : proceedings /
by:
SpringerLink (Online service); Pelliccione, Patrizio.; Fantechi, Alessandro.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
From Software Engineering to Formal Methods and Tools, and Back = Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday /
by:
Semini, Laura.; Fantechi, Alessandro.; SpringerLink (Online service); ter Beek, Maurice H.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Software Engineering for Resilient Systems = 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings /
by:
Pelliccione, Patrizio.; SpringerLink (Online service); Fantechi, Alessandro.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Reliability, safety, and security of railway systems = modelling, analysis, verification, and certification : second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017 : proceedings /
by:
Fantechi, Alessandro.; SpringerLink (Online service); Lecomte, Thierry.; Romanovsky, Alexander.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Mathematical logic.
Railroads
Systems and Data Security.
Computer logic.
Algorithm Analysis and Problem Complexity.
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Theory of Computation.
Information Systems Applications (incl. Internet).
Computer Science.
Computer Systems Organization and Communication Networks.
Information Systems Applications (incl. Internet)
Logics and Meanings of Programs.
Algorithms.
Mathematical Logic and Formal Languages.
Management of Computing and Information Systems.
Computer communication systems.
Application software.
Artificial Intelligence.
Control Structures and Microprogramming.
Computer science.
Management information systems.
Software engineering
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computer software