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