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