語系
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.
Microprogramming .
Computer hardware.
Computer Hardware.
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.