Nada

Results: 1528



#Item
51

En jämförelse mellan programsammanhållande kurser vid KTH och LiU Fredrik Heintz (LiU), Aseel Berglund (LiU), Björn Hedin (KTH), och Viggo Kann (KTH) Sammanfattning—Programsammanhållande kurser där studenter frå

Add to Reading List

Source URL: www.nada.kth.se

Language: Swedish - Date: 2015-11-07 15:35:10
    52

    Microsoft WordWADA-Liste 2012 mit NADA + BMG_DE - RS.doc

    Add to Reading List

    Source URL: www.dis-sportschiedsgericht.de

    Language: German - Date: 2013-08-22 06:13:34
      53

      Folkets användning av Lexin – en resurs Viggo Kann KTH Nada Stockholm 26 augusti 2004

      Add to Reading List

      Source URL: www.nada.kth.se

      Language: Swedish - Date: 2004-08-25 18:21:48
        54

        5:e Utvecklingskonferensen för Sveriges ingenjörsutbildningar, Uppsala universitet, 18 – 19 november 2015 Lärstrategier på längden och tvären Olle Bälter, Massimiliano Colareti Tosti, Viggo Kann och Maria Svedin

        Add to Reading List

        Source URL: www.nada.kth.se

        Language: Swedish - Date: 2015-11-05 04:15:41
          55

          The Essence of Dependent Object Types? Nada Amin∗ , Samuel Grütter∗ , Martin Odersky∗ , Tiark Rompf † , and Sandro Stucki∗ ∗ †

          Add to Reading List

          Source URL: infoscience.epfl.ch

          - Date: 2016-04-05 07:54:34
            56

            Karl Meinke CSC 1. Overview of the Course This course is about advanced concepts of

            Add to Reading List

            Source URL: www.nada.kth.se

            - Date: 2010-02-25 06:45:35
              57

              3. Type Systems We will consider the problem of type assignment and type checking for the object calculus. Just as we have type-free and typed lambda calculus, so we also have type-free and typed

              Add to Reading List

              Source URL: www.nada.kth.se

              - Date: 2007-05-22 07:13:48
                58

                Lecture  5   Model-­‐Based  Tes2ng   What  is  model-­‐based  tes2ng?   •  Model-­‐based  tes2ng  can  be  conducted  as  part   of  model-­‐based  deve

                Add to Reading List

                Source URL: www.nada.kth.se

                - Date: 2012-01-30 05:30:16
                  59

                    DD2459:  Software  Reliability   Lab  3:  Model-­‐based  Testing  and   Automated  Test-­‐case  Generation    

                  Add to Reading List

                  Source URL: www.nada.kth.se

                  - Date: 2013-02-15 07:54:45
                    60

                    Lecture  4   Requirements  Tes0ng   &    Requirements  Modeling   Topics   •  Why  requirements  tes0ng?  

                    Add to Reading List

                    Source URL: www.nada.kth.se

                    - Date: 2012-01-30 05:29:52
                      UPDATE