نتایج جستجو
Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
James R. Larus (auth.), 2008
Advanced Topics in Artificial Intelligence: 2nd Advanced Course, ACAI '87 Oslo, Norway, July 28 – August 7, 1987
Philippe Jorrand (auth.), 1988
Cryptography: Policy and Algorithms: International Conference Brisbane, Queensland, Australia, July 3–5, 1995 Proceedings
Professor William J. Caelli (auth.), 1996
