語系
Bortolussi, Luca.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Quantitative evaluation of systems14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017 : proceedings /
by:
(1998 :); Bertrand, Nathalie.; Bortolussi, Luca.; SpringerLink (Online service)
(書目-電子資源)
Computational methods in systems biology17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019 : proceedings /
by:
(1998 :); 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.
Computer systems
Reliability (Engineering)
Petri nets
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence.
Computer networks
Computer Science.
System Performance and Evaluation.
Probability and Statistics in Computer Science.
Simulation and Modeling.
Systems biology
Computational biology
Computational Biology/Bioinformatics.