語系
Larsen, Kim G.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Automata, languages, and programming25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings /
by:
(1998 :); Larsen, Kim G.; Skyum, Sven.; SpringerLink (Online service); Winskel, Glynn.
(書目-電子資源)
Models, mindsets, metathe what, the how, and the why not? : essays dedicated to Bernhard Steffen on the occasion of his 60th birthday /
by:
Graf, Susanne.; Larsen, Kim G.; Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard,
(書目-電子資源)
CONCUR 2001concurrency theory : 12th international conference, Aalborg, Denmark, August 20-25, 2001, proceedings /
by:
(1998 :); Larsen, Kim G.; Nielsen, Mogens.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Machine theory
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Computer programming
Programming Languages, Compilers, Interpreters.
Formal languages
Models and Principles.
Computer science
Parallel processing (Electronic computers)