語系
Aceto, Luca.
概要
| 作品: | 3 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /
by:
Aceto, Luca.; SpringerLink (Online service); International Colloquium on Automata, Languages, and Programming (2008 :)
(書目-語言資料,印刷品)
Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I /
by:
Aceto, Luca.; SpringerLink (Online service); International Colloquium on Automata, Languages, and Programming (2008 :)
(書目-語言資料,印刷品)
Models, algorithms, logics and tools = essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th Birthday /
by:
Aceto, Luca.; SpringerLink (Online service)
(書目-電子資源)
主題
Data Structures, Cryptology and Information Theory.
Theory of Computation.
Computer algorithms.
Computer logic.
Software Engineering.
Machine theory
Software Engineering/Programming and Operating Systems.
Data Structures.
Computer programming
Software engineering.
Computer software- Verification.
Programming Languages, Compilers, Interpreters.
Formal languages
Numeric Computing.
Artificial Intelligence.
Computer Science.
Discrete Mathematics in Computer Science.
Larsen, K. G.
Parallel processing (Electronic computers)
Simulation and Modeling.
Computer Systems Organization and Communication Networks.
Information theory.