Iskani niz je bil najden v IZTOČNICAH:
messa a punto e specifica di sistemi ADA integrati ed in tempo reale
Information technology and data processing
da
DESCARTES
,
fejlfinding og specifikation af tidstro indbyggede Ada-systemer
de
DESCARTES
,
Fehlerbeseitigung und Spezifikation von in ADA-Echtzeit eingebetteten Systemen
el
διόρθωση λαθών και καθορισμός προδιαγραφών σε ένθετα συστήματα πραγματικού χρόνου σε ADA
en
DESCARTES
,
Debugging and specification of Ada real time embedded systems
es
DESCARTES
,
depuración y especificación de sistemas en tiempo real incorporados para Ada
fi
sulautettujen tosiaikaisten Ada-järjestelmien virheenpoisto ja määrittely(DESCARTES)
fr
DESCARTES
,
Mise au point et spécification de systèmes ADA intégrés et temps réel
it
DESCARTES
,
nl
DESCARTES
,
foutenopsporing in en specificatie van real-time ingebedde systemen in Ada
pt
DESCARTES
,
depuração e especificação de sistemas Ada integrados e em tempo real
sv
DESCARTES
metodi formali per sistemi asincroni
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)
fr
Méthodes formelles pour systèmes asynchrones
nl
formele methoden voor asynchrone systemen
pt
métodos formais para sistemas assíncronos
sv
FORMAS
metodi pedagogici adottati nei diversi sistemi di istruzione
POLITICS
da
undervisningsmetoder anvendt i de forskellige uddannelsessystemer
de
Lehrmethoden, die in den verschiedenen Bildungssystemen zur Anwendung kommen
en
teaching methods used in various educational systems
es
los métodos pedagógicos aplicados en los distintos sistemas educativos
fr
méthodes pédagogiques en usage dans les divers systèmes d'éducation
nl
in verschillende onderwijssystemen gebruikte onderwijsmethoden
metodo basato sull'analisi dei sistemi
Accounting
da
systemanalytisk revision
de
systemgestützter Ansatz
el
προσέγγιση βάσει συστημάτων
en
systems based approach
es
enfoque basado en los sistemas
fi
järjestelmätarkastukseen perustuva lähestymistapa
fr
approche par l'analyse des systèmes
nl
systeemgerichte aanpak
pt
método baseado na análise de sistemas
sv
systembaserad metod
metodo di verifica dei sistemi
FINANCE
da
systemrevision
de
Methode der Systemkontrolle
,
Verfahren der Systemkontrolle
el
μέθοδος ελέγχου των συστημάτων
,
τεχνική ελέγχου των συστημάτων
en
systems control technique
,
systems-based audit method
es
auditoría de sistemas
fr
méthode d'audit des systèmes
,
technique de contrôle des systèmes
it
tecnica di controllo dei sistemi
nl
methode van systeemonderzoek
,
techniek van systeemcontrole
pt
método de auditoria de sistemas
miglioramento della corrispondenza tra i sistemi di istruzione
Education
en
promotion of closer relations between educational systems
fr
amélioration de la correspondance entre les systèmes éducatifs
nl
verbetering van de aansluiting tussen de onderwijsstelsels
modello avanzato per l'integrazione di sistemi di gestione a base di dati e di conoscenze
en
Advanced model for integration of DB and KB management systems
,
ISIDE
,
ISIDE
fi
kehittynyt malli tieto-ja tietämyskantajärjestelmien hallintajärjestelmien integrointia varten(ISIDE)
it
ISIDE
,
sv
ISIDE
modello di interferenza fra sistemi
Electronics and electrical engineering
da
intersystem-interferens-model
de
Modell für Interferenzen zwischen Systemen
el
μοντέλο διασυστηματικής παρεμβολής
en
intersystem interference model
es
modelo de interferencia entre sistemas
fi
järjestelmien välinen interferenssimalli
fr
modèle de brouillage entre systèmes
nl
model voor interferentie tussen systemen
pt
modelo da interferência entre sistemas
sv
modell för störningar mellan system
modello di interferenza tra sistemi omogenei
Electronics and electrical engineering
da
interferensmodel for homogene systemer
de
Interferenzmodell für homogene Systeme
el
μοντέλο παρεμβολής μεταξύ ομοιογενών συστημάτων
en
homogeneous intersystem interference model
es
modelo de interferencia entre sistemas homogéneos
fi
homogeenisten järjestelmien välinen interferenssimalli
fr
modèle de brouillage entre systèmes homogènes
nl
interferentiemodel voor homogene systemen
pt
modelo de interferência entre sistemas homogéneos
sv
homogen modell för interferens mellan system
Dostopnost