Sweden

Results: 15192



#Item
231

Reducing Behavioural to Structural Properties of Programs with Procedures Dilian Gurov1? and Marieke Huisman2?? 1 Royal Institute of Technology, Stockholm, Sweden

Add to Reading List

Source URL: www.csc.kth.se

- Date: 2009-01-15 09:20:35
    232

    The Self, Presence and Storytelling Thomas Grip Frictional Games, Helsingborg, Sweden thomas frictionalgames com (please fill in blanks yourself) Last updated: 10 September 2012

    Add to Reading List

    Source URL: unbirthgame.com

    - Date: 2012-09-11 02:30:25
      233

      Reducing Behavioural to Structural Properties of Programs with Procedures Dilian Gurov1? and Marieke Huisman2?? 1 Royal Institute of Technology, Stockholm, Sweden

      Add to Reading List

      Source URL: www.nada.kth.se

      - Date: 2011-09-12 13:20:21
        234

        Next Generation Decision Support Systems for Farmers: Sustainable Agriculture through Sustainable IT Jessica Lindblom1, Christina Lundström2 and Magnus Ljung3 1 Interaction Lab, University of Skövde, Sweden

        Add to Reading List

        Source URL: his.diva-portal.org

        - Date: 2016-04-05 04:33:01
          235

          Reducing Behavioural to Structural Control flow-based Properties of Sequential Programs with Procedures Dilian Gurov KTH Stockholm, Sweden Joint work with:

          Add to Reading List

          Source URL: www.nada.kth.se

          - Date: 2011-09-12 13:20:21
            236

            Curriculum Vitae Daniel Halan, M. Sc. Stockholm, Sweden Work internationally

            Add to Reading List

            Source URL: halan.blob.core.windows.net

            - Date: 2014-12-23 13:56:02
              237

              ProMoVer: Modular Verification of Temporal Safety Properties Siavash Soleimanifard1 , Dilian Gurov1 , and Marieke Huisman2 1 Royal Institute of Technology, Stockholm, Sweden

              Add to Reading List

              Source URL: www.nada.kth.se

              - Date: 2011-09-12 13:20:21
                238

                CERTIFICATE The management system of ConEra AB Göteborg, Stockholm, Karlstad Sweden fulfils the requirements of

                Add to Reading List

                Source URL: www.conera.se

                - Date: 2016-03-07 03:11:30
                  239

                  Luma HDRv: an open source high dynamic range video codec optimized by large-scale testing Gabriel Eilertsen1 1 Link¨oping University, Sweden 80

                  Add to Reading List

                  Source URL: vcl.itn.liu.se

                  - Date: 2016-06-02 09:30:49
                    240

                    NATIONAL CONTACT POINT SWEDEN PRESS RELEASE 24 August 2016

                    Add to Reading List

                    Source URL: nettsteder.regjeringen.no

                    - Date: 2016-08-24 07:54:58
                      UPDATE