Languages
Bortolussi, Luca.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.