語系
Marin, Andrea.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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)
(書目-語言資料,印刷品)
Quantitative Evaluation of Systems = 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings /
by:
Marin, Andrea.; SpringerLink (Online service); Abate, Alessandro.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [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 :)
(書目-語言資料,印刷品)
主題
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.