Dang, Thao.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
, [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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.