|
|
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
Только что пользователи скачали эти книги:
М.А.Шабад. Защита генераторов малой и средней мощности ("Библиотечка электотехника" #28) (djvu)Автор:
Размер книги: 1.45 Mb
Self-Organizing Systems: First International Workshop, IWSOS 2006 and Third International Workshop on New Trends in Network Architectures andАвтор: Hermann De Meer, Автор: James P.G. Sterbenz
Размер книги: 5.59 Mb
Edward Said: A Legacy of Emancipation and RepresentationАвтор: Adel Iskandar, Автор: Hakem Rustom
Размер книги: 5.35 Mb
File for Divorce in Washington (Legal Survival Guides)Автор: Haman, Автор: RichardsonКатегория: Физкультура и спорт, Выживание
Размер книги: 11.35 Mb
Tradition, interpretation, and science: political theory in the American academyАвтор: John S. Nelson
Размер книги: 773 Kb
Facing the East in the West: Images of Eastern Europe in British Literature, Film and Culture. (Internationale Forschungen Zur Allgemeinen Und Vergleichenden Literaturwissenschaft)Автор: Barbara Korte, Автор: Eva Ulrike Pirker, Автор: Sissy Helff
Размер книги: 5.46 Mb
|
|
|