Dang, Thao.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Hybrid Systems Biology = Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers /
by:
Dang, Thao.; Halász, Ádám.; Maler, Oded.; Piazza, Carla.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Runtime Verification = 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings /
by:
SpringerLink (Online service); Stolz, Volker.; Dang, Thao.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Bioinformatics.
Computer communication systems.
Software Engineering.
Computer logic.
Artificial Intelligence.
Artificial intelligence.
Computer Communication Networks.
Logics and Meanings of Programs.
Simulation and Modeling.
Software engineering.
Computer simulation.
Computation by Abstract Devices.
Computers.
Computational Biology/Bioinformatics.