語系
Dillig, Isil.
概要
| 作品: | 2 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Computer aided verification31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.Part I /
by:
(1998 :); Dillig, Isil.; SpringerLink (Online service); Tasiran, Serdar.
(書目-電子資源)
Computer aided verification31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.Part II /
by:
(1998 :); Dillig, Isil.; SpringerLink (Online service); Tasiran, Serdar.
(書目-電子資源)
Verification, model checking, and abstract interpretation19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018 : proceedings /
by:
(1998 :); Dillig, Isil.; Palsberg, Jens.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Theory of Computation.
Mathematical Logic and Formal Languages.
Software engineering
Logics and Meanings of Programs.
Logic in AI.
Computer simulation.
Computer software
Computation by Abstract Devices.
Software engineering.
Programming Languages, Compilers, Interpreters.
Computer programs
Artificial Intelligence.
The Computing Profession.
Computer science.
Simulation and Modeling.
Computer Systems Organization and Communication Networks.
System Performance and Evaluation.
Computer Communication Networks.
Information theory.
Artificial intelligence.
Computer network architectures.