Programs

Results: 115783



#Item
131

PREPRINT: "H. Kashif, J. J. Thomas, H. Patel, and S. Fischmeister, "Static slack-based instrumentation of programs," in 20th IEEE Conference on Emerging Technologies \\& Factory Automation, ETFA, 2015, pp. 1-8." Static S

Add to Reading List

Source URL: caesr.uwaterloo.ca

Language: English - Date: 2017-11-20 15:52:59
    132

    Defense Programs and Budget of Japan – Overview of FY2016 Budget Request – This is a provisional translation for reference purposes only. The original text is in Japanese.

    Add to Reading List

    Source URL: www.mod.go.jp

    Language: English - Date: 2015-10-23 02:12:15
      133

      University of South Carolina AikenUndergraduate and Graduate Programs Bulletin 471 University Parkway Aiken, South CarolinaLocal: (From Augusta: (

      Add to Reading List

      Source URL: www.usca.edu

      Language: English - Date: 2018-02-26 09:15:47
        134

        Proving Termination of flowcharts programs Laure Gonnord ´ Laboratoire de l’Informatique du Parallelisme (ENS Lyon)

        Add to Reading List

        Source URL: laure.gonnord.org

        Language: English - Date: 2014-01-28 10:36:40
          135

          Faculty Manual Dual Credit Programs

          Add to Reading List

          Source URL: institute.truman.edu

          Language: English - Date: 2017-07-11 16:14:59
            136

            An Algorithmi Approa h to Compositional Veri ation of Sequential Programs with Pro edures: An Overview 1 2

            Add to Reading List

            Source URL: people.inf.ethz.ch

            Language: English - Date: 2014-04-16 16:26:11
              137

              Gold Humanism Honor Society “Gold Guide” Programs to Create a Compassionate and Supportive Learning Environment Table of Contents Introduction

              Add to Reading List

              Source URL: s3.amazonaws.com

              Language: English - Date: 2017-09-13 23:41:48
                138

                Modelling, Specification and Formal Analysis of Complex Software Systems - Precise Static Analysis of Programs with Dynamic Memory

                Add to Reading List

                Source URL: resources.mpi-inf.mpg.de

                Language: English - Date: 2015-09-14 05:22:47
                  139

                  FY17-18 Arts Education: Extension Grant Application Instructions The Extension grant supports after school and summer arts education programs that take place in community and artistic venues, as well as on school sites.

                  Add to Reading List

                  Source URL: www.cac.ca.gov

                  Language: English - Date: 2018-07-05 19:38:29
                    140

                    Multi-School Programs of Study

                    Add to Reading List

                    Source URL: e-catalog.jhu.edu

                    - Date: 2017-10-20 13:10:37
                      UPDATE