McBride - PDFSEARCH.IO - Document Search Engine

McBride
Results: 584

#	Item
281	Simply Easy! An Implementation of a Dependently Typed Lambda Calculus Andres L¨oh Conor McBride Add to Reading List Source URL: strictlypositive.org Language: English - Date: 2007-10-10 18:00:00 Programming language theory Lambda calculus Generalized algebraic data type System F Simply typed lambda calculus Type system Type safety Dependent type Symbol Type theory Software engineering Theoretical computer science
282	GETTING MORE THAN YOU PAID FOR? CONSIDERATIONS IN INTEGRATING FREE AND LOW-COST TECHNOLOGIES INTO TRANSLATOR TRAINING PROGRAMS LYNNE BOWKER CHERYL MCBRIDE AND ELIZABETH MARSHMAN Add to Reading List Source URL: www.redit.uma.es Language: English - Date: 2009-08-31 14:59:28 Language Software Wordfast Translation memory Open-source software Application software OmegaT Fuzzy matching Translation Translation software Computer-assisted translation
283	Southern Campaign American Revolution Pension Statements Pension application of John McBride S4193 fn15NC Transcribed by Will Graves State of Tennessee, Williamson County Add to Reading List Source URL: revwarapps.org Language: English - Date: 2012-03-11 14:10:10 British people Military personnel United Kingdom Charles Cornwallis 1st Marquess Cornwallis Commander-in-Chief Ireland Ghazipur
284	Southern Campaign American Revolution Pension Statements & Rosters Pension application of William McBride S9425 Transcribed by Will Graves f20VA[removed] Add to Reading List Source URL: revwarapps.org Language: English - Date: 2013-04-04 21:42:16
285	Memorial to Keith Preston Young (1918–2004) EARLE F. MCBRIDE Department of Geological Sciences, Jackson School of Geosciences, University of Texas at Austin, Austin, Texas 78712, USA ANN MOLINEUX Add to Reading List Source URL: rock.geosociety.org Language: English - Date: 2008-02-27 18:37:23 Geochronology Geologic time scale Cretaceous Ammonoidea Fossils Albian Cenomanian Jackson School of Geosciences Utaturiceras Geology Historical geology Phanerozoic
286	8 TraXX/E Eight Independent Stereo MP3 Players User’s Guide Page ii Add to Reading List Source URL: www.alcorn.com Language: English - Date: 2014-11-17 12:22:07 Alcorn McBride MIDI Firmware Electronic engineering Technology Digital audio players Portable media players Electronics
287	MISSISSIPPI LEGISLATURE REGULAR SESSION 2007 By: Representatives Broomfield, McBride, Frierson, Gadd, Hudson, Middleton Add to Reading List Source URL: billstatus.ls.state.ms.us Language: English - Date: 2007-08-07 10:54:26 Oklahoma State System of Higher Education Government procurement in the United States United States administrative law Article One of the Constitution of Georgia
288	MISSISSIPPI LEGISLATURE REGULAR SESSION 2007 By: Representatives McBride, Akins, Gadd, Reynolds Add to Reading List Source URL: billstatus.ls.state.ms.us Language: English - Date: 2007-03-21 10:29:02 Business Internal Revenue Code section Amount realized Installment sale Eminent domain Income tax in the United States Like-kind exchange Tax basis Taxation in the United States Law Economy of the United States
289	MISSISSIPPI LEGISLATURE REGULAR SESSION 2005 By: Representatives Coleman (29th), Denny, Dickson, Green, McBride Add to Reading List Source URL: billstatus.ls.state.ms.us Language: English - Date: 2005-02-17 17:06:40
290	MISSISSIPPI LEGISLATURE REGULAR SESSION 2003 By: Representatives Denny, Shows, Bowles, Flaggs, Henderson, Martinson, McBride, Moody Add to Reading List Source URL: billstatus.ls.state.ms.us Language: English - Date: 2003-04-01 16:24:48 Appropriation Politics Consolidated Fund Government of the United Kingdom Mississippi