語系
Jansen, David N.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal modeling and analysis of timed systems = 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018 : proceedings /
by:
SpringerLink (Online service); Jansen, David N.; Prabhakar, Pavithra.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems = 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings /
by:
SpringerLink (Online service); Prabhakar, Pavithra.; Jansen, David N.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Quantitative Evaluation of Systems = 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings /
by:
Remke, Anne.; SpringerLink (Online service); Jansen, David N.; Gribaudo, Marco.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Mathematical logic.
Formal methods (Computer science)
Computer science—Mathematics.
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Computer logic.
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Theory of Computation.
Mathematics of Computing.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Computer simulation.
Temporal automata
Probability and Statistics in Computer Science.
Computer communication systems.
Artificial Intelligence (incl. Robotics)
Mathematical statistics.
Artificial Intelligence.
Simulation and Modeling.
Computer simulation
Computers.
System analysis