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

Index « Teeft.i » - entrée « International workshop »
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.
International word processing exhibition < International workshop < Internationalassociationfor pattern recognitionwill  Facettes :

List of bibliographic references indexed by International workshop

Number of relevant bibliographic references: 36.
[0-20] [0 - 20][0 - 36][20-35][20-40]
Ident.Authors (with country if any)Title
005345 (2006) V. Cridlig [France] ; H. Abdelnur [France] ; R. State [France] ; O. Festor [France]XBGP‐MAN: an XML management architecture for BGP
006235 (2005) Remi Badonnel ; Radu State ; Olivier Festor [France]Management of mobile ad hoc networks: information model and probe‐based architecture
009262 (2001) H. Cirstea [France] ; K. Kirchner [France]The rewriting calculus - part I
009268 (2001) Alessandro Armando [Italie] ; Alessandro Coglio [États-Unis] ; Fausto Giunchiglia [Italie] ; Silvio Ranise [Italie]The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics
009D07 (2000) Hélène Kirchner [France] ; Isabelle Gnaedig [France]Termination and normalisation under strategy Proofs in ELAN
009D51 (2000) Peter Borovansk ; Claude Kirchner ; Hélène Kirchner ; Pierre-Etienne Moreau ; Marian VittekELAN
009D69 (2000) Hélène Kirchner [France] ; Pierre-Etienne Moreau [France]A reflective extension of ELAN
00A825 (1999) David A. Plaisted [États-Unis] ; Gregory Kucherov [États-Unis, France]The complexity of some complementation problems
00A826 (1999) R. Dssouli [Canada] ; K. Saleh [Koweït] ; E. Aboulhamid [Canada] ; A. En-Nouaary [Canada] ; C. Bourhfir [Canada]Test development for communication protocols: towards automation
00A832 (1999) Mark Van Den Brand ; Rakesh VermaPreface
00A834 (1999) Maria Paola Bonacina ; Bernhard GramlichPreface
00B236 (1998) Claude Kirchner ; Hélène KirchnerPreface
00BB43 (1997) Calendar
00BB45 (1997) Calendar
00BB46 (1997) Calendar38
00BB47 (1997) Calendar11
00BB48 (1997) Calendar11
00BB49 (1997) Calendar of meetings
00BB51 (1997) Calendar of meetings
00BC74 (1997) Gilles Richard ; Fre De Ric SaubionAnswer Synthesis for CLP Programs with Negation
00BF44 (1996) News

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/Teeft.i -k "International workshop" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Teeft.i  \
                -Sk "International workshop" \
         | 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=    Teeft.i
   |clé=    International workshop
}}

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