Algérie < Allemagne < Arabie saoudite

Facettes : Author.f AffPays.f AffOrg.f AffRegion.f AffVille.f

List of bibliographic references

Number of relevant bibliographic references: 335.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000055 (2005)	Christophe Chipot [France] ; Xavier Rozanska [France, Allemagne] ; Surjit B. Dixit [France, États-Unis]	Can free energy calculations be fast and accurate at the same time? Binding of low-affinity, non-peptide inhibitors to the SH2 domain of the src protein
000066 (2002)	Robert Giegerich [Allemagne] ; Carsten Meyer [Allemagne]	Algebraic Dynamic Programming
000074 (2005)	Franz Baader [Allemagne] ; Andrei Voronkov [Royaume-Uni]	Ordered Resolution with Selection for $\mathcal{H}(@)$
000076 (2003)	Uwe Berner [Allemagne] ; Thomas Rieger [Allemagne]	A Scalable Avatar for Conversational User Interfaces
000093 (2013)	Riccardo Haupt [Italie] ; Milen Minkov [Autriche] ; Itziar Astigarraga [Espagne] ; Eva Sch Fer [France] ; Vasanta Nanduri [Royaume-Uni] ; Rima Jubran [États-Unis] ; R. Maarten Egeler [Canada] ; Gritta Janka [Allemagne] ; Dragan Micic [Serbie] ; Carlos Rodriguez-Galindo [États-Unis] ; Stefaan Van Gool [Belgique] ; Johannes Visser [Royaume-Uni] ; Sheila Weitzman [Canada] ; Jean Donadieu [France]	Langerhans cell histiocytosis (LCH): Guidelines for diagnosis, clinical work‐up, and treatment for patients till the age of 18 years
000094 (2001)	Franz Baader [Allemagne] ; Klaus U. Schulz [Allemagne]	Combining Constraint Solving
000095 (2003)	Soha Maad [Allemagne]	Universal Access to Multimodal ITV Content: Challenges and Prospects
000101 (1997)	U. Franz [France] ; D. Neuenschwander [Allemagne] ; R. Schott [France, Suisse]	Gauss laws in the sense of Bernstein and uniqueness of embedding into convolution semigroups on quantum groups and braided groups
000102 (2005)	Yann Guermeur [France] ; André Elisseeff [Allemagne] ; Dominique Zelus [Argentine]	A comparative study of multi‐class support vector machines in the unifying framework of large margin classifiers
000123 (1998)	Erica Melis [Allemagne] ; Jean Lieber [France] ; Amedeo Napoli [France]	Reformulation in case-based reasoning
000130 (1999)	Jürgen Giesl [Allemagne] ; Aart Middeldorp [Japon]	Transforming Context-Sensitive Rewrite Systems
000147 (2005)	Moritz Hammer [Allemagne] ; Alexander Knapp [Allemagne] ; Stephan Merz [France]	Truly On-the-Fly LTL Model Checking
000197 (2004)	Maritta Heisel [Allemagne] ; Jeanine Souquières [France]	Adding Features to Component-Based Systems
000205 (2013)	Jasmin Christian Blanchette [Allemagne] ; Andrei Popescu [Allemagne]	Mechanizing the Metatheory of Sledgehammer
000209 (1982)	Bernd Lochschmidt [Allemagne]	Acoustic-Phonetic Analysis Based on an Articulatory Model
000254 (1999)	Friedrich Otto [Allemagne]	On the Connections between Rewriting and Formal Language Theory
000264 (1993)	Thomas Lehmann [Allemagne] ; Jacques Loeckx [Allemagne]	OBSCURE a specification language for abstract data types
000292 (2011)	Tianxiang Lu [Allemagne, France] ; Stephan Merz [France] ; Christoph Weidenbach [Allemagne]	Towards Verification of the Pastry Protocol Using TLA +
000305 (2011)	Michael Vogel [Allemagne] ; Sebastian Schmerl [Allemagne] ; Hartmut König [Allemagne]	Efficient Distributed Signature Analysis
000306 (2006)	Holger Giese [Allemagne] ; Martin Hirsch [Allemagne]	Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML
000325 (2010)	Thomas Heer [Allemagne] ; Markus Heller [Allemagne] ; Bernhard Westfechtel [Allemagne] ; René Wörzberger [Allemagne]	Tool Support for Dynamic Development Processes

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AffPays.i -k "Allemagne" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AffPays.i  \
                -Sk "Allemagne" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Curation
   |type=    indexItem
   |index=    AffPays.i
   |clé=    Allemagne
}}

---

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