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