Languages
Bortolussi, Luca.
Overview
| Works: | 2 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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)
(Electronic resources)
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)
(Electronic resources)
Subjects
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.