語系
Dillig, Isil.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Computer Aided Verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /
by:
Tasiran, Serdar.; SpringerLink (Online service); Dillig, Isil.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer Aided Verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /
by:
Tasiran, Serdar.; SpringerLink (Online service); Dillig, Isil.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer aided verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.. Part I /
by:
Tasiran, Serdar.; Workshop on the Preservation of Stability under Discretization ((2001 :); Dillig, Isil.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Verification, Model Checking, and Abstract Interpretation = 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings /
by:
SpringerLink (Online service); Palsberg, Jens.; Dillig, Isil.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer aided verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.. Part II /
by:
Tasiran, Serdar.; Workshop on the Preservation of Stability under Discretization ((2001 :); Dillig, Isil.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Software Engineering.
Mathematical logic.
Computer organization.
Computer logic.
Artificial intelligence.
Information theory.
Computer Communication Networks.
Software engineering.
System Performance and Evaluation.
Theory of Computation.
Logic in AI.
The Computing Profession.
Computer programs
Computer network architectures.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer simulation.
Computer communication systems.
Artificial Intelligence.
Simulation and Modeling.
Computer science.
Computer system failures.
Computers.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computation by Abstract Devices.