Sandrine

Results: 309



#Item
41Sandrine ROUSSEAUX. Lille.

Sandrine ROUSSEAUX. Lille.

Add to Reading List

Source URL: edbsl.univ-lille2.fr

Language: French - Date: 2012-11-08 04:26:31
    42CL169 IMMIGRATION, INTÉGRATION ET NATIONALITÉ (2400) AMENDEMENT Présenté par Mme Sandrine Mazetier, MM. Serge Blisko, Christophe Caresche, Mmes Pascale Crozon, Michèle Delaunay, M. Jean-Pierre Dufau, Mme Aurélie Fi

    CL169 IMMIGRATION, INTÉGRATION ET NATIONALITÉ (2400) AMENDEMENT Présenté par Mme Sandrine Mazetier, MM. Serge Blisko, Christophe Caresche, Mmes Pascale Crozon, Michèle Delaunay, M. Jean-Pierre Dufau, Mme Aurélie Fi

    Add to Reading List

    Source URL: www.fasti.org

    Language: French - Date: 2013-01-24 09:54:34
      43Annuaire des praticiens en neurofeedback Sandrine ADRASSE Pole médical « les champs Alizés » - 14 bd des sportsBAILLY ROMAINVILLIERS

      Annuaire des praticiens en neurofeedback Sandrine ADRASSE Pole médical « les champs Alizés » - 14 bd des sportsBAILLY ROMAINVILLIERS

      Add to Reading List

      Source URL: www.afpn.eu

      Language: French - Date: 2015-09-14 12:03:02
        44Biodiversity Sampling Using a Global Acoustic Approach: Contrasting Sites with Microendemics in New Caledonia Amandine Gasc1,2*, Je´roˆme Sueur1, Sandrine Pavoine2,3, Roseli Pellens1, Philippe Grandcolas1 1 De´parteme

        Biodiversity Sampling Using a Global Acoustic Approach: Contrasting Sites with Microendemics in New Caledonia Amandine Gasc1,2*, Je´roˆme Sueur1, Sandrine Pavoine2,3, Roseli Pellens1, Philippe Grandcolas1 1 De´parteme

        Add to Reading List

        Source URL: sueur.jerome.perso.neuf.fr

        Language: English - Date: 2015-06-22 07:20:24
          45Improving Static Analyses of C Programs with Conditional Predicates Sandrine Blazy David Bühler

          Improving Static Analyses of C Programs with Conditional Predicates Sandrine Blazy David Bühler

          Add to Reading List

          Source URL: www.lri.fr

          Language: English - Date: 2014-10-21 15:37:44
            46Formal Verification of Coalescing Graph-Coloring Register Allocation Sandrine Blazy1 , Benoˆıt Robillard2 , and Andrew W. Appel3 1 IRISA - Universit´e Rennes 1

            Formal Verification of Coalescing Graph-Coloring Register Allocation Sandrine Blazy1 , Benoˆıt Robillard2 , and Andrew W. Appel3 1 IRISA - Universit´e Rennes 1

            Add to Reading List

            Source URL: www.irisa.fr

            Language: English - Date: 2010-05-06 09:01:52
              47Formal verification of a C compiler front-end Sandrine Blazy, Zaynah Dargaye, and Xavier Leroy INRIA RocquencourtLe Chesnay, France {Sandrine.Blazy, Zaynah.Dargaye, Xavier.Leroy}@inria.fr

              Formal verification of a C compiler front-end Sandrine Blazy, Zaynah Dargaye, and Xavier Leroy INRIA RocquencourtLe Chesnay, France {Sandrine.Blazy, Zaynah.Dargaye, Xavier.Leroy}@inria.fr

              Add to Reading List

              Source URL: www.irisa.fr

              Language: English - Date: 2010-05-06 09:13:37
                48Separation Logic for Small-step Cminor Andrew W. Appel1,⋆ and Sandrine Blazy2,⋆ 1 Princeton University 2

                Separation Logic for Small-step Cminor Andrew W. Appel1,⋆ and Sandrine Blazy2,⋆ 1 Princeton University 2

                Add to Reading List

                Source URL: www.cs.princeton.edu

                Language: English - Date: 2007-06-09 21:39:12
                  49J Autom Reasoning:263–288 DOIs10817Mechanized Semantics for the Clight Subset of the C Language Sandrine Blazy · Xavier Leroy

                  J Autom Reasoning:263–288 DOIs10817Mechanized Semantics for the Clight Subset of the C Language Sandrine Blazy · Xavier Leroy

                  Add to Reading List

                  Source URL: www.irisa.fr

                  Language: English - Date: 2010-05-06 09:03:16
                    50Chapter 1 Global estimation of animal diversity using automatic acoustic sensors Jérôme Sueur, Amandine Gasc, Philippe Grandcolas, Sandrine Pavoine

                    Chapter 1 Global estimation of animal diversity using automatic acoustic sensors Jérôme Sueur, Amandine Gasc, Philippe Grandcolas, Sandrine Pavoine

                    Add to Reading List

                    Source URL: sueur.jerome.perso.neuf.fr

                    Language: English - Date: 2015-06-22 07:20:35