FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science: 20th Conference New Delhi, India, December 13–15, 2000 Proceedings
E. Allen Emerson (auth.), Sanjiv Kapoor, Sanjiva Prasad (eds.)
This book constitutes the refereed proceedings of the 20th international Conference on Foundations of Software Technology and Theoretical Computer Science, FST TCS 2000, held in New Delhi, India in December 2000. The 36 revised full papers presented were carefully reviewed and selected from a total of 141 submissions; also included are six invited papers. The volume provides broad coverage of the logical and mathematical foundations of computer science and spans the whole range of theoretical computer science.
Категории:
Година:
2000
Издание:
1
Издателство:
Springer-Verlag Berlin Heidelberg
Език:
english
Страници:
538
ISBN 10:
3540444505
ISBN 13:
9783540444503
Серия:
Lecture Notes in Computer Science 1974
Файл:
PDF, 5.37 MB
IPFS:
,
english, 2000