|
|
libcats.org
Automata, Languages and Programming, 19 conf., ICALP92Werner KuichThis volume presents the proceedings of the 19th International Colloquium onAutomata, Languages, and Programming (ICALP 92) in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). ICALP is a broadly based conference covering all aspects of theoretical computer science, including such topics as computability, automata, formal languages, term rewriting, analysis of algorithms, computational geometry, computational complexity, symbolic and algebraic computation, cryptography, data types and data structures, theory of databases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logic programming, theory of logical design andlayout, parallel and distributed computation, theory of concurrency, and theory of robotics. The papers in the volume are grouped into thematic parts corresponding to their order of presentation at ICALP 92.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Woodworking Shopnotes Contents Index (1-81)Автор:Категория: Engineering, The Art of Woodworking
Размер книги: 30 Kb
The Holistic Guide to Weight Loss, Anti-aging and Fat PreventionАвтор: Thomas Goode
Размер книги: 5.05 Mb
Entry tests CPE 2 for the revised Cambridge Proficiency Examination: student's bookАвтор: Virginia Evans
Размер книги: 52.09 Mb
A voyage to the North West Side of America: the Journals of James Colnett, 1786-89Автор: Robert Galois (Editor)
Размер книги: 6.90 Mb
|
|
|