語系
Aceto, Luca.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Aceto, Luca.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Reactive systems = modelling, specification and verification /
by:
Aceto, Luca.; MyiLibrary.
(書目-語言資料,印刷品)
Automata, languages and programming = 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.. Part I /
by:
SpringerLink (Online service); Aceto, Luca.; Henzinger, Monika.; Sgall, Jiri.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I /
by:
SpringerLink (Online service); Aceto, Luca.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Automata, languages and programming = 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.. Part II /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Sgall, Jiri.; Aceto, Luca.; Henzinger, Monika.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Models, algorithms, logics and tools = essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th Birthday /
by:
Aceto, Luca.; SpringerLink (Online service); Larsen, K. G. (1957-)
(書目-語言資料,印刷品)
主題
Computer Communication Networks.
Software engineering.
Theory of Computation.
Computer programming
Computer Systems Organization and Communication Networks.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Formal languages
Artificial Intelligence.
Data Structures, Cryptology and Information Theory.
Computer algorithms.
Information Storage and Retrieval.
Machine theory
Larsen, K. G.
Parallel processing (Electronic computers)
Programming Languages, Compilers, Interpreters.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Computer logic.
Information theory.
Data Structures.
Computer Science.
System design
Expert systems (Computer science)
Simulation and Modeling.
Discrete Mathematics in Computer Science.
Programming languages (Electronic computers)
Numeric Computing.
Computation by Abstract Devices.
Computer software