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
Только что пользователи скачали эти книги:

Scott Westerfeld - Uglies 03 - Specials

Автор:
Размер книги: 468 Kb

Aristotle (The Routledge Philosophers)

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

The Art Of Controversy

Автор:
Категория: Philosophy
Размер книги: 157 Kb

Atlas of Mesotherapy in Skin Rejuvenation

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

The Life of Hinduism

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