語系
Bortolussi, Luca.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Quantitative evaluation of systems = 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017 : proceedings /
by:
International Conference on the Quantitative Evaluation of Systems (2017 :); Bertrand, Nathalie.; Bortolussi, Luca.; SpringerLink (Online service)
(書目-電子資源)
Computational methods in systems biology = 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019 : proceedings /
by:
CMSB (Conference) (2019 :); Bortolussi, Luca.; Sanguinetti, Guido.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Machine theory
Logics and Meanings of Programs.
Mathematics of Computing.
Software Engineering/Programming and Operating Systems.
Reliability (Engineering)
Petri nets
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Computer networks- Evaluation
Artificial Intelligence.
Computer Science.
System Performance and Evaluation.
Probability and Statistics in Computer Science.
Simulation and Modeling.
Systems biology
Computer systems- Evaluation
Computational biology
Computational Biology/Bioinformatics.