Knowles - PDFSEARCH.IO - Document Search Engine

Knowles
Results: 625

#	Item
1	NATIVE PLANT GUIDE Native Plant Society of Texas-Houston Chapter Linda Knowles - President A guide to selecting wildflowers, grasses, and ferns Add to Reading List Source URL: npsot.org Language: English - Date: 2015-02-19 00:49:36
2	Recent Projections of 21st-Century Climate Change and Watershed Responses in the Sierra Nevada1 Michael D. Dettinger,2 Daniel R. Cayan,2 Noah Knowles,3 Anthony Westerling,3 and Mary K. Tyree3 Add to Reading List Source URL: ulmo.ucmerced.edu Language: English - Date: 2009-09-24 14:08:43
3	Susana Martinez, Governor Kyky Knowles, Acting Cabinet Secretary Concise Explanatory Statement NMACThe New Mexico Aging and Long Term Services Department approved, at itshearing, to repeal its rule 9. Add to Reading List Source URL: www.nmaging.state.nm.us Language: English - Date: 2017-12-18 14:05:53
4	Compositional and Decidable Checking for Dependent Contract Types Kenneth Knowles Cormac Flanagan Add to Reading List Source URL: kennknowles.com - Date: 2011-11-04 03:44:32
5	Playing music to improve hearing in noise and tune the brain Nina Kraus, PhD, Hugh Knowles Professor, Add to Reading List Source URL: www.brainvolts.northwestern.edu - Date: 2014-11-19 16:45:12
6	Hybrid Type Checking KENNETH KNOWLES CORMAC FLANAGAN University of California at Santa Cruz Traditional static type systems are effective for verifying basic interface specifications. Dynamicallychecked contracts suppor Add to Reading List Source URL: kennknowles.com - Date: 2014-03-19 14:17:46
7	Type Reconstruction for General Refinement Types Kenneth Knowles Cormac Flanagan Add to Reading List Source URL: kennknowles.com - Date: 2011-09-06 01:40:51
8	Type Reconstruction for General Refinement Types Kenneth Knowles Cormac Flanagan Add to Reading List Source URL: kennknowles.com - Date: 2011-09-06 01:40:50
9	Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† † Add to Reading List Source URL: kennknowles.com - Date: 2011-09-06 01:40:49
10	Proving correctness of a dynamic atomicity analysis in Coq Caitlin Sadowski Jaeheon Yi Kenneth Knowles Add to Reading List Source URL: kennknowles.com - Date: 2014-03-19 14:17:46