Wolf, Verena.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Quantitative Evaluation of Systems = 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings /
by:
Parker, David.; SpringerLink (Online service); Wolf, Verena.
(Language materials, printed)
, [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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.