|
|
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
Только что пользователи скачали эти книги:
И разверзнутся хляби небесныеАвтор: Смит Майкл МаршаллКатегория: Ужасы и Мистика
Размер книги: 141 Kb
A Bernstein property of solutions to a class of prescribed affine mean curvature equationsАвтор: McCoy J. A.
Размер книги: 279 Kb
Unifying Petri NetsАвтор: Hartmut Ehrig, Автор: Gabriel Juhas, Автор: Julia Padberg, Автор: Grzegorz RozenbergКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.92 Mb
Emerging stock markets after the crisis (SUERF studies)Автор: John CalverleyКатегория: Образование
Размер книги: 311 Kb
Is parallel programming hard, and if so, what can you do about itАвтор: McKenney P.E.Категория: Cs_Computer science, CsAl_Algorithms
Размер книги: 3.34 Mb
|
|
|