Languages
Marin, Andrea.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Computer performance engineering = 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings /
by:
Knottenbelt, William J.; Marin, Andrea.; Workshop on the Preservation of Stability under Discretization ((2001 :); Balsamo, Maria Simonetta.; SpringerLink (Online service)
(Language materials, printed)
Quantitative Evaluation of Systems = 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings /
by:
Marin, Andrea.; SpringerLink (Online service); Abate, Alessandro.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Quantitative Evaluation of Systems = 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings /
by:
Abate, Alessandro.; SpringerLink (Online service); Marin, Andrea.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
New Frontiers in Quantitative Methods in Informatics = 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers /
by:
Marin, Andrea.; Vicario, Enrico.; SpringerLink (Online service); Balsamo, Simonetta.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
New frontiers in quantitative methods in informatics = 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017 : revised selected papers /
by:
Balsamo, Simonetta.; SpringerLink (Online service); Vicario, Enrico.; Marin, Andrea.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Subjects
Software Engineering.
Mathematical logic.
Formal methods (Computer science)
Computer science—Mathematics.
Software Engineering/Programming and Operating Systems.
Artificial intelligence.
Computers
Computer Communication Networks.
Formal Languages and Automata Theory.
System Performance and Evaluation.
Software engineering.
Theory of Computation.
Computer networks
Computer Science.
Computer science
Mathematical Logic and Formal Languages.
Algorithms.
Probability and Statistics in Computer Science.
Computer communication systems.
Mathematical statistics.
Energy Economics.
Artificial Intelligence.
Simulation and Modeling.
Computer systems
Computer science.
Computer system failures.
Machine theory.
Computers.