Home Advanced Search

Advanced Search - Page 1

FM8501: A Verified Microprocessor
  • DJVU
  • English
  • Year: 1994
  • Author: Warren A. Hunt Jr. (eds.)
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.)
Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1–3, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Robert Beers, Rajnish Ghughal, Mark Aagaard (auth.), Warren A. Hunt Jr., Steven D. Johnson (eds.)
Playtexts : ludics in contemporary literature
  • PDF
  • English
  • Year: 1995
  • Author: Warren Motte Jr
Water Supply and Pollution Control
  • PDF
  • English
  • Year: 2014
  • Author: Jr, Warren Viessman
I. Structure of lanthanum sulfate enneahydrate. II. The dicarbide ion in organic chemistry
  • PDF
  • English
  • Author: Hunt, Elton B., Jr.
算法心得：高效算法的奥秘
  • PDF
  • Chinese
  • Year: 2014
  • Author: Jr. Henry S. Warren
Oulipo: A Primer of Potential Literature
  • PDF
  • English
  • Year: 2015
  • Author: Warren F. Motte Jr.
North Carolina's Free People of Color, 1715-1885
  • MOBI
  • English
  • Year: 2020
  • Author: Warren Eugene Milteer Jr.
First Day at Gettysburg : Crisis at the Crossroads
  • PDF
  • English
  • Year: 2010
  • Author: Warren W. Hassler Jr
search