Languages
Aceto, Luca.
Overview
| Works: | 0 works in 3 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
Reactive systems = modelling, specification and verification /
by:
Aceto, Luca.; MyiLibrary.
(Language materials, printed)
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 :)
(Language materials, printed)
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 :)
(Language materials, printed)
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)
(Language materials, printed)
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-)
(Language materials, printed)
Subjects
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