Cimatti, Alessandro.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal methods for industrial critical systems = 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Titolo, Laura.; SpringerLink (Online service); Cimatti, Alessandro.
(書目-語言資料,印刷品)
Theory and applications of satisfiability testing - SAT 2012 = 15th International Conference, Trento, Italy, June 17-20, 2012 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Sebastiani, Roberto.; SpringerLink (Online service); Cimatti, Alessandro.
(書目-語言資料,印刷品)
Software engineering and formal methods = 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings /
by:
Cimatti, Alessandro.; SpringerLink (Online service); Sirjani, Marjan.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Computer algorithms
Software Engineering.
Formal methods (Computer science)
Algorithm Analysis and Problem Complexity.
System Performance and Evaluation.
Theory of Computation.
Software engineering
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Compilers and Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Information and Communication, Circuits.
Computer software
Computation by Abstract Devices.
Computer and Information Systems Applications.
Computer Engineering and Networks.
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.