Total Books: 1 - 4 /4
Complexity Theory and Cryptology
Modern cryptology employs mathematically rigorous concepts and methods from complexity theory. Conversely, current research ...
Continue reading
Concurrent Zero-Knowledge
Zero-knowledge proofs are fascinating and extremely useful constructs. Their fascinating nature is due to their seemingly ...
Continue reading
Semantics with Applications: An Appetizer
Semantics will have an important role to play in the future development of software systems and domain specific languages, ...
Continue reading
Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
Continue reading
Total Books: 1 - 4 /4
