Languages
Aceto, Luca.
Overview
| Works: | 1 works in 5 publications in 1 languages | |
|---|---|---|
Titles
Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Aceto, Luca.
(Electronic resources)
Automata, languages and programming = 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.. Part I /
by:
SpringerLink (Online service); Henzinger, Monika.; Aceto, Luca.; Sgall, Jiri.; Congress on Progress and Controversies in Oncological Urology (2000:)
(Electronic resources)
Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Aceto, Luca.
(Electronic resources)
Reactive systems = modelling, specification and verification /
by:
MyiLibrary.; Aceto, Luca.
(Electronic resources)
Automata, languages and programming = 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.. Part II /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); Sgall, Jiri.; SpringerLink (Online service); Aceto, Luca.; Henzinger, Monika.
(Electronic resources)
Subjects
Software Engineering.
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Computer Communication Networks.
Information theory.
System design- Mathematical models.
Software engineering.
Theory of Computation.
Expert systems (Computer science)- Validation.
Data Structures.
Information Storage and Retrieval.
Discrete Mathematics in Computer Science.
Programming languages (Electronic computers)
Machine theory
Computer Science.
Computer programming
Numeric Computing.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.
Expert systems (Computer science)- Verification.
Formal languages
Data Structures, Cryptology and Information Theory.