語系
Zufferey, Damien.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Numerical software verification = 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019 : proceedings /
by:
Zufferey, Damien.; Zamani, Majid.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service)
(書目-語言資料,印刷品)
Numerical Software Verification = 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings /
by:
Zamani, Majid.; Zufferey, Damien.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Verification, Model Checking, and Abstract Interpretation = 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings /
by:
Zufferey, Damien.; Beyer, Dirk.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Computer organization.
Software Engineering/Programming and Operating Systems.
Computer logic.
Artificial intelligence.
Software engineering.
Logic in AI.
The Computing Profession.
Data Structures.
Data structures (Computer science).
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Artificial Intelligence.
Computers.
Computer software