|
|
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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Кони, кони (All the Pretty Horses)Автор: Маккарти КормакКатегория: Контркультура
Размер книги: 538 Kb
The Application of Programmable DSPs in Mobile CommunicationsАвтор: Alan Gatherer, Автор: Edgar Auslander
Размер книги: 4.39 Mb
Gesammelte Schriften - Band 5: Das Passagen-Werk. 2 TeilbändeАвтор: Walter Benjamin
Размер книги: 46.56 Mb
|
|
|