Hurd - PDFSEARCH.IO - Document Search Engine

Hurd
Results: 235

#	Item
51	Erwin Tomash Library Iamblichus of Chalcis IBM - [IBM Deutschland Internationale Buro Maschinen] Add to Reading List Source URL: www.cbi.umn.edu Language: English - Date: 2009-01-06 16:20:24 Unit record equipment Punched card Herman Hollerith Tabulating machine IBM 701 Cuthbert Hurd IBM UNIVAC Computer Computing Technology Computer hardware
52	Genesis of mineralization associated with Andean intrusions, northern Antarctic Peninsula region CRAIG Add to Reading List Source URL: s3.amazonaws.com Language: English - Date: 2011-05-06 06:38:15 Keller Peninsula Livingston Island South Shetland Islands Pyrite Hurd Peninsula Noel Hill Chalcopyrite Antarctic Peninsula Geography of Antarctica Chemistry Barton Peninsula
53	Covacevich, V. CFauna Valanginiana de Peninsula Byers, Isla Livingston, Antártica. Revista Geológica de Chile, 3, Elliot, D. H., and Askin, R. AGeologic studies in the South Shetland Islands and Add to Reading List Source URL: s3.amazonaws.com Language: English - Date: 2011-05-06 06:03:31 Chilean Antarctic Territory Magallanes and Antártica Chilena Region Byers Peninsula Livingston Island Anvers Island Hurd Peninsula Geography of Antarctica Antarctica South Shetland Islands
54	Perl versiondocumentation - perlhurd NAME perlhurd - Perl version 5 on Hurd DESCRIPTION Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 14:57:18 Cross-platform software Debian GNU/Hurd GNU Hurd Perl Hurd GNU Debian Software Computer architecture Computing
55	OpenTheory: Package Management for Higher Order Logic Theories Joe Hurd Galois, Inc. Add to Reading List Source URL: www.gilith.com Language: English - Date: 2009-08-21 07:30:13 Automated theorem proving Logic in computer science Mathematical logic Formal methods Isabelle Proof assistant Mathematical proof Logic for Computable Functions Theorem Theoretical computer science Mathematics Logic
56	Composable Packages for Higher Order Logic Theories Joe Hurd Galois, Inc. Abstract Interactive theorem proving is tackling ever larger formalization and verification projects, and Add to Reading List Source URL: www.gilith.com Language: English - Date: 2010-07-21 04:29:06 Model theory Logic in computer science Automated theorem proving Concepts Philosophy of science Logic for Computable Functions Proof assistant Theory HOL Logic Science Mathematics
57	Maintaining Verified Software Joe Leslie-Hurd Intel Corp. Abstract Add to Reading List Source URL: www.gilith.com Language: English - Date: 2013-09-14 18:02:18 Type theory Functional languages Data types Cabal Haskell Monad Type system QuickCheck Dependency hell Software Computing Functional programming
58	Bridges Fundraising Movie Night Come and show your support for Bridges and join us in watching “Tomorrow When the War Began” on its Add to Reading List Source URL: www.bridges.net.au Language: English - Date: 2011-08-16 09:12:26 Caitlin Stasey Innaloo Western Australia Phoebe Tonkin Greater Union Stuart Beattie Phoebe Rachel Hurd-Wood Cinema of Australia Tomorrow series Tomorrow When the War Began
59	Microsoft Word - Appendix FPort Hurd Oysters Health Report.doc Add to Reading List Source URL: www.ntepa.nt.gov.au Language: English - Date: 2013-01-09 22:20:17 Air dispersion modeling Chemical engineering Emission intensity Environmental engineering Carbon dioxide Greenhouse gas Carbon dioxide equivalent Global-warming potential AP 42 Compilation of Air Pollutant Emission Factors Air pollution Environment Atmosphere
60	Foreword by Nick Hurd MP THE A VIEW FROM THE FRONTLINE Foreword by Nick Hurd MP Add to Reading List Source URL: www.thefsi.org Language: English - Date: 2014-02-24 04:01:09 Civil society Politics Big Society English society Calouste Gulbenkian Foundation Volunteering Social enterprise Samaritans Local community Philanthropy Social philosophy Sociology

UPDATE