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