Wolf, Verena.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Quantitative Evaluation of Systems = 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings /
by:
Parker, David.; SpringerLink (Online service); Wolf, Verena.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Computational Methods in Systems Biology = 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings /
by:
SpringerLink (Online service); Wolf, Verena.; Abate, Alessandro.; Petrov, Tatjana.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Software Engineering.
Bioinformatics.
Computer science—Mathematics.
Software Engineering/Programming and Operating Systems.
Computer logic.
Algorithm Analysis and Problem Complexity.
Artificial intelligence.
Software engineering.
Theory of Computation.
Computers.
Mathematics of Computing.
Computational Biology/Bioinformatics.
Algorithms.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Probability and Statistics in Computer Science.
Mathematical statistics.
Information Systems and Communication Service.
Artificial Intelligence.