Home Advanced Search

Advanced Search - Page 1

Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Simon N. Foley (auth.), Warren A. Hunt Jr., Fabio Somenzi (eds.)
Food Hygiene Auditing
  • PDF
  • English
  • Year: 1997
  • Author: P. N. Wright (auth.), N. Chesworth (eds.)
Food Hygiene Auditing
  • PDF
  • English
  • Year: 1996
  • Author: P. N. Wright (auth.), N. Chesworth (eds.)
Plant Molecular Biology 2
  • PDF
  • English
  • Year: 1991
  • Author: Simon N. Covey, David S. Turner, Rebecca Stratford (auth.), R. G. Herrmann, B. A. Larkins (eds.)
  • PDF
  • English
  • Year: 2017
  • Author: Foley, Simon N.; Gollmann, Dieter; Snekkenes, Einar
  • PDF
  • English
  • Year: 2017
  • Author: Foley, Simon N.; Gollmann, Dieter; Snekkenes, Einar
Cryptology and Network Security: 9th International Conference, CANS 2010, Kuala Lumpur, Malaysia, December 12-14, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Asli Bay, Jorge Nakahara Jr., Serge Vaudenay (auth.), Swee-Huay Heng, Rebecca N. Wright, Bok-Min Goi (eds.)
Cryptology and Network Security: 9th International Conference, CANS 2010, Kuala Lumpur, Malaysia, December 12-14, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Asli Bay, Jorge Nakahara Jr., Serge Vaudenay (auth.), Swee-Huay Heng, Rebecca N. Wright, Bok-Min Goi (eds.)