FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science: 21st Conference, Bangalore, India, December 13-15, 2001, Proceeding by Ramesh HariharanFST TCS 2001: Foundations of Software Technology and Theoretical Computer Science: 21st Conference, Bangalore, India, December 13-15, 2001, Proceeding by Ramesh Hariharan

FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science: 21st Conference…

EditorRamesh Hariharan, Madhavan Mukund, V. Vinay

Paperback | November 28, 2001

Pricing and Purchase Info

$125.55 online 
$141.95 list price save 11%
Earn 628 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science: 21st Conference…Format:PaperbackDimensions:358 pages, 9.25 × 6.1 × 0.01 inPublished:November 28, 2001Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540430024

ISBN - 13:9783540430025

Reviews