الكتب الالكترونية

  1. الرئيسية
  2. الكتب الالكترونية
عدد الكتب: 1 - 4 /4
978-3-540-28520-5
Complexity Theory and Cryptology

Modern cryptology employs mathematically rigorous concepts and methods from complexity theory. Conversely, current research ...

اقرأ المزيد
978-3-540-32939-8
Concurrent Zero-Knowledge

Zero-knowledge proofs are fascinating and extremely useful constructs. Their fascinating nature is due to their seemingly ...

اقرأ المزيد
978-1-84628-692-6
Semantics with Applications: An Appetizer

Semantics will have an important role to play in the future development of software systems and domain specific languages, ...

اقرأ المزيد
978-3-540-79719-7
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 ...

اقرأ المزيد
عدد الكتب: 1 - 4 /4