Sanjiv Kapoor; Sanjiva Prasad FST TCS 2000: Foundations of Software Technology and Theoretical Science 9783540414131

Варианты приобретения

Цена: 13974.00р.
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: Есть
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину

в Мои желания

Автор: Sanjiv Kapoor; Sanjiva Prasad
Название: FST TCS 2000: Foundations of Software Technology and Theoretical Science
ISBN: 9783540414131
Издательство: Springer
Классификация:

Теория вычислительных машин и систем, кибернетика

ISBN-10: 3540414134
Обложка/Формат: Paperback
Страницы: 538
Вес: 0.76 кг.
Дата издания: 29.11.2000
Серия: Lecture Notes in Computer Science
Язык: English
Размер: 234 x 156 x 28
Основная тема: Computer Science
Подзаголовок: 20th Conference, New Delhi, India, December13-15, 2000 Proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: The Foundations of SoftwareTechnology and Theoretical Computer Science c- ference (FST TCS) is a well-established annual event in the theoretical computer science community. The conference provides a forum for researchers to present interesting new results in several areas of theoretical computer science. The c- ference is now in its twentieth year and has continued to attract high-quality submissions and reputed invited speakers. This yearsconference attracted 141 submissions(of which 5 werewithdrawn) from over 25 countries. Each submission was reviewed by at least three referees, with most receiving more than four reviews. The Program Committee met in New Delhi on 5 and 6 August 2000, with many members participating electr- ically over the Internet. The discussions continued over the Internet for several days and we ?nally selected 36 papers for presentation at the conference and inclusion in the proceedings. We thank the Program Committee for their - perlative e?orts in ?nding top quality reviewers and working extremely hard to ensure the quality of the conference. We also thank all our reviewers for prov- ing detailed and informative feedback about the papers. Rich Gerbers START program greatly simpli?ed managing the submissions and the PC work. Wearegratefulto oursixinvited speakers, PeterBuneman, BernardChazelle, Allen Emerson, Martin Gr] otschel, Jos e Meseguer, and Philip Wadler for agr- ing to speak at the conference and for providing written contributions that are included in the proceedings. With the main conference this year, there are two satellite workshops - on RecentAdvancesinProgrammingLanguages and onComputationalGeometry.

FST TCS 2000: Foundations of Software Technology and Theoretical Science, Sanjiv Kapoor; Sanjiva Prasad