My Library

University LibraryCatalogue

For faster,
Use Lean
Get it now
Don't show me again
Limit search to items available for borrowing or consultation
Result Page: Previous Next
Can't find that book? Try BONUS+
Look for full text

Search Discovery

Search CARM Centre Catalogue

Search Trove

Add record to RefWorks

Cover Art

Title Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics [electronic resource] : International Conference IFIP TCS 2000 Sendai, Japan, August 1719, 2000 Proceedings / edited by Jan Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito.

Published Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2000.


Location Call No. Status
Physical description 1 online resource.
Series Lecture Notes in Computer Science ; 1872, 0302-9743
Lecture notes in computer science ; 1872, 0302-9743
Summary This book constitutes the refereed proceedings of the International Conference IFIP TCS 2000 held in Sendai, Japan in August 2000. The 32 revised full papers presented together with nine invited contributions were carefully reviewed and selected from a total of 70 submissions. The papers are organized in two tracks on algorithms, complexity, and models of computation and on logics, semantics, specification, and verification. The book is devoted to exploring new frontiers of theoretical informatics and addresses all current topics in theoretical computer science.
Other author Leeuwen, Jan.
Watanabe, Osamu.
Hagiya, Masami.
Mosses, Peter D.
Ito, Takayasu.
Subject Computer science.
Computer Communication Networks.
Data structures (Computer science)
Information theory.
Computer graphics.
Theory of Computation.
Programming Languages, Compilers, Interpreters.
Data Structures.
Electronic books.
ISBN 9783540449294 (electronic bk.)
3540449299 (electronic bk.)