Custom cover image
Custom cover image

FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science : 21st Conference Bangalore, India, December 13–15, 2001 Proceedings / edited by Ramesh Hariharan, V. Vinay, Madhavan Mukund

By: Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Lecture notes in computer science ; 2245Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2001Description: Online-RessourceISBN:
  • 3540430024
  • 9783540452942
Other title:
  • FST TCS 2001
Subject(s): Genre/Form: Additional physical formats: 9783540430025 | Buchausg. u.d.T.: FST TCS 2001: Foundations of software technology and theoretical computer science. Berlin : Springer, 2001. XI, 346 S.DDC classification:
  • 005.1015113 23
  • 004.0151 23
  • 005
MSC: MSC: *00B25 | 68-06LOC classification:
  • QA76.9.L63
  • QA76.5913
  • QA76.63
DOI: DOI: 10.1007/3-540-45294-XOnline resources: 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 rewritingPPN: PPN: 1649263635Package identifier: Produktsigel: ZDB-2-BAE | ZDB-2-LNC | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-SEB
No physical items for this record
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT