technique < techniques < technologies

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

List of bibliographic references

Number of relevant bibliographic references: 24.
[0-20] [0 - 20][0 - 24][20-23][20-40]

Ident.	Authors (with country if any)	Title
000785 (2010)	Mathias Hülsbusch [Allemagne] ; Barbara König [Allemagne] ; Arend Rensink [Pays-Bas] ; Maria Semenyak [Allemagne] ; Christian Soltenborn [Allemagne] ; Heike Wehrheim [Allemagne]	Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques
000812 (2010)	Christel Baier [Allemagne]	On Model Checking Techniques for Randomized Distributed Systems
000A97 (2009)	Antonio Carrieri [Italie] ; Violeta Pérez-Nueno [Espagne] ; Alessandra Fano ; Carlo Pistone ; David Ritchie [France] ; Jordi Teixid [Espagne]	Biological Profiling of Anti‐HIV Agents and Insight into CCR5 Antagonist Binding Using in silico Techniques
000D40 (2008)	Frédéric Cao [France] ; José-Luis Lisani [Espagne] ; Jean-Michel Morel [France] ; Pablo Musé [Uruguay] ; Frédéric Sur [France]	Securing SIFT with A Contrario Techniques
001204 (2006)	Guiraude Lame [France]	Using NLP Techniques to Identify Legal Ontology Components: Concepts and Relations
001475 (2005)	Guiraude Lame [France]	Using NLP Techniques to Identify Legal Ontology Components: Concepts and Relations
002175 (2000)	Ricardo Caferra [France] ; Nicolas Peltier	Combining Enumeration and Deductive Techniques in order to Increase the Class of Constructible Infinite Models
002560 (1998)	Jean-Claude Derniame [France]	Promoter 2 process modeling techniques
002601 (1998)	Malek Mouhoub [France] ; Francois Charpillet [France] ; Jean Paul Haton [France]	Experimental Analysis of Numeric and Symbolic Constraint Satisfaction Techniques for Temporal Reasoning
002745 (1997)	E. Levrat [France] ; A. Voisin [France] ; S. Bombardier [France] ; J. Brémont [France]	Subjective evaluation of car seat comfort with fuzzy set techniques
002C16 (1995)	Nancy Lynch [États-Unis] ; Roberto Segala [États-Unis]	A comparison of simulation techniques and algebraic techniques for verifying concurrent systems
002C84 (1994)	Jean-Pierre Jouannaud [France]	Rewriting techniques for software engineering
002D25 (1994)	Eric Domenjoud [France] ; Francis Klay [France] ; Christophe Ringeissen [France]	Combination techniques for non-disjoint equational theories
003010 (1992)	Maryse Bourdon [États-Unis]	Impact of the supported coordination levels on process modelling techniques
003113 (1991)	J. Avenhaus [Allemagne]	Proving equational and inductive theorems by completion and embedding techniques
003147 (1991)	Y. Sun ; M. Haton ; B. Devin	ChemInform Abstract: Intergrating Theorem Proving and Partial Evaluation Techniques for Organic Synthesis and Teaching
003262 (1990)	Dominique Gaïti [France] ; Ilham Rahali [France]	Applying Artificial Intelligence Techniques to the Management of Heterogeneous Networks
003442 (1988)	Hans Wackernagel [France]	Geostatistical Techniques for Interpreting Multivariate Spatial Information
003447 (1988)	Pierre Lescanne [France]	Current trends in rewriting techniques and related problems
003466 (1988)	Nancy Oyster [États-Unis] ; Fred W. Smith [États-Unis]	A postmortem Correlation of four techniques of assessment of osteoporosis with force of bone compression
003542 (1987)	Pierre Réty [France]	Improving basic narrowing techniques

---

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/Title.i -k "techniques" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i  \
                -Sk "techniques" \
         | 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=    Title.i
   |clé=    techniques
}}

---

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