Languages
Bortolussi, Luca.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Quantitative evaluation of systems14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017 : proceedings /
by:
(1998 :); Bertrand, Nathalie.; Bortolussi, Luca.; SpringerLink (Online service)
(Electronic resources)
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)
(Electronic resources)
Subjects
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.