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
                      UPDATE