کتاب های Lisa Moore
A computational logic
Robert S. Boyer, J.Strother Moore, 1979
A computational logic
Robert S. Boyer, J.Strother Moore, 1979
A Computational Logic (ACM monograph series)
Robert S. Boyer, J. Strother Moore, 1979
A Woman's Concise Guide to Common Medical Tests
Michele C. Moore, Caroline M. De Costa, 2005
Abernathy's Surgical Secrets, Updated Edition (Book w/ Student Consult)
Alden H. Harken MD, Ernest E. Moore MD, 2004
Principles of Oral and Maxillofacial Surgery
U. J. Moore, 2011
Field hydrogeology : a guide for site investigations and report preparation
Moore, John Ezra, 2011
Field Hydrogeology- A Guide for Site Investigations and Report Preparation
John E. Moore, 2002
Human Herpesviruses: Biology, Therapy, and Immunoprophylaxis
Ann Arvin, Gabriella Campadelli-Fiume, Edward Mocarski, Patrick S. Moore, Bernard Roizman, Richard Whitley, Koichi Yamanishi, 2007
Cancer, Culture and Communication
RJ Moore, D Spiegel (Eds.), 2003
Dieta das 8 horas
David Zinczenko, Peter Moore, 2014
Anatomic Basis of Tumor Surgery
William C. Wood, Charles Staley, John E. Skandalakis, Sean Moore, 2010
Anatomic Basis of Tumor Surgery, 2nd Edition
William C. Wood, Charles Staley, John E. Skandalakis, Sean Moore, 2010
Critical Infrastructure Protection IV: Fourth Annual IFIP WG 11.10 International Conference on Critical Infrastructure Protection, ICCIP 2010, Washington, DC, USA, March 15-17, 2010, Revised Selected Papers
Neil Robinson, Dimitris Potoglou, Chong Kim, Peter Burge, Richard Warnes (auth.), Tyler Moore, Sujeet Shenoi (eds.), 2010
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings
Robert S. Boyer, J Strother Moore (auth.), Mark E. Stickel (eds.), 1990
A Computational Logic
Robert S. Boyer, J Strother Moore and Thomas A. Standish (Auth.), 1979
Computer-Aided Reasoning: An Approach
Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), 2000
Computer-Aided Reasoning: An Approach
Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), 2000
Design and Verification of Microprocessor Systems for High-Assurance Applications
Matt Kaufmann, J Strother Moore (auth.), David S. Hardin (eds.), 2010
Introduction to Abstract Algebra
J. Strother Moore (Auth.), 1975
Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)
J Strother Moore, 1996
Fundamental interactions: proceedings of the Twentieth Lake Louise Winter Institute, Lake Louise, Alberta, Canada, 20-26 February, 2005
Alan Astbury, Bruce Campbell, Faqir Khanna, Roger Moore, Manuella Vincter, 2006
The Patriot's Toolbox
Joseph L. Bast, George Gilder, Leonard Gilroy, Matthew Glans, Hance Haney, Eli Lehrer, Adrian Moore, Steve Stanek, Richard Vedder, Herbert J. Walberg, 2010
Handbook of Distance Education
Michael Grahame Moore, William G. Anderson (Editors), 2003
