Total Books: 1 - 5 /5
Building Construction Illustrated / Francis D. K. Ching
A leading visual guide to the principles of building construction. Filled with rich illustrations and in-depth content by ...
Continue reading
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 - 5 /5
