Laure

Results: 631



#Item
161

Nom : Prénom : Nom : Prénom : Questions sur le cours 5

Add to Reading List

Source URL: laure.gonnord.org

Language: French - Date: 2012-10-16 09:51:19
    162

    Département IMA / 3A (S5) Programmation Structuréehttp://laure.gonnord.org/pro/teaching/

    Add to Reading List

    Source URL: laure.gonnord.org

    Language: French - Date: 2012-11-16 09:22:07
      163

      PCSI 842, 2003 TP Maple - 3 Les 5 et 12 Juin 2003 

      Add to Reading List

      Source URL: laure.gonnord.org

      Language: French - Date: 2009-09-14 13:23:32
        164

        Combining Widening and Acceleration in Linear Relation Analysis Laure Gonnord, Nicolas Halbwachs VERIMAG/CNRS Grenoble, France

        Add to Reading List

        Source URL: laure.gonnord.org

        Language: English - Date: 2009-09-14 13:24:05
          165

          January 13-17, 2014 Computer Science Department, Research school ER02 Contact : Programming Embedded Systems with synchronous langages Summary

          Add to Reading List

          Source URL: laure.gonnord.org

          Language: English - Date: 2014-01-15 03:54:33
            166

            Département IMA / 4A (S8) Laure Gonnord et Julien Forget http://laure.gonnord.org/pro/

            Add to Reading List

            Source URL: laure.gonnord.org

            Language: French - Date: 2011-03-27 06:31:48
              167

              Julien F ORGET - Associate Professor Universite´ Lille 1 Been to the other side: 5 years as a Research Engineer At Esterel-Technologies (industry); At INRIA-Rocquencourt.

              Add to Reading List

              Source URL: laure.gonnord.org

              - Date: 2014-01-17 03:27:20
                168

                Département IMA / 3A (S6) Structures de Données Évaluation de TP sur Machine - Structures de Données en C

                Add to Reading List

                Source URL: laure.gonnord.org

                Language: French - Date: 2011-01-12 12:02:10
                  169

                  Département IMA / 3A (S5) Programmation Structuréehttp://laure.gonnord.org/pro/teaching/

                  Add to Reading List

                  Source URL: laure.gonnord.org

                  Language: French - Date: 2012-10-08 13:19:46
                    170

                    Cell morphing: from array programs to array-free Horn clauses David Monniaux, Laure Gonnord To cite this version: David Monniaux, Laure Gonnord. Cell morphing: from array programs to array-free Horn clauses.

                    Add to Reading List

                    Source URL: hal.archives-ouvertes.fr

                    Language: English - Date: 2018-08-05 11:58:23
                      UPDATE