Languages
Aceto, Luca.
Overview
| Works: | 3 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /
by:
Aceto, Luca.; SpringerLink (Online service); International Colloquium on Automata, Languages, and Programming (2008 :)
(Language materials, printed)
Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I /
by:
Aceto, Luca.; SpringerLink (Online service); International Colloquium on Automata, Languages, and Programming (2008 :)
(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)
(Electronic resources)
Subjects
Data Structures, Cryptology and Information Theory.
Theory of Computation.
Computer algorithms.
Computer logic.
Software Engineering.
Machine theory
Software Engineering/Programming and Operating Systems.
Data Structures.
Computer programming
Software engineering.
Computer software- Verification.
Programming Languages, Compilers, Interpreters.
Formal languages
Numeric Computing.
Artificial Intelligence.
Computer Science.
Discrete Mathematics in Computer Science.
Larsen, K. G.
Parallel processing (Electronic computers)
Simulation and Modeling.
Computer Systems Organization and Communication Networks.
Information theory.