AffRegion.i
Checkpoint
Istex
Racine
Checkpoint
Istex
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (Istex)

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

Number of relevant bibliographic references: 37.
[0-20] [0 - 20][0 - 37][20-36][20-40]
Ident.Authors (with country if any)Title
000334 (2012) Mélanie Uth [Allemagne]L’évolution diachronique des suffixes –ment et –(ai)son et la question de la correspondance vernaculaire de –(at)ion
000373 (2012) Jean-Yves Marion [France] ; Thomas Schwentick [Allemagne, États-Unis]Theoretical Aspects of Computer Science
000464 (2011) R. Addou [France] ; A K Shukla [France] ; S. Alarcn Villaseca [France] ; Gaudry [France] ; Th Deniozou [France] ; M. Heggen [Allemagne] ; M. Feuerbacher [Allemagne] ; R. Widmer [Suisse] ; O. Grning [Suisse] ; V. Fourne [France] ; J-M Dubois [France] ; J. Ledieu [France]Lead adsorption on the Al13Co4(100) surface: heterogeneous nucleation and pseudomorphic growth
000547 (2011) Carsten Fuhs [Allemagne] ; Jürgen Giesl [Allemagne] ; Michael Parting [Allemagne] ; Peter Schneider-Kamp [Danemark] ; Stephan Swiderski [Allemagne]Proving Termination by Dependency Pairs and Inductive Theorem Proving
000573 (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
000771 (2010) Thomas Heer [Allemagne] ; Markus Heller [Allemagne] ; Bernhard Westfechtel [Allemagne] ; René Wörzberger [Allemagne]Tool Support for Dynamic Development Processes
000792 (2010) Michael Codish [Israël] ; Jürgen Giesl [Allemagne] ; Peter Schneider-Kamp [Danemark] ; René Thiemann [Autriche]SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs
000842 (2010) Thorsten Kleinjung [Suisse] ; Kazumaro Aoki [Japon] ; Jens Franke [Allemagne] ; Arjen K. Lenstra [Suisse] ; Emmanuel Thomé [France] ; Joppe W. Bos [Suisse] ; Pierrick Gaudry [France] ; Alexander Kruppa [France] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Dag Arne Osvik [Suisse] ; Herman Te Riele [Pays-Bas] ; Andrey Timofeev [Pays-Bas] ; Paul Zimmermann [France]Factorization of a 768-Bit RSA Modulus
000888 (2010) Thorsten Kleinjung [Suisse] ; Joppe W. Bos [Suisse] ; Arjen K. Lenstra [Suisse] ; Dag Arne Osvik [Suisse] ; Kazumaro Aoki [Japon] ; Scott Contini [Australie] ; Jens Franke [Allemagne] ; Emmanuel Thomé [France] ; Pascal Jermini [Suisse] ; Michela Thiémard [Suisse] ; Paul Leyland [Royaume-Uni] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Andrey Timofeev [Pays-Bas] ; Heinz Stockinger [Suisse]A heterogeneous computing environment to solve the 768-bit RSA challenge
000990 (2009) Wolfgang Thomas [Allemagne]The Reachability Problem over Infinite Graphs
000993 (2009) Christian Schmitt [Allemagne]The French Language and Questions of Identity, Edited by Wendy Ayres-Bennett and Mari C. Jones
001653 (2004) Jürgen Giesl [Allemagne] ; Aart Middeldorp [Japon, Allemagne]Transformation techniques for context-sensitive rewrite systems
001797 (2004) René Thiemann [Allemagne] ; Jürgen Giesl [Allemagne] ; Peter Schneider-Kamp [Allemagne]Improved Modular Termination Proofs Using Dependency Pairs
001B84 (2002) Ernst Althaus [États-Unis] ; Alexander Bockmayr [France] ; Matthias Elf [Allemagne] ; Michael Jünger [Allemagne] ; Thomas Kasper [Allemagne] ; Kurt Mehlhorn [Allemagne]SCIL — Symbolic Constraints in Integer Linear Programming
001B98 (2002) Volker Gruhn [Allemagne]Process-Centered Software Engineering Environments, A Brief History and Future Challenges
001E51 (2001) Volker Gruhn [Allemagne] ; Ursula Wellen [Allemagne]Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models
001F45 (2001) Simon Becker [Allemagne] ; Dirk J Ger [Allemagne] ; Ansgar Schleicher [Allemagne] ; Bernhard Westfechtel [Allemagne]A Delegation Based Model for Distributed Software Process Management
002193 (2000) Dirk J Ger [Allemagne] ; Ansgar Schleicher [Allemagne] ; Bernhard Westfechtel [Allemagne]AHEAD: A Graph-Based System for Modeling and Managing Development Processes
002289 (1999) Stephan Kepser [Allemagne] ; Jörn Richts [Allemagne]UniMoK: A System for Combining Equational Unification Algorithms
002299 (1999) Bernhard Westfechtel [Allemagne]Tool Integration
002334 (1999) Bernhard Westfechtel [Allemagne]Process Management

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/AffRegion.i -k "Rhénanie-du-Nord-Westphalie" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/AffRegion.i  \
                -Sk "Rhénanie-du-Nord-Westphalie" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Checkpoint
   |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