語系
Larsen, K. G. (1957-)
概要
| 作品: | 8 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal modeling and analysis of timed systems = first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers /
by:
Larsen, K. G. (1957-); SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Niebert, Peter.
(書目-語言資料,印刷品)
Models, algorithms, logics and tools = essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th Birthday /
by:
Aceto, Luca.; SpringerLink (Online service); Larsen, K. G. (1957-)
(書目-語言資料,印刷品)
主題
Temporal automata
Software Engineering.
Formal methods (Computer science)
Computer logic.
Artificial Intelligence.
Automata
Simulation and Modeling.
Computer simulation
Computer algorithms.
Theory of Computation.
Larsen, K. G.
Parallel processing (Electronic computers)
Programming Languages, Compilers, Interpreters.
Computer Systems Organization and Communication Networks.
Computer software