ISR

Results: 1850



#Item
131

This article was downloaded by: [Edinburgh Napier University] On: 06 May 2013, At: 06:22 Publisher: Routledge Informa Ltd Registered in England and Wales Registered Number: Registered office: Mortimer House, 37-4

Add to Reading List

Source URL: www.isr.tecnico.ulisboa.pt

Language: English - Date: 2018-02-07 04:35:52
    132

    Commutation Proposal for a Course in the Advanced Track of ISR 2017 Julian Nagele Vincent van Oostrom

    Add to Reading List

    Source URL: www.win.tue.nl

    - Date: 2017-01-31 08:43:30
      133

      The industry-leading UAS that invented the agile ISR category. Mission-Ready Search and Rescue

      Add to Reading List

      Source URL: insitu.com

      - Date: 2017-04-20 18:03:28
        134

        ISR 2017 Advanced Course Proving Program Termination via Term Rewriting Carsten Fuhs http://www.dcs.bbk.ac.uk/~carsten/ —Abstract—

        Add to Reading List

        Source URL: www.win.tue.nl

        - Date: 2017-03-01 07:20:23
          135

          Weighted Automata and Rewriting Proposal for Course in Advanced Track of ISR Johannes Waldmann, HTWK Leipzig 30. November 2016

          Add to Reading List

          Source URL: www.win.tue.nl

          - Date: 2017-02-01 05:01:12
            136

            Formalizing Rewriting in Isabelle A Course in the Advanced Track of ISR 2017, Eindhoven, The Netherlands Christian Sternagel and Ren´e Thiemann February 1, 2017

            Add to Reading List

            Source URL: www.win.tue.nl

            - Date: 2017-02-01 10:34:25
              137

              ISR 2017 Summer School The Complexity of β-Reduction advanced course: The Complexity of β-Reduction Teacher

              Add to Reading List

              Source URL: www.win.tue.nl

              - Date: 2017-02-01 06:10:04
                138

                ISR 2017 Practical Information Locations The Zwarte Doos (ZD) is the restaurant on campus. In the building Metaforum we use the following rooms:

                Add to Reading List

                Source URL: www.win.tue.nl

                - Date: 2017-09-03 08:07:26
                  139

                  ISR 2017 Feedback Form Best Poster Award Please fill in at most one Feedback Form per participant before Wednesday July 5 at 11.00, with constructive and positive feedback on all posters, and an ordered preference of at

                  Add to Reading List

                  Source URL: www.win.tue.nl

                  - Date: 2017-09-03 08:07:26
                    140

                    Microsoft Word - acquisti-ISR-worth.doc

                    Add to Reading List

                    Source URL: www.heinz.cmu.edu

                    - Date: 2011-08-25 20:22:49
                      UPDATE