|
|
libcats.org
Theoretical Computer Science, 9 conf., ICTCS 2005Mario Coppo, Elena Lodi, G. Michele PinnaThis book constitutes the refereed proceedings of the 9th International Conference on Theoretical Computer Science, ICTCS 2005, held at the Certosa di Pontignano, Siena, Italy, in October 2005. The 29 revised full papers presented together with an invited paper and abstracts of 2 invited talks were carefully reviewed and selected from 83 submissions. The papers address all current issues in theoretical computer science and focus especially on analysis and design of algorithms, computability, computational complexity, cryptography, formal languages and automata, foundations of programming languages and program analysis, natural computing paradigms (quantum computing, bioinformatics), program specification and verification, term rewriting, theory of logical design and layout, type theory, security, and symbolic and algebraic computation. EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Мудрость ангельская о Божественном провиденииАвтор: Сведенборг ЭммануилКатегория: Религиозная литература
Размер книги: 726 Kb
Преступники и преступления. Законы преступного мира. Паханы, авторитеты, воры в законеАвтор: Кучинский Александр ВладимировичКатегория: Энциклопедии
Размер книги: 4.59 Mb
Handbook on the Northeast and Southeast Asian EconomiesАвтор: Anis Chowdhury, Автор: Iyanatul IslamКатегория: Economics
Размер книги: 1.56 Mb
The Political Economy of Stalinism: Evidence from the Soviet Secret ArchivesАвтор: Paul R. GregoryКатегория: История
Размер книги: 1.94 Mb
|
|
|