Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « AffVille.i » - entrée « Le Chesnay »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Le Bourget-du-lac < Le Chesnay < Le Havre  Facettes :

List of bibliographic references indexed by Le Chesnay

Number of relevant bibliographic references: 17.
Ident.Authors (with country if any)Title
004319 (2008) Frédéric Cazals [France] ; Jean-Charles Faugère [France] ; Marc Pouget [France] ; Fabrice Rouillier [France]Ridges and Umbilics of Polynomial Parametric Surfaces
004C04 (2007) Liliana Cucu [France] ; Nicolas Pernet [France] ; Yves Sorel [France]Periodic real-time scheduling: from deadline-based model to latency-based model
004C11 (2007) Frédéric Blanqui [France] ; Thérèse Hardin [France] ; Pierre Weis [France]On the Implementation of Construction Functions for Non-free Concrete Data Types
008756 (2002) Philippe Duchon [France] ; Philippe Flajolet [France] ; Guy Louchard [Belgique] ; Gilles Schaeffer [France]Random Sampling from Boltzmann Principles
008832 (2002) Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]Binding Logic: Proofs and Models
008894 (2002) Khalid Daoudi [France] ; Jacques Levy Vehel [France]Signal representation and segmentation based on multifractal stationarity
009303 (2001) Cyril Banderier [France] ; Philippe Flajolet [France] ; Gilles Schaeffer [France] ; Michèle Soria [France]Random maps, coalescing saddles, singularity analysis, and Airy phenomena
009402 (2001) Miguel A. Alonso [Espagne] ; Eric De La Clergerie [France] ; Manuel Vilares [Espagne]A Formal Definition of Bottom-Up Embedded Push-Down Automata and Their Tabulation Technique
009E45 (2000) Cyril Banderier [France] ; Philippe Flajolet [France] ; Gilles Schaeffer [France] ; Michéle Soria [France]Planar Maps and Airy Phenomena
009E84 (2000) Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]Higher Order Unification via Explicit Substitutions
009F30 (2000) Gilles Dowek [France]Axioms vs. Rewrite Rules: From Completeness to Cut Elimination
00A992 (1999) Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]HOL-λσ: An Intentional First-Order Expression of Higher-Order Logic
00AA86 (1999) W. Visser [France]Etudes en ergonomie cognitive sur la réutilisation en conception : quelles leçons pour le raisonnement à partir de cas ?
00B247 (1998) Thérèse Hardin [France] ; Luc Maranget [France] ; Bruno Pagano [France]Functional runtime systems within the lambda-sigma calculus
00D234 (1993) Philippe Flajolet [France] ; Paul Zimmermann [France] ; Bernard Van Cutsem [France]A calculus of random generation
00E072 (1989) Annie Despland [France] ; Monique Mazaud [France] ; Raymond Rakotozafy [France]An implementation of retargetable code generators in prolog
00EC45 (1984) Philippe Le Chenadec [France]Canonical Forms in Finitely Presented Algebras

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffVille.i -k "Le Chesnay" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffVille.i  \
                -Sk "Le Chesnay" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    AffVille.i
   |clé=    Le Chesnay
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022