語系
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 :)
(書目-語言資料,印刷品)
主題
Computer Communication Networks.
Software engineering.
Information Systems Applications (incl. Internet)
Application software.
Algorithm Analysis and Problem Complexity.
Information Systems Applications (incl. Internet).
Management of Computing and Information Systems.
Computer communication systems.
Computer software
Mathematical Logic and Formal Languages.
Software engineering
Software Engineering.
Control Structures and Microprogramming.
Programming languages (Electronic computers).
Artificial intelligence.
Theory of Computation.
Logics and Meanings of Programs.
Algorithms.
Computer logic.
Computer Science.
Computer science.
Management information systems.
Mathematical logic.
Systems and Data Security.
Computer Systems Organization and Communication Networks.
Artificial Intelligence.
Programming Languages, Compilers, Interpreters.
Railroads