RSJ

Results: 184



#Item
51

BRICS Basic Research in Computer Science BRICS RSJ. Abendroth: Applying π-Calculus to Practice: An Example of a Unified Security Mechanism Applying π -Calculus to Practice:

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2003-12-12 09:05:06
    52

    2013 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) November 3-7, 2013. Tokyo, Japan Adaptive Control for Takeoff, Hovering, and Landing of a Robotic Fly Pakpong Chirarattananon, Kevin Y Ma, a

    Add to Reading List

    Source URL: micro.seas.harvard.edu

    Language: English - Date: 2013-11-15 16:01:03
      53

      BRICS Basic Research in Computer Science BRICS RSJ. Srba: Note on the Tableau Technique for Commutative Transition Systems Note on the Tableau Technique for

      Add to Reading List

      Source URL: www.brics.dk

      Language: English - Date: 2002-01-11 08:42:18
        54

        BRICS Basic Research in Computer Science BRICS RSJ. G. Henriksen: An Expressive Extension of TLC An Expressive Extension of TLC

        Add to Reading List

        Source URL: www.brics.dk

        Language: English - Date: 1999-09-30 05:30:10
          55

          nummer: GA betreft: [klager] datum: 23 augustus 2010

          Add to Reading List

          Source URL: www.rsj.nl

          Language: Dutch - Date: 2014-12-04 11:23:29
            56

            BRICS Basic Research in Computer Science BRICS RSJ. M. Byskov: Chromatic Number in Time O(2.4023n)

            Add to Reading List

            Source URL: www.brics.dk

            Language: English - Date: 2003-01-07 09:31:11
              57

              BRICS RSJ. Iversen: Type Checking Semantic Functions in ASDF BRICS Basic Research in Computer Science

              Add to Reading List

              Source URL: www.brics.dk

              Language: English - Date: 2005-03-22 04:48:37
                58

                BRICS Basic Research in Computer Science BRICS RSJ. Srba: Complexity of Weak Bisimilarity and Regularity for BPA and BPP Complexity of Weak Bisimilarity and

                Add to Reading List

                Source URL: www.brics.dk

                Language: English - Date: 2000-06-28 08:27:41
                  59

                  BRICS Basic Research in Computer Science BRICS RSJ. Pagter: Ajtai, Branching Programs and the Hamming Distance Problem On Ajtai’s Lower Bound Technique for

                  Add to Reading List

                  Source URL: www.brics.dk

                  Language: English - Date: 2000-09-12 04:14:47
                    60Youth / British Youth Council / Human development

                    BRITISH YOUTH COUNCIL Minutes BYC Board, 31st August 2013 Trustees Present: Dan Derricott (DD); Marc Kidson (MK); Chair: Rosina St. James (RSJ); Francesca Danmole (FD); Josh Snape (JS) Carl Konadu (CK). Mita Desai (MD);

                    Add to Reading List

                    Source URL: www.byc.org.uk

                    Language: English - Date: 2014-06-20 09:49:29
                    UPDATE