|
|
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.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
The Geometric Topology of 3-Manifolds (Colloquium Publications (Amer Mathematical Soc))Автор: R. H. BingКатегория: Математика, Геометрия и топология
Размер книги: 2.40 Mb
Dormancy and Resistance in Harsh Environments (Topics in Current Genetics)Автор: Esther Lubzens, Автор: Joan Cerda, Автор: Melody Clark
Размер книги: 5.01 Mb
Emerging Development of Agriculture in East Africa: Markets, Soil, and InnovationsАвтор: Takashi Yamano, Автор: Keijiro Otsuka, Автор: Frank Place
Размер книги: 3.07 Mb
Энциклопедия современного оружия и боевой техники. В 2-х томах. Том 1Автор: Н. Л. Волковский
Размер книги: 235.26 Mb
|
|
|