語系
Jansen, Nils.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Quantitative evaluation of systems = 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings /
by:
Jansen, Nils.; SpringerLink (Online service); International Conference on the Quantitative Evaluation of Systems (2023 :); Tribastone, Mirco.
(書目-電子資源)
A journey from process algebra via timed automata to model learning = essays dedicated to Frits Vaandrager on the occasion of his 60th birthday /
by:
Vaandrager, Frits,; Jansen, Nils.; Bos, Petra van den.; SpringerLink (Online service); Stoelinga, Marielle.
(書目-電子資源)
Formal modeling and analysis of timed systems = 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020 : proceedings /
by:
FORMATS (Conference) (2020 :); Bertrand, Nathalie.; Jansen, Nils.; SpringerLink (Online service)
(書目-電子資源)
主題
Theory of Computation.
Software Engineering.
Natural Language Processing (NLP)
Logic in AI.
Mathematics of Computing.
Control Structures and Microprogramming.
Reliability (Engineering)
Formal methods (Computer science)
Special Purpose and Application-Based Systems.
Computer simulation
Computer Engineering and Networks.
Computer networks- Evaluation
Artificial Intelligence.
Computer science- Mathematics.
Computer System Implementation.
Computer Hardware.
Temporal automata
System analysis
Computer systems- Evaluation
Stochastic processes