語系
Aceto, Luca.
概要
| 作品: | 2 作品在 3 項出版品 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)
(書目-電子資源)
Automata, languages and programming38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.Part II /
by:
(1998 :); Aceto, Luca.; Henzinger, Monika.; Sgall, Jiri.; SpringerLink (Online service)
(書目-電子資源)
Foundations of Software Science and Computational Structures (vol. # 3921)9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006: proceedings /
by:
(1998 :); Aceto, Luca.; Ingolfsdottir, Anna.; SpringerLink (Online service)
(書目-電子資源)
Automata, Languages and Programming35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /
by:
(1998 :); Aceto, Luca.; SpringerLink (Online service)
(書目-電子資源)
Automata, Languages and Programming35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I /
by:
(1998 :); Aceto, Luca.; SpringerLink (Online service)
(書目-電子資源)
Automata, languages and programming38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.Part I /
by:
(1998 :); Aceto, Luca.; Henzinger, Monika.; Sgall, Jiri.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Data Structures, Cryptology and Information Theory.
Theory of Computation.
Computer algorithms.
Computer logic.
Logics and Meanings of Programs.
Machine theory
Software Engineering/Programming and Operating Systems.
Computation by Abstract Devices.
Data Structures.
Algorithm Analysis and Problem Complexity.
Computer software
Programming Languages, Compilers, Interpreters.
Computer programming
Software engineering.
System design
Programming languages (Electronic computers)
Information Storage and Retrieval.
Formal languages
Numeric Computing.
Expert systems (Computer science)
Artificial Intelligence.
Computer Science.
Discrete Mathematics in Computer Science.
Computer Communication Networks.
Larsen, K. G.
Parallel processing (Electronic computers)
Simulation and Modeling.
Computer Systems Organization and Communication Networks.
System analysis
Information theory.