|
|
libcats.org
Automata, Languages and Programming, 17 conf., ICALP90Michael S. PatersonThis volume contains the proceedings of ICALP 90, the International Colloquium on Automata, Languages and Programming sponsored by the European Association for Theoretical Computer Science (EATCS). This annual conference series covers all important areas of theoretical computer science, 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, computational geometry, cryptography, and theory of robotics. This volume contains five invited papers and 52 papers selected from 250 submitted.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Pierce,.Meredith.Anne.-.Firebringer.01.Birth.Of.The.Firebringer.-.birthcoverАвтор: Pierce Meredith Ann
Размер книги: 126 Kb
The standard C libraryАвтор: P. J. PlaugerКатегория: Computer science, Programming languages
Размер книги: 5.55 Mb
Linear Connections of a Space Which Are Determined by Simply Transitive Continuous GroupsАвтор: Eisenhart L. P.
Размер книги: 365 Kb
Игровые приставки. Dendy [Nes], Game Boy, Sega Mega Drive, Sony PlaystationАвтор: Королев А. Г.Категория: Наука. Техника
Размер книги: 7.55 Mb
Stem Cells in Regenerative Medicine. Methods and ProtocolsАвтор: Julie Audet, Автор: William L. StanfordКатегория: Biology
Размер книги: 8.35 Mb
Leading Captivity Captive: 'The Exile' As History and Ideology (JSOT Supplement Series)Автор: Lester L. Grabbe (ed.)Категория: История
Размер книги: 8.30 Mb
|
|
|