ISSN
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « ISSN » - entrée « 0752-4072 »
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.
0750-7658 < 0752-4072 < 0753-9053  Facettes :

List of bibliographic references indexed by 0752-4072

Number of relevant bibliographic references: 106.
[20-40] [0 - 20][0 - 50][40-60]
Ident.Authors (with country if any)Title
003863 (2009) Jérôme François [France] ; Radu State [France] ; Olivier Festor [France]Botnets IRC et P2P pour une supervision à large échelle
003B53 (2009) Tchimou N'Takpe [France]Heuristiques d'ordonnancement en deux étapes de graphes de tâches parallèles
004262 (2008) Jérémie Detrey [France] ; Florent De Dinechin [France]Fonctions élémentaires en virgule flottante pour les accélérateurs reconfigurables
004266 (2008) Arnaud Lanoix [France] ; Samuel Colin [France] ; Jeanine Souquières [France]Développement formel par composants
004B04 (2007) Houda Anoun [France]Une bibliothèque Coq pour le traitement des langues naturelles
004B06 (2007) Rim Bentebibel [France]Un système de RàPC pour l’aménagement routier
004B09 (2007) Yves Bontemps [Belgique] ; Germain Saval [Belgique] ; Pierre-Yves Schobbens [Belgique] ; Patrick Heymans [Belgique]Synthèse de diagrammes d’états par classe à partir de diagrammes de séquence
004B11 (2007) Damien Magoni [France] ; Pascal Lorenz [France]Répartition d’états multipoints par utilisation des plus courts chemins multiples
004B33 (2007) Jeanine Souquières [France]Editorial
004B42 (2007) Elise Garrot [France]Assistance au tuteur
004B43 (2007) Grégory Batt [France] ; Hidde De Jong [France] ; Johannes Geiselmann [France] ; Jean-Luc Gouzé [France] ; Michel Page [France] ; Delphine Ropers [France] ; Tewfik Sari [France] ; Dominique Schneider [France]Analyse qualitative de la dynamique de réseaux de régulation génique par des modèles linéaires par morceaux
004D38 (2007) Approches formelles pour le développement de logiciels : AFADL 2006
004D39 (2007) Jean-Marc Mota [France] ; Catherine Dubois [France]Raffinement de modèles topologiques en B événementiel : Des droites aux 2-G-cartes
004D40 (2007) Didier Bert [France] ; Héctor Ruiz Barradas [France, Mexique]Propriétés de vivacité dans les systèmes B : Application à l'algorithme de Ricart-Agrawala
004D44 (2007) Akram Idani [France] ; Yves Ledru [France] ; Didier Bert [France]Approche formelle pour la dérivation de vues structurelles UML à partir de développements B : Formalisation, preuve et extension pour la prise en compte des raffinements B
005320 (2006) Fabrice Jumel [France] ; Nicolas Navet [France] ; Françoise Simonot-Lion [France]Impact de choix d’implantation sur les performances d’une application de contrôle-commande
005328 (2006) Jacques Julliand [France] ; Jeanine Souquières [France]Editorial
005567 (2006) Approches formelles dans l'assistance au développement de logiciels
006121 (2005) Véronique Cortier [France]Vérifier les protocoles cryptographiques
006123 (2005) Julien Cohen [France]Typage des collections topologiques hétérogènes et des transformations
006124 (2005) Engelbert Mephu Nguifo [France] ; Patrick NjiwouaTreillis de concepts et classification supervisée

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/ISSN.i -k "0752-4072" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/ISSN.i  \
                -Sk "0752-4072" \
         | 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=    ISSN.i
   |clé=    0752-4072
}}
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