|
|
libcats.org
Theoretical Computer Science, 8 conf., ICTCS 2003Carlo Blundo, Cosimo LaneveThis book constitutes the refereed proceedings of the 8th International Conference on Theoretical Computer Science, ICTCS 2003, held in Bertinoro, Italy in October 2003. The 27 revised full papers presented together with an invited paper and abstracts of 2 invited talks were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on program design-models and analysis, algorithms and complexity, semantics and formal languages, and security and cryptography.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Introduction to Functional Programming (Prentice Hall International Series in Computing Science)Автор: Richard Bird, Автор: Philip WadlerКатегория: Математика, Прикладная математика
Размер книги: 4.73 Mb
The Clean Coder: A Code of Conduct for Professional Programmers (Robert C. Martin Series)Автор: Robert C. Martin
Размер книги: 6.06 Mb
Только что пользователи скачали эти книги:
Recent Achievements and Perspectives in Nuclear Physics: Proceedings of the 5th Italy-Japan Symposium Naples, Italy 3-7 November 2004Автор: G. La Rana, Автор: C. Signorini, Автор: S. Shimoura
Размер книги: 28.13 Mb
The Cambridge History of Egypt, Vol. 2: Modern Egypt, From 1517 to the End of The 20th CenturyАвтор: Martin W. DalyКатегория: История
Размер книги: 25.81 Mb
Land Tenure, Conservation and Development in Southeast Asia (Routledgecurzon Contemporary Southeast Asia Series)Автор: Peter Eaton
Размер книги: 1.32 Mb
SolidWorks. Оформление чертежей по ЕСКДАвтор: С.А. Каплун, Автор: Т.Ф. Худякова, Автор: И.В. Щекин
Размер книги: 31.21 Mb
|
|
|