Theoretical Computer Science Proc.conf.2000
Jan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito
Proceedings of the International Conference, IFIP TCS 2000, on theoretical computer science, held in Sendai, Japan, August 17-19, 2000. The conference followed two main tracks: Track one on algorithms, complexity, and models of computation, and track two on logic, semantics, specification, and verification. Softcover.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
