B15

Results: 217



#Item
41

On the relation between Interpreted Systems and Kripke Models Alessio Lomuscio and Mark Ryan School of Computer Science University of Birmingham Birmingham B15 2TT, UK

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2009-02-25 10:35:22
    42

    SIEMENS MAGNETOM TrioTim syngo MR B15 \\USER\RESEARCH\mayaan\prc163_30F\DTI - CAP TA: 1:00 PAT: 2

    Add to Reading List

    Source URL: fcon_1000.projects.nitrc.org

    Language: English - Date: 2010-12-14 17:40:42
      43

      The feature construct for SMV: semantics Malte Plath and Mark Ryan School of Computer Science University of Birmingham Birmingham B15 2TT UK

      Add to Reading List

      Source URL: www.cs.bham.ac.uk

      Language: English - Date: 2009-02-25 10:35:12
        44

        Verifying Security Property of Peer-to-Peer Systems Using CSP Tien Tuan Anh Dinh and Mark Ryan School of Computer Science, University of Birmingham, Birmingham United Kingdom, B15 2TT

        Add to Reading List

        Source URL: www.cs.bham.ac.uk

        Language: English - Date: 2010-11-18 09:14:17
          45

          Clinical Genetics Society Administrative Office: Clinical Genetics Unit Birmingham Women’s Hospital Edgbaston, Birmingham. B15 2TG Tel:

          Add to Reading List

          Source URL: www.clingensoc.org

          Language: English - Date: 2014-01-09 06:21:08
            46

            In: Journal of Logic, Language and Information, Counterfactuals and updates as inverse modalities Mark Ryan School of Computer Science. University of Birmingham, Birmingham B15 2TT,

            Add to Reading List

            Source URL: www.cs.bham.ac.uk

            Language: English - Date: 2009-02-25 10:35:19
              47

              Synthesising Verified Access Control Systems in XACML Nan Zhang School of Computer Science University of Birmingham Birmingham, UK, B15 2TT

              Add to Reading List

              Source URL: www.cs.bham.ac.uk

              Language: English - Date: 2009-02-25 10:33:24
                48

                Consequences for Language Learning of an AI Approach to Metaphor John A. Barnden School of Computer Science; University of Birmingham Birmingham, B15 2TT, United Kingdom

                Add to Reading List

                Source URL: www.cs.bham.ac.uk

                Language: English - Date: 2007-07-10 10:43:04
                  49

                  SIEMENS MAGNETOM TrioTim syngo MR B15 \\USER\RESEARCH\mayaan\prc163_30F\MPRAGE TA: 10:42 Properties Prio Recon Before measurement

                  Add to Reading List

                  Source URL: fcon_1000.projects.nitrc.org

                  Language: English - Date: 2010-12-14 17:40:43
                    50

                    SIEMENS MAGNETOM TrioTim syngo MR B15 \\USER\RESEARCH\mayaan\prc163_30F\DTI TA: 13:32 PAT: 3

                    Add to Reading List

                    Source URL: fcon_1000.projects.nitrc.org

                    Language: English - Date: 2010-12-14 17:40:41
                      UPDATE