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 « Rhénanie-du-Nord-Westphalie »
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.
Rhénanie-Palatinat < Rhénanie-du-Nord-Westphalie < Rhône-Alpes  Facettes :

List of bibliographic references indexed by Rhénanie-du-Nord-Westphalie

Number of relevant bibliographic references: 39.
[20-40] [0 - 20][0 - 39]
Ident.Authors (with country if any)Title
00A903 (1999) Stephan Kepser [Allemagne] ; Jörn Richts [Allemagne]UniMoK: A System for Combining Equational Unification Algorithms
00A913 (1999) Bernhard Westfechtel [Allemagne]Tool Integration
00A948 (1999) Bernhard Westfechtel [Allemagne]Process Management
00A986 (1999) Bernhard Westfechtel [Allemagne]Introduction
00AA15 (1999) Franz Baader [Allemagne] ; Cesare Tinelli [États-Unis]Deciding the Word Problem in the Union of Equational Theories Sharing Constructors
00AA47 (1999) Bernhard Westfechtel [Allemagne]Activity Management
00B332 (1998) Wolfgang Deiters [Allemagne] ; Volker Gruhn [Allemagne]Process Management in Practice Applying the FUNSOFT Net Approach to Large-Scale Processes
00BC86 (1997) Klaus Pohl [Allemagne] ; Klaus Weidenhaupt [Allemagne]A contextual approach for process-integrated tools
00CD64 (1994) Wilfried Buchholz [Allemagne] ; Adam Cichon [France] ; Andreas Weiermann [Allemagne]A Uniform Approach to Fundamental Sequences and Hierarchies
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
00D644 (1992) Gernot Starke [Allemagne] ; Michael Von Der Beeck [Allemagne]SA/CM/IM for process modelling
00DE40 (1990) Mario Castellucci [Allemagne] ; Peter Kaufmann [Allemagne] ; Paul Bischof [Suisse]Extracellular matrix influences hormone and protein production by human chorionic villi
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
7Bernhard Westfechtel
5Volker Gruhn
4Harald Ganzinger
4Jürgen Giesl
3Peter Schneider-Kamp
3Wilhelm Sch Fer
2Andrey Timofeev
2Ansgar Schleicher
2Arjen K. Lenstra
2Dag Arne Osvik
2Dirk J Ger
2Emmanuel Thomé
2Jens Franke
2Joppe W. Bos
2Kazumaro Aoki
2Peter L. Montgomery
2René Thiemann
2Szilárd Vajda
2Thorsten Kleinjung
2Wolfgang Deiters
2Yves Rangoni
1A K Shukla
1Aart Middeldorp
1Abdel Belaïd
1Abdet Belaïd
1Adam Cichon
1Alexander Bockmayr
1Alexander Kruppa
1Alfred Bröckers
1Andreas Weiermann
1Carsten Fuhs
1Cesare Tinelli
1Christian Schmitt
1David Goldsmith
1Ernst Althaus
1Franz Baader
1Gaudry
1Gernot Starke
1Heinz Stockinger
1Herman Te Riele
1Hubert Bertling
1J-M Dubois
1J. Ledieu
1Jean-Yves Marion
1Jim Welsh
1Jörn Richts
1Jürgen Floege
1Klaus Pohl
1Klaus Weidenhaupt
1Kurt Mehlhorn
1Leon J. Schurgers
1M. Feuerbacher
1M. Heggen
1Marc Vervloet
1Mario Castellucci
1Mario Cozzolino
1Markus Heller
1Matthias Elf
1Michael Codish
1Michael Jünger
1Michael Parting
1Michael Von Der Beeck
1Michela Thiémard
1Mélanie Uth
1O. Grning
1Pablo Ure A-Torres
1Pascal Jermini
1Paul Bischof
1Paul Leyland
1Paul Zimmermann
1Peter Kaufmann
1Pierrick Gaudry
1Pieter Evenepoel
1R. Addou
1R. Widmer
1Rafael Kramann
1Renate Sch Fers
1René Wörzberger
1S. Alarcn Villaseca
1Sandro Mazzaferro
1Scott Contini
1Simon Becker
1Smeeta Sinha
1Stephan Kepser
1Stephan Swiderski
1Th Deniozou
1Thomas Heer
1Thomas Kasper
1Thomas Schwentick
1Ursula Wellen
1V. Fourne
1Vicens Torregrosa
1Vincent M. Brandenburg
1Wilfried Buchholz
1Wolfgang Emmerich
1Wolfgang Thomas
1Ziad Massy

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 "Rhénanie-du-Nord-Westphalie" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffRegion.i  \
                -Sk "Rhénanie-du-Nord-Westphalie" \
         | 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é=    Rhénanie-du-Nord-Westphalie
}}
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