libcats.org
Главная

FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science

Обложка книги FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science

FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science

, , ,
This book constitutes the refereed proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FST TCS 2002, held in Kanpur, India in December 2002. The 26 revised full papers presented together with 5 invited contributions were carefully reviewed and selected from 108 submissions. A broad variety of topics from the theory of computing are addressed, from algorithmics and discrete mathematics as well as from logics and programming theory.

Keywords: Algorithms, Computing Theory, Theoretical Computer Science, Programming Theory, Formal Methods, Mathematical Logic, Computer Science Logic, Program Semantics, Approximation, Optimization, Programming Calculi, Automata Theory

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

О физической природе шаровой молнии

Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

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

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

Древо жизни

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

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

Practical organic chemistry

Автор: , Автор:
Категория: Chemistry, Organic Chemistry, LabManuals
Размер книги: 7.28 Mb

Fashion, Costume, and Culture

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

Китайский кулак

Автор:
Категория: people, people, survival
Размер книги: 110.45 Mb