Matches in Harvard for { <http://id.lib.harvard.edu/aleph/005347024/catalog> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- catalog abstract ""This volume presents the proceedings of the 14th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FST & TCS-14, held in Madras, India in December 1994. Besides the five invited papers by well-known researchers, it includes 31 full refereed research papers selected out of a total of 140 submissions. The papers contribute to the whole area of theoretical computer science with an emphasis on algorithms and complexity. Other topics covered are program semantics, program verification, formal logic, computational geometry, concurrency, unification, and discrete mathematics"--PUBLISHER'S WEBSITE.".
- catalog contributor b7546455.
- catalog created "c1994.".
- catalog date "1994".
- catalog date "c1994.".
- catalog dateCopyrighted "c1994.".
- catalog description ""This volume presents the proceedings of the 14th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FST & TCS-14, held in Madras, India in December 1994. Besides the five invited papers by well-known researchers, it includes 31 full refereed research papers selected out of a total of 140 submissions. The papers contribute to the whole area of theoretical computer science with an emphasis on algorithms and complexity. Other topics covered are program semantics, program verification, formal logic, computational geometry, concurrency, unification, and discrete mathematics"--PUBLISHER'S WEBSITE.".
- catalog description "Includes bibliographical references and index.".
- catalog extent "xi, 449 p. :".
- catalog identifier "0387587152 (New York : acid-free paper)".
- catalog identifier "3540587152 (Berlin : acid-free paper)".
- catalog isPartOf "Lecture notes in computer science ; 880".
- catalog issued "1994".
- catalog issued "c1994.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog subject "004 20".
- catalog subject "Computer software Congresses.".
- catalog subject "QA76.751 .F692 1994".
- catalog title "Foundations of software technology and theoretical computer science : 14th conference, Madras, India, December 15-17, 1994 : proceedings / P.S. Thiagarajan, ed.".
- catalog type "text".