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

Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
Популярные книги за неделю:
Только что пользователи скачали эти книги: