|
|
libcats.org
Automata, Languages and Programming, 15 conf., ICALP88Timo Lepistö, Arto SalomaaThis volume contains the proceedings of ICALP 88, held at Tampere University of Technology, Finland, July 11-15, 1988. ICALP 88 is the 15th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). It is a broadly based conference covering all aspects of theoretical computer science including topics such as computability, automata, formal languages, analysis of algorithms, computational complexity, data types and data structures, theory of data bases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logic programming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, symbolic and algebraic computation, term rewriting systems, cryptography, and theory of robotics.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Elementary surveying. An introduction to geomaticsАвтор: Ghilani C.D., Автор: Wolf P.R.Категория: P_Physics, PGp_Geophysics
Размер книги: 43.64 Mb
Только что пользователи скачали эти книги:
Юрий Завражнов, Ирина Каганова, Евгений Мазель, Альберт Миркин. Мощные высокочастотные транзисторыАвтор:
Размер книги: 1.02 Mb
Computational geometry: algorithms and applicationsАвтор: Mark de Berg, Автор: Otfried Cheong, Автор: Marc van Kreveld, Автор: Mark OvermarsКатегория: Computational geometry
Размер книги: 2.21 Mb
Anglo-Saxon Deviant Burial Customs (Medieval History and Archaeology)Автор: Andrew Reynolds
Размер книги: 10.08 Mb
Critical Discourse Analysis: The Critical Study of LanguageАвтор: Norman Fairclough
Размер книги: 4.88 Mb
|
|
|