語系
Bortolussi, Luca.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Quantitative evaluation of systems = 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017 : proceedings /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Bortolussi, Luca.; Bertrand, Nathalie.
(書目-語言資料,印刷品)
Computational Methods in Systems Biology = 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings /
by:
SpringerLink (Online service); Sanguinetti, Guido.; Bortolussi, Luca.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Bioinformatics.
Mathematical logic.
Computer science—Mathematics.
Software Engineering/Programming and Operating Systems.
Petri nets
Algorithm Analysis and Problem Complexity.
Artificial intelligence.
System Performance and Evaluation.
Software engineering.
Computer systems
Reliability (Engineering)
Computer networks
Mathematics of Computing.
Machine theory
Computer Science.
Computational Biology/Bioinformatics.
Logics and Meanings of Programs.
Algorithms.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.
Probability and Statistics in Computer Science.
Artificial Intelligence.
Simulation and Modeling.