libcats.org
Главная

Theoretical Aspects of Computing - ICTAC 2005, 2 conf

Обложка книги Theoretical Aspects of Computing - ICTAC 2005, 2 conf

Theoretical Aspects of Computing - ICTAC 2005, 2 conf

,

This 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.

EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

50 рецептов для аэрогриля

Автор:
Категория: house, house, cook
Размер книги: 771 Kb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Contemporary Theatre, Film and Television, Volume 97

Автор:
Размер книги: 3.18 Mb
Только что пользователи скачали эти книги:

Algorithms in Java, Parts 1-4

Автор:
Размер книги: 5.41 Mb

Polypropylene Definitive

Автор: , Автор:
Размер книги: 12.45 Mb

The Meaning of the Holy Qur'an (English Arabic Text)

Автор:
Категория: Языкознание
Размер книги: 228.63 Mb

Схемотехника автоответчиков.

Автор:
Категория: info, guide, civil, hardware
Размер книги: 10.91 Mb

Les mathématiques, ce monde que créa l'homme

Автор:
Размер книги: 4.51 Mb

Paint & Coating Industry December 2011

Автор:
Размер книги: 51.41 Mb

Understanding Sea-level Rise and Variability

Автор: , Автор: , Автор: , Автор:
Размер книги: 14.88 Mb

Реструкт

Автор:
Размер книги: 1.70 Mb