FC03.fr.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

Index « FC03.fr.i » - entrée « Normalisation »
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.
Nonholonomic vehicles < Normalisation < Normalisation canal  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 13.
Ident.Authors (with country if any)Title
000044 (2013) Pakawat Pupatwibul [Australie] ; Ameen Banjar [Australie] ; Robin Braun [Australie]Using DAIM as a Reactive Interpreter for OpenFlow Networks to Enable Autonomic Functionality
000069 (2013) K. Joost Batenburg [Pays-Bas, Belgique] ; Willem Jan Palenstijn [Belgique] ; Peter Balazs [Hongrie] ; Jan Sijbers [Belgique]Dynamic angle selection in binary tomography
000090 (2012) Faten Chaieb [Tunisie] ; Khaled Mammou [France] ; Christophe Dehais [France]Norme MPEG pour la compression multirésolution de maillages tridimensionnels
000300 (2007) Laurent Fousse [France] ; Guillaume Hanrot [France] ; Vincent Lefevre [France] ; Patrick Pelissier [France] ; Paul Zimmermann Loria [France]MPFR : A multiple-precision binary floating-point library with correct rounding
000342 (2006) Olivier Chevassut [États-Unis] ; Pierre-Alain Fouque [France] ; Pierrick Gaudry [France] ; David Pointcheval [France]The Twist-AUgmented Technique for Key Exchange
000428 (2005) Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France]Un système d'analyse de la qualité : de la norme au produit en passant par le raffinement
000496 (2005) Jean-Pierre Thomesse [France]Fieldbus trechnology in industrial automation
000786 (2002) Philippe De Groote [France]On the strong normalisation of intuitionistic natural deduction with permutation-conversions
000880 (2001) Philippe De Groote [France]Strong normalization of classical natural deduction with disjunction
000941 (2000) S. Jolibois [France] ; E. Nauer [France] ; D. Chouaniere [France] ; M. Mouze-Amad [France] ; F. Grandjean [France] ; J. Ducloy [France]La gestion informatisée de corpus bibliographiques : Adaptation des normes et formats documentaires
000B54 (1998) I. Illina [France] ; M. Afify [France] ; Y. Gong [États-Unis]Environment normalization training and environment adaptation using mixture stochastic trajectory model
000B72 (1998) P.-E. Moreau [France] ; H. Kirchner [France]A compiler for rewrite programs in associative-commutative theories
000D42 (1994) D. Galmiche [France] ; G. PerrierOn proof normalization in linear logic

List of associated Author.i

Nombre de
documents		Descripteur
2Philippe De Groote
1Ameen Banjar
1Christophe Dehais
1Cyril Proch
1D. Chouaniere
1D. Galmiche
1David Pointcheval
1Dominique Cansell
1Dominique Méry
1E. Nauer
1F. Grandjean
1Faten Chaieb
1G. Perrier
1Guillaume Hanrot
1H. Kirchner
1I. Illina
1J. Ducloy
1Jan Sijbers
1Jean-Pierre Thomesse
1K. Joost Batenburg
1Khaled Mammou
1Laurent Fousse
1M. Afify
1M. Mouze-Amad
1Olivier Chevassut
1P.-E. Moreau
1Pakawat Pupatwibul
1Patrick Pelissier
1Paul Zimmermann Loria
1Peter Balazs
1Pierre-Alain Fouque
1Pierrick Gaudry
1Robin Braun
1S. Jolibois
1Vincent Lefevre
1Willem Jan Palenstijn
1Y. Gong

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i -k "Normalisation" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Normalisation" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    FC03.fr.i
   |clé=    Normalisation
}}
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