語系
Bertrand, Nathalie.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems = 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings /
by:
SpringerLink (Online service); Jansen, Nils.; Bertrand, Nathalie.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Computer System Implementation.
Petri nets
Artificial intelligence.
System Performance and Evaluation.
Computer systems
Reliability (Engineering)
Theory of Computation.
Computer networks
Computers.
Architecture, Computer.
Machine theory
Computer Science.
Computer Hardware.
Computer hardware.
Microprogramming .
Logics and Meanings of Programs.
Computation by Abstract Devices.
Special purpose computers.
Probability and Statistics in Computer Science.
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Control Structures and Microprogramming.
Simulation and Modeling.