Texts in theoretical computer science,

書目資訊

abstract computing machines
temporal logic and state systems
decision procedures
extremal combinatorics
introduction to concurrency theory
introduction to online computation
models of computation
simulation algorithms for computatio...
 
 
Change password
Login