Ship-Ship-Hooray! Free Shipping on $25+ Details >
Fst Tcs 2001: Foundations of Software

Fst Tcs 2001: Foundations of Software - 01 edition

Fst Tcs 2001: Foundations of Software - 01 edition

ISBN13: 9783540430025

ISBN10: 3540430024

Fst Tcs 2001: Foundations of Software by HARIHARAN R. - ISBN 9783540430025
Edition: 01
Copyright: 2001
Publisher: Springer-Verlag New York, LLC
Published:
International: No
Fst Tcs 2001: Foundations of Software by HARIHARAN R. - ISBN 9783540430025

ISBN13: 9783540430025

ISBN10: 3540430024

Edition: 01

shop us with confidence

Summary

This book constitutes the refereed proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FST TCS 2001, held in Bangalore, India in December 2001.The 23 revised full papers presented together with five invited papers were carefully reviewed and selected from 73 submissions. Among the issues addressed are randomization and derandomization, approximation, Kolmogorov complexity, pseudo-randomness, tree search, model checking, data structures, deterministic algorithms, formal verification, parallel algorithms, minimum-degree spanning trees, scheduling, Petri nets, equivalence logic, and rewriting.