語系
Jansen, David N.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Quantitative evaluation of systems17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020 : proceedings /
by:
(1998 :); Gribaudo, Marco.; Jansen, David N.; Remke, Anne.; SpringerLink (Online service)
(書目-電子資源)
Formal modeling and analysis of timed systems16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018 : proceedings /
by:
(1998 :); Jansen, David N.; Prabhakar, Pavithra.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Theory of Computation.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Mathematics of Computing.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Computer systems
Reliability (Engineering)
Formal methods (Computer science)
Computer simulation
Artificial Intelligence.
Computer Science.
Simulation and Modeling.
Computer networks
Probability and Statistics in Computer Science.
Computer Communication Networks.
Temporal automata
System analysis
Stochastic processes