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.

Скачать книгу бесплатно (pdf, 4.11 Mb)

---

Читать «Theoretical Computer Science Proc.conf.2000»