Abstraction

Results: 2720



#Item
31Decision NoticeWD Decision of the 27th June 2011 issued in virtue of the Malta Resources Authority Act (Cap. 423 of the Laws of Malta) and the Groundwater Abstraction (Metering) Regulations, 2010 (LN 241 of 201

Decision NoticeWD Decision of the 27th June 2011 issued in virtue of the Malta Resources Authority Act (Cap. 423 of the Laws of Malta) and the Groundwater Abstraction (Metering) Regulations, 2010 (LN 241 of 201

Add to Reading List

Source URL: mra.org.mt

Language: English - Date: 2013-11-01 03:06:28
    32Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version) arXiv:submitcs.SC] 23 MarFlorian Zuleger1 , Sumit Gulwani2 , Moritz Sinn1 , and Helmut Veith1⋆

    Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version) arXiv:submitcs.SC] 23 MarFlorian Zuleger1 , Sumit Gulwani2 , Moritz Sinn1 , and Helmut Veith1⋆

    Add to Reading List

    Source URL: forsyte.at

    Language: English - Date: 2012-03-23 14:07:46
      33Paradigm Regained: Abstraction Mechanisms for Access Control Mark S. Miller Hewlett Packard Laboratories, Johns Hopkins University

      Paradigm Regained: Abstraction Mechanisms for Access Control Mark S. Miller Hewlett Packard Laboratories, Johns Hopkins University

      Add to Reading List

      Source URL: erights.org

      Language: English - Date: 2016-12-29 20:50:58
        34BRICS Basic Research in Computer Science BRICS RSAmtoft et al.: The Abstraction and Instantiation of String-Matching Programs The Abstraction and Instantiation of

        BRICS Basic Research in Computer Science BRICS RSAmtoft et al.: The Abstraction and Instantiation of String-Matching Programs The Abstraction and Instantiation of

        Add to Reading List

        Source URL: www.brics.dk

        Language: English - Date: 2001-09-04 10:58:49
          35Paradigm Regained: Abstraction Mechanisms for Access Control Mark S. Miller Hewlett Packard Laboratories, Johns Hopkins University

          Paradigm Regained: Abstraction Mechanisms for Access Control Mark S. Miller Hewlett Packard Laboratories, Johns Hopkins University

          Add to Reading List

          Source URL: erights.org

          Language: English - Date: 2016-12-29 20:50:58
            36Zoe Hennchen Monitoring the impact of changes to flow regulation on fisheries below reservoirs in Yorkshire The abstraction of water along parts of the River Burn, North Yorkshire to fulfil societal needs has caused degr

            Zoe Hennchen Monitoring the impact of changes to flow regulation on fisheries below reservoirs in Yorkshire The abstraction of water along parts of the River Burn, North Yorkshire to fulfil societal needs has caused degr

            Add to Reading List

            Source URL: www.fsbi.org.uk

            Language: English - Date: 2016-12-03 17:09:24
              37Effects of Higher Abstraction Level Driving Information in a High-speed Train Interface: Cognitive Modelling and Experimental Evaluation Kenji Itoh Department of Industrial Engineering and Management Tokyo Institute of T

              Effects of Higher Abstraction Level Driving Information in a High-speed Train Interface: Cognitive Modelling and Experimental Evaluation Kenji Itoh Department of Industrial Engineering and Management Tokyo Institute of T

              Add to Reading List

              Source URL: www.mi-as.com

              Language: English - Date: 2007-04-13 13:28:00
                38Decision NoticeWD Decision of the 27th June 2011 issued in virtue of the Malta Resources Authority Act (Cap. 423 of the Laws of Malta) and the Groundwater Abstraction (Metering) Regulations, 2010 (LN 241 of 201

                Decision NoticeWD Decision of the 27th June 2011 issued in virtue of the Malta Resources Authority Act (Cap. 423 of the Laws of Malta) and the Groundwater Abstraction (Metering) Regulations, 2010 (LN 241 of 201

                Add to Reading List

                Source URL: mra.org.mt

                Language: English - Date: 2013-11-01 03:17:55
                  39Higher-Order Model Checking by Abstraction of Type Derivation Rewriting Takeshi Tsukada1,2 and Naoki Kobayashi3 1 Graduate School of Information Science, Tohoku University

                  Higher-Order Model Checking by Abstraction of Type Derivation Rewriting Takeshi Tsukada1,2 and Naoki Kobayashi3 1 Graduate School of Information Science, Tohoku University

                  Add to Reading List

                  Source URL: www-kb.is.s.u-tokyo.ac.jp

                  Language: English - Date: 2016-04-18 06:57:45
                    40MADlib Design Document May 1, 2018 Contents 1 Abstraction Layers

                    MADlib Design Document May 1, 2018 Contents 1 Abstraction Layers

                    Add to Reading List

                    Source URL: madlib.apache.org

                    Language: English - Date: 2018-06-01 12:04:43