Iskani niz je bil najden v IZTOČNICAH:
méthodes de soudage en bout par résistance pure ou par étincelage
Iron, steel and other metal industries
da
stuksvejsemetoder
de
Arbeitsweisen beim Widerstands-Stumpfschweissen
en
resistance-butt and flash welding methods
es
métodos de soldeo a tope
fi
puskuhitsausmenetelmät
it
metodi di saldatura di testa per resistenza pura o per scintillo
nl
methodes van het weerstandstuiklassen
pt
soldadura topo a topo por resistência pura ou faiscante
sv
stumsvetsmetoder
méthodes de traitement
da
behandlingsmåder
,
terapeutiske metoder
de
Behandlungsmethoden
el
μέθοδοι θεραπείας
en
treatment methods
es
metodos de tratamiento
it
metodi di trattamento
nl
behandelingsmethode
pt
métodos de tratamento
méthodes de vente
AGRICULTURE, FORESTRY AND FISHERIES
de
Absatzmethoden
,
Vermarktungsmethoden
en
marketing procedures
es
métodos de comercialización
it
metodi di commercializzazione
,
metodi di vendita
méthodes de vérification
da
kontrolmetoder
de
Kontrollverfahren
el
μέθοδοι ελέγχου
en
verification methods
it
metodi di verifica
nl
keuringsmethoden
méthodes de vérification et de validation pour descriptions formelles (action COST 247)
de
Prüfungs- und Bestätigungsmethoden für formale Beschreibungen (COST-Aktion 247)
en
verification and validation methods for formal descriptions (COST action 247)
méthodes documentaires
Documentation
Information technology and data processing
da
dokumentationsmetode
de
Dokumentationsverfahren
el
μέθοδοι τεκμηρίωσης
en
methods of documentation
es
métodos documentales
fi
dokumentointitapa
it
procedimenti di documentazione
nl
documentatiemethode
pt
métodos da documentação
sv
dokumentationsmetod
Méthodes formelles pour systèmes asynchrones
Information technology and data processing
da
formelle metoder for asynkrone systemer
de
Formale Methode für asynchrone Systeme
el
τυπικές μέθοδοι για ασύγχρονα συστήματα
en
FORMAS
,
Formal methods for asynchronous systems
es
FORMAS, el marco formal consiste en: una máquina de estados, basada en el dominio de Scott, para el modelo matemático, lógica de Hoare y lógica temporal para la corrección en análisis y concepción
,
métodos formales para sistemas asíncronos
fi
asynkronisten järjestelmien formaalit menetelmät(FORMAS)
it
metodi formali per sistemi asincroni
nl
formele methoden voor asynchrone systemen
pt
métodos formais para sistemas assíncronos
sv
FORMAS
Dostopnost