Biélorussie < Brésil < Bulgarie

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

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000406 (2006)	David Déharbe [Brésil] ; Pascal Fontaine [France] ; Silvio Ranise [France, Italie] ; Christophe Ringeissen [France]	Decision Procedures for the Formal Analysis of Software
000422 (1978)	A. L. Furtado [Brésil]	Formal aspects of the relational model
000771 (2005)	Gleison Santos [Brésil] ; Karina Villela [Brésil] ; Mariano Montoni [Brésil] ; Ana Regina Rocha [Brésil] ; Guilherme H. Travassos [Brésil] ; Sávio Figueiredo [Brésil] ; Sômulo Mafra [Brésil] ; Adriano Albuquerque [Brésil] ; Benito Diaz Paret [Brésil] ; Márcio Amaral [Brésil]	Knowledge Management in a Software Development Environment to Support Software Processes Deployment
000878 (2010)	Daniel Lima Ventura [Brésil] ; Mauricio Ayala-Rinc N [Brésil] ; Fairouz Kamareddine [Royaume-Uni]	Intersection Type Systems and Explicit Substitutions Calculi
000D50 (2002)	David Déharbe [Brésil] ; Anamaria Martins Moreira [Brésil] ; Christophe Ringeissen [France]	Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae
000D77 (2002)	Renata Vieira [Brésil] ; Susanne Salmon-Alt [France] ; Emmanuel Schang [France]	Multilingual Corpora Annotation for Processing Definite Descriptions
000F62 (2004)	David Déharbe [Brésil] ; Abdessamad Imine [France] ; Silvio Ranise [France]	Abstraction-Driven Verification of Array Programs
001078 (2011)	Adriano Fiorese [Portugal, Brésil] ; Paulo Sim Es [Portugal] ; Fernando Boavida [Portugal]	On the Dimensioning of an Aggregation Service for P2P Service Overlay Networks
001B30 (2009)	Thomas Bouton [France] ; Diego Caminha B. De Oliveira [France] ; David Déharbe [Brésil] ; Pascal Fontaine [France]	veriT : An Open, Trustable and Efficient SMT-Solver
001C62 (1996)	Alassane Cissé [France] ; Marcelo Soares Pimenta [France, Brésil]	Requirements engineering process as an emergent process
001E47 (2013)	Yongxin Liao [France] ; Mario Lezoche [France] ; Eduardo Loures [Brésil] ; Hervé Panetto [France] ; Nacer Boudjlida [France]	Semantic Enrichment of Models to Assist Knowledge Management in a PLM Environment
002015 (2007)	Cássio Henrique Mendonça [Brésil]	The System Verification Breakdown Method
002030 (1982)	Nancy M. Flowers [États-Unis] ; Daniel R. Gross [États-Unis] ; Madeline L. Ritter [États-Unis] ; Dennis W. Werner [Brésil]	Variation in Swidden practices in four central Brazilian Indian societies
002117 (1982)	P. A. S. Veloso [Brésil]	Methodical specification of abstract data types via rewriting systems
002161 (2002)	Carla A. Lima Reis [Brésil] ; Rodrigo Quites Reis [Brésil] ; Marcelo M. De Abreu [Brésil] ; Heribert Schlebbe [Allemagne] ; Daltro J. Nunes [Brésil]	Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment
002294 (2006)	S. E. Vidotti [Brésil, France] ; A. C. Chinellato [Brésil, France] ; G. Hu [France] ; L. A. Pessan [Brésil]	Effects of low molar mass additives on the molecular mobility and transport properties of polysulfone
002564 (2012)	Brandon Itzkovitz [Canada] ; Sarn Jiralerspong [Canada] ; Graeme Nimmo [Canada] ; Melissa Loscalzo [États-Unis] ; Dafne D. G. Horovitz [Brésil] ; Ann Snowden [États-Unis] ; Ann Moser [États-Unis] ; Steve Steinberg [États-Unis] ; Nancy Braverman [Canada]	Functional characterization of novel mutations in GNPAT and AGPS, causing rhizomelic chondrodysplasia punctata (RCDP) types 2 and 3
002996 (2005)	Luciano P. Reis [Brésil, France] ; Alberto B. Raposo [Brésil] ; Jean-Claude Paul [France] ; Fabien Bosquet [France]	An Architecture for Collaborative Geomodeling
002B27 (1991)	Paulo F. Da S. Martins [Brésil] ; C. C. Cerri [Brésil] ; B. Volkoff [Cameroun] ; F. Andreux [France] ; A. Chauvel [Brésil]	Consequences of clearing and tillage on the soil of a natural Amazonian ecosystem
002D82 (2000)	J. Chassin De Kergommeaux [France] ; B. Stein [Brésil] ; P. E. Bernard [France]	Pajé, an interactive visualization tool for tuning multi-threaded parallel applications
002E73 (2004)	M. A. Peerbocus [France] ; C. Bauzer Medeiros [Brésil] ; G. Jomier [France] ; A. Voisard [Allemagne]	A System for Change Documentation Based on a Spatiotemporal Database

---

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 "Brésil" 

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

---

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