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 « Invariant »
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.
Invariance par décalage < Invariant < Invariant comparabilité  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 9.
Ident.Authors (with country if any)Title
000226 (2009) Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France]System-on-chip design by proof-based refinement
000344 (2006) P. Gaudry [France] ; T. Houtmann [France] ; D. Kohel [Australie] ; C. Ritzenthaler [France] ; A. Weng [France]The 2-Adic CM Method for Genus 2 Curves with Application to Cryptography
000381 (2006) Emilie Balland [France] ; Claude Kirchner [France] ; Pierre-Etienne Moreau [France]Formal islands
000416 (2006) S. Tabbone [France] ; L. Wendling [France] ; J.-P. Salmon [France]A new shape descriptor defined on the Radon transform
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
000459 (2005) Jean-Raymond Abrial [Suisse] ; Dominique Cansell [France] ; Dominique Méry [France]Refinement and reachability in Event―B
000662 (2003) Karell Bertet [France] ; Jens Gustedt [France] ; Michel Morvan [France]Weak-order extensions of an order
000966 (2000) S. Adam [France] ; J. M. Ogier [France] ; C. Cariou [France] ; R. Mullot [France] ; J. Labiche [France] ; J. Gardes [France]Symbol and character recognition : application to engineering drawings
000A15 (2000) Pasi Fr Nti [Finlande] ; Alexey Mednonogov [Finlande] ; Ville Kyrki [Finlande] ; Heikki K Lvi Inen [Finlande]Content-based matching of line-drawing images using the Hough transform

List of associated Author.i

Nombre de
documents		Descripteur
3Dominique Cansell
3Dominique Méry
2Cyril Proch
1A. Weng
1Alexey Mednonogov
1C. Cariou
1C. Ritzenthaler
1Claude Kirchner
1D. Kohel
1Emilie Balland
1Heikki K Lvi Inen
1J. Gardes
1J. Labiche
1J. M. Ogier
1J.-P. Salmon
1Jean-Raymond Abrial
1Jens Gustedt
1Karell Bertet
1L. Wendling
1Michel Morvan
1P. Gaudry
1Pasi Fr Nti
1Pierre-Etienne Moreau
1R. Mullot
1S. Adam
1S. Tabbone
1T. Houtmann
1Ville Kyrki

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 "Invariant" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Invariant" \
         | 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é=    Invariant
}}
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