Skip to main content


eCommons@Cornell

eCommons@Cornell >

Browsing by Title

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 17578 to 17597 of 30549
< previous   next >
PreviewIssue DateTitleAuthor(s)
Sep-1993Formalizing Constructive Real AnalysisForester, Max B.
Sep-1998Formalizing Reference Types in NuPRL, PhD ThesisNaumov, Pavel
Feb-1997Formal Justification of Underspecification for S5Aaron, Eric; Gries, David
9-May-2001Formally Verifying Hybrid Protocols with the Nuprl Logical ProgrammingEnvironmentBickford, Mark; Kreitz, Christoph; van Renesse, Robbert
Aug-1984Formal Model of MOS Clocking DisciplesKarplus, Kevin
Jul-1997Formal Reasoning about Communication Systems I: Embedding ML into TypeTheory.Kreitz, Christoph
Sep-1998Formal Reasoning about Communication Systems II: Automated Fast-TrackReconfigurationKreitz, Christoph
Jun-1976A Formal Syntax for PL/CSTeitelbaum, Tim
30-Nov-2001Formal Type Soundness for Cyclone's Region SystemGrossman, Dan; Morrisett, Greg,; Jim, Trevor; Hicks, Mike; Wang, Yanling; Cheney, James
Aug-1996Formal versus semiformal proof in teaching predicate logicGries, David
2009The Formation and Evolution of Physician Treatment Styles: An Application to Caesarean SectionsNicholson, Sean
28-Jan-2013Formation Of Iron Complexes In Soil Organic Matter And Their Influence On Mobility And Bioavailability Of AntimonyPtak, Corey
26-Jun-2007Formative Evaluation of Massachusetts Audubon Society?s Coastal Waterbird ProgramBell, Caitlin
27-Jan-2014The Form Of Learning Is The Learning Of Forms: Models Of Socialist Aesthetic Education In Gorky, Hacks, And MüLlerPickle, Sarah
2001Forrester, William RayCornell University, Office of the Dean of the University Faculty
8-Mar-2007Forsaken Females: The Global Brutalization of WomenParrot, Andrea; Cummings, Nina
31-Jan-2011For Shame: Emotion, Gender, And Innovation In The Nineteenth-Century British NovelBennett, Ashly
17-Mar-2011For The Many of The Few?Wong, Wai Kin
1951FORTIETH ANNUAL Farm and Home Week OF THE NEW YORK STATE COLLEGES OF AGRICULTURE, HOME ECONOMICS , AND VETERINARY MEDICINE UNITS OF THE STATE UNIVERSITY OF NEW YORK March 19 to 23, 1951Cornell University
1977Fortran Applescab SimulationArneson, Phil; Jenkins, Jeffrey J.; Loria, Rosemary; Oren, Timothy
Showing results 17578 to 17597 of 30549
< previous   next >

 

© 2014 Cornell University Library Contact Us