Iskani niz je bil najden v IZTOČNICAH:
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 et moyens de mener la guerre
enmethods and means of warfare
deMethoden und Mittel der Kriegführung
itmetodi e mezzi per condurre la guerra
ruметоды и средства ведения военных действий
slnačini in sredstva za vodenje vojne
hrnačini i sredstva za vođenje rata
srначини и средства за вођење рата
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
méthodes géochimiques
Electronics and electrical engineering
da
geokemisk undersøgelse
,
geokemisk undersøgelsesmetode
de
geochemische Methoden
el
γεωχημικές μέθοδοι
en
geochemical methods
es
métodos geoquímicos
fi
geokemiallinen tutkimus
it
metodi geochimici
nl
geochemische methoden
pt
métodos geoquímicos
sv
geokemisk metod
méthodes géochimiques
de
geochemische Methoden
el
γεωχημικές μέθοδοι
en
geochemical methods
es
métodos geoquímicos
it
metodi geochimici
méthodes gravimétriques
da
gravimetriske metoder
de
gravimetrische Methoden
en
gravimetric methods
es
métodos gravimétricos
fi
gravimetrinen menetelmä
nl
gravimetrische methoden
pt
métodos gravimétricos
sv
gravimetri
,
gravimetrisk metod
méthodes grossières
enunsavoury methods
degrobe Methoden
itmetodi disgustosi
ruгрубые методы
slgrobe metode
hrgrube metode
srгруби metodи
Méthodes innovantes de coordination entre les projets de transport et la planification territoriale (action COST 332)
TRANSPORT
de
Innovative Methoden für die Koordinierung von Verkehrsprojekten und Gebietsplanung (COST-Aktion 332)
en
Innovation methods of coordination between transport actions and regional local planning (COST action 332)
Dostopnost