integrating < integration < integrations

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

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000008 (2006)	Nacer Boudjlida [France] ; Hervé Panetto [France]	Preface
000057 (2001)	Alessandro Armando [Italie] ; Alessandro Coglio [États-Unis] ; Fausto Giunchiglia [Italie] ; Silvio Ranise [Italie]	The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics
000090 (2006)	El Bieta Kasperska [Pologne] ; Elwira Mateja-Losa [Pologne] ; Damian Słota [Pologne]	Comparison of Simulation and Optimization Possibilities for Languages: DYNAMO and COSMIC & COSMOS – on a Base of the Chosen Models
000127 (2000)	Alessandro Armando [Italie] ; Silvio Ranise [Italie]	Termination of Constraint Contextual Rewriting
000200 (1995)	Stéphane Gançarski ; Geneviève Jomier	Gestion des versions d’entités et de leurs contextes : analyse et perspectives
000246 (1987)	Paul Anderson [Royaume-Uni] ; Chris Hankin [Royaume-Uni] ; Paul Kelly [Royaume-Uni] ; Peter Osmon [Royaume-Uni] ; Malcolm Shute [Royaume-Uni]	Cobweb-2: Structured specification of a wafer-scale supercomputer
000263 (1997)	Miki Hermann [France] ; Roman Galbav [France]	Unification of infinite sets of terms schematized by primal grammars
000392 (1986)	J. P. Laborde	Pour une approche géostatistique des coefficients d'abattement des précipitations
000457 (2006)	Florian Kupsch [Allemagne] ; Dirk Werth [Allemagne]	Integrating Business Processes with Peer-to-Peer Technology
000492 (2003)	V. François [Canada] ; J-C. Cuillière [Canada]	An a Priori Adaptive 3D Advancing Front Mesh Generator Integrated to Solid Modeling
000497 (2008)	Sami Bhiri [Irlande (pays)] ; Walid Gaaloul [Irlande (pays)] ; Mohsen Rouached [France] ; Manfred Hauswirth [Irlande (pays)]	Semantic Web Services for Satisfying SOA Requirements
000512 (1996)	O. Neumann [Allemagne] ; S. Sachweh [Allemagne] ; W. Sch Fer [Allemagne]	A high-level object-oriented specification language for configuration management and tool integration
000513 (1989)	Hassan Ait-Kaci [États-Unis] ; Roger Nasr [États-Unis]	Integrating logic and functional programming
000538 (2002)	Petra Hofstedt [Allemagne]	A General Approach for Building Constraint Languages
000543 (2003)	F. Charoy [France] ; C. Godart [France] ; P. Molli [France] ; G. Oster [France] ; M. Patten [France] ; M. Valdes [France]	Services for Virtual Teams Hosting
000544 (2010)	Anton Tarasyuk [Finlande] ; Elena Troubitsyna [Finlande] ; Linas Laibinis [Finlande]	Towards Probabilistic Modelling in Event-B
000550 (1994)	Hans-J. Von Der Hardt [France] ; Philippe Arnould [France] ; Didier Wolf [France] ; Michel Dufaut [France]	A method of mobile robot localisation by fusion of odometric and magnetometric data
000667 (2007)	Laurent Fousse [Niger]	Multiple-Precision Correctly rounded Newton-Cotes quadrature
000681 (2006)	Martin Henkel [Suède] ; Gustav Boström [Suède] ; Jaana W Yrynen [Suède]	Moving from Internal to External Services Using Aspects
000715 (2013)	Adrien Coulet [France] ; Florent Domenach [Chypre (pays)] ; Mehdi Kaytoue [France] ; Amedeo Napoli [France]	Using Pattern Structures for Analyzing Ontology-Based Annotations of Biomedical Data
000723 (2006)	Adrien Coulet [France] ; Malika Smaïl-Tabbone [France] ; Pascale Benlian [France] ; Amedeo Napoli [France] ; Marie-Dominique Devignes [France]	SNP-Converter: An Ontology-Based Solution to Reconcile Heterogeneous SNP Descriptions for Pharmacogenomic Studies

---

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/AbsEn.i -k "integration" 

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

---

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