|
libcats.org
Theoretical Aspects of Computing - ICTAC 2006, 3 confKamel Barkaoui, Ana Cavalcanti, Antonio CeroneThis book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ICTAC 2006 held in Tunis, Tunisia in November 2006. The 21 revised full papers presented together with 3 invited talks and summaries of 2 tutorials were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on semantics, concurrency, model checking, formal languages, logics and type theory, as well as real-time and mobility. Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.
Популярные книги за неделю:
#3
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#10
Вероятность и статистика. 10-11 классыБродский И.Л., Мешавкина О.С.Категория: M_Mathematics, MSch_School-level
1.24 Mb
Только что пользователи скачали эти книги:
#1
Современная социология организацийПригожин А.И.Категория: Общественные науки политология социология
316 Kb
#2
Неклассические смешанные задачи теории упругостиИ.И. Ворович, В.М. Александров, В.А. БабешкоКатегория: физика
3.95 Mb
#6
Радиовещательные ламповые приемники (ремонт и налаживание)Левитин Ефим АлексеевичКатегория: радиоэлектроника
5.06 Mb
#7
Введение в анализ. Предел последовательности: Методические указания к практическим занятия по математическому анализуКоршикова Т.И., Калиниченко Л.И., Кирютенко Ю.А.
309 Kb
#8
Анализ хозяйственной деятельности предприятия: учебное пособиеЕрмолович Л.Л., Сивчик Л.Г., Толкач Г.В., Щитникова И.В.Категория: КНИГИ БИЗНЕС
30.03 Mb
|
|