AffRegion.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « AffRegion.i » - entrée « District d'Arnsberg »
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.
Delaware < District d'Arnsberg < District de Basse-Franconie  Facettes :

List of bibliographic references indexed by District d'Arnsberg

Number of relevant bibliographic references: 14.
Ident.Authors (with country if any)Title
001D84 (2012) Jean-Yves Marion [France] ; Thomas Schwentick [Allemagne, États-Unis]Theoretical Aspects of Computer Science
001E91 (2012) Yves Rangoni [France] ; Abdet Belaïd [France] ; Szilárd Vajda [Allemagne]Labelling logical structures of document images using a dynamic perceptive neural network
002673 (2011) Yves Rangoni [France] ; Abdel Belaïd [France] ; Szilárd Vajda [Allemagne, États-Unis]Labelling logical structures of document images using a dynamic perceptive neural network
008762 (2002) Volker Gruhn [Allemagne]Process-Centered Software Engineering Environments, A Brief History and Future Challenges
009309 (2001) Volker Gruhn [Allemagne] ; Ursula Wellen [Allemagne]Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models
00B332 (1998) Wolfgang Deiters [Allemagne] ; Volker Gruhn [Allemagne]Process Management in Practice Applying the FUNSOFT Net Approach to Large-Scale Processes
00D211 (1993) Alfred Bröckers [Allemagne] ; Volker Gruhn [Allemagne]Computer-aided verification of software process model properties
00D634 (1992) Wolfgang Emmerich [Allemagne] ; Wilhelm Sch Fer [Allemagne] ; Jim Welsh [Australie]Suitable databases for process-centred environments do not yet exist
00D641 (1992) Wilhelm Sch Fer [Allemagne]Session introduction
00E038 (1989) Wolfgang Deiters [Allemagne] ; Volker Gruhn [Allemagne] ; Wilhelm Sch Fer [Allemagne]Systematic development of formal software process models
00E046 (1989) Harald Ganzinger [Allemagne]Order-sorted completion: The many-sorted way
00E366 (1988) Harald Ganzinger [Allemagne]Completion with history-dependent complexities for generated equations
00E370 (1988) Hubert Bertling [Allemagne] ; Harald Ganzinger [Allemagne] ; Renate Sch Fers [Allemagne]CEC: A system for the completion of conditional equational specifications
00E614 (1987) Harald Ganzinger [Allemagne]Ground term confluence in parametric conditional equational specifications

List of associated Author.i

Nombre de
documents		Descripteur
5Volker Gruhn
4Harald Ganzinger
3Wilhelm Sch Fer
2Szilárd Vajda
2Wolfgang Deiters
2Yves Rangoni
1Abdel Belaïd
1Abdet Belaïd
1Alfred Bröckers
1Hubert Bertling
1Jean-Yves Marion
1Jim Welsh
1Renate Sch Fers
1Thomas Schwentick
1Ursula Wellen
1Wolfgang Emmerich

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/AffRegion.i -k "District d'Arnsberg" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffRegion.i  \
                -Sk "District d'Arnsberg" \
         | 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=    AffRegion.i
   |clé=    District d'Arnsberg
}}
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