|
|
libcats.org
Theoretical Aspects of Computing - ICTAC 2005, 2 confDang Van Hung, Martin WirsingThis book constitutes the refereed proceedings of the Second International Colloquium on Theoretical Aspects of Computing, ICTAC 2005 held in Hanoi, Vietnam, in October 2005. The 35 revised full papers presented together with 5 invited talks and a summary of 5 tutorials were carefully reviewed and selected from 122 submissions. The papers are organized in topical sections on formal languages, computer science logics, program construction, real-time systems, concurrency and refinement, software security, quantitative logics, object-orientation and component systems, model-checking and algorithms, and applied logics and computing theory.
Скачать книгу бесплатно (pdf, 5.67 Mb)
Читать «Theoretical Aspects of Computing - ICTAC 2005, 2 conf» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
William W Johnstone - Ashes 23 - Slaughter in the Ashes (txt)Автор: Johnstone William W
Размер книги: 327 Kb
Polypropylene DefinitiveАвтор: Clive Maier, Автор: Theresa HaberКатегория: Chemistry-Environmental-Material
Размер книги: 12.45 Mb
The Meaning of the Holy Qur'an (English Arabic Text)Автор: Abdullah Yusuf AliКатегория: Языкознание
Размер книги: 228.63 Mb
Focus and Background in Romance Languages (Studies in Language Companion Series)Автор: Andreas Dufter, Автор: Daniel JacobКатегория: Языкознание
Размер книги: 2.65 Mb
Understanding Sea-level Rise and VariabilityАвтор: John A. Church, Автор: Philip L. Woodworth, Автор: Thorkild Aarup, Автор: W. Stanley Wilson
Размер книги: 14.88 Mb
|
|
|