All Theory of Computation Titles
Theory and Applications of Models of Computation
T V Gopal, Manindra Agrawal, Angsheng Li, S. Barry Cooper
This book constitutes the refereed proceedings of the 11th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Chennai, India, in April 2014. The 27 revised full ...
Theory and Applications of Satisfiability Testing - SAT 2014
Carsten Sinz, Uwe Egly
This book constitutes the refereed proceedings of the 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, held as part of the Vienna Summer of Logic, VSL 2014 ...
Theory of Quantum Computation, Communication, and Cryptography
Dave Bacon, Miguel Martin-Delgado, Martin Roetteler
This book constitutes the thoroughly refereed post-conference proceedings of the 6th Conference on Theory of Quantum Computation, Communication, and Cryptography, TQC 2011, held in Madrid, Spain, in M ...
This book provides a comprehensive study of complexity results and optimal and suboptimal algorithms concerning time-dependent scheduling in single-, parallel- and dedicated-machine environments. This is the first monograph on time-dependent scheduling.