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