Subject | German | French |
gen. | Abschaffung der formalen Wanderungsbarrieren | suppression des barrières formelles aux migrations |
IT | Bestätigung der formalen Richtigkeit der Software | certification de logiciel |
law | Bundesbeschluss vom 28.September 1999 über die formale Anpassung abstimmungsreifer Volksinitiativen an die neue Bundesverfassung | Arrêté fédéral du 28 septembre 1999 concernant l'adaptation formelle à la nouvelle Constitution fédérale des initiatives populaires prêtes à être soumises au vote |
law | Bundesbeschluss über die formale Anpassung abstimmungsreifer Volksinitiativen an die neue Bundesverfassung | Arrêté fédéral concernant l'adaptation formelle à la nouvelle Constitution fédérale des initiatives populaires prêtes à être soumises au vote |
IT, dat.proc. | Fehler eines formalen öffentlichen Bezeichners | erreur d'identificateur public formel |
IT | formal-logisches System | ensemble de formules |
IT | formal-logisches System | théorie |
IT | formal-logisches System | système formel |
IT | formal-logisches System | axiomatique |
tech. | formal-mathematische Techniken | techniques mathématiques formelles |
commun., IT | Formal Name | nom officiel |
commun., IT | Formal Name | nom formel |
med. | formal-operationale Phase | stade opératoire formel |
work.fl., IT | formal-systematisches Register | index formel-systématique |
med. | Formal-Taubheitstest | examen de l'audition de Barr |
med. | Formal-Taubheitstest Barr | examen de l'audition de Barr |
work.fl., IT | Formal-Verweisungsregister | index connectif |
gen. | formale technische Beschreibung | spécification formelle |
IT | formale Beschreibung von arbiträren Systemen mit Hilfe von funktionalen Sprachen | Description formelle de systèmes arbitraires au moyen de langages fonctionnels |
IT | formale Beschreibungstechnik | technique de description formelle |
ed. | formale Bildung | enseignement scolaire et universitaire ordinaire |
EU. | formale Bildung | éducation formelle |
ed. | formale Bildung | enseignement initial |
ed. | formale Bildung | enseignement formel |
ed., lab.law. | formale Denkschulung und Förderung der Kreativität | promouvoir un mode de pensée formelle et la créativité |
health. | formale Denkstoerung | trouble formel du raisonnement |
work.fl., IT | formale dokumentarische Beschreibung | description bibliographique matérielle |
work.fl., IT | formale Dokumentbeschreibung | description matérielle du document |
reliabil. | formale Entwicklungsbewertung | revue de conception formelle |
work.fl. | formale Erfassung | signalement |
med. | formale Genetik | génétique formelle |
tech. | formale Grammatik | grammaire formelle |
IT | formale Heuristik | heuristique formelle |
IT, dat.proc. | formale Logik | logique formelle |
comp. | formale Logik | logique symbolique |
automat. | formale Logik | logique |
comp. | formale Logik | logique mathématique |
IT | Formale Methode für asynchrone Systeme | Méthodes formelles pour systèmes asynchrones |
work.fl. | formale Ordnung | ordre canonique |
IT, dat.proc. | formale Parameter | paramètre formel |
IT | formale Prüfung | test formel |
IT | formale Prüfung | essai officiel |
IT | formale Prüfung | essai formel |
law | formale Rechtsverweigerung | déni de justice formel |
law | formale Rechtsverweigerung | déni de justice quant à la forme |
IT | formale Spezifikation | spécification formelle |
IT, tech. | formale Sprache | langage artificiel |
IT, tech. | formale Sprache | langage formel |
work.fl. | formale Unterteilung | subdivision formelle |
work.fl. | formale Unterteilung | subdivisions de formes |
nat.sc. | formaler Aufbau der Zusammenfassung der Anmeldung | modèle de résumé de notification |
account. | formaler Fehler | erreur formelle |
econ. | formaler Grund | motif de forme |
IT | formaler Parameter | paramètre fictif |
IT | formaler Parameter | paramètre formel |
IT | formaler Programmfehler | erreur de programme formelle |
fin. | formaler Selbsteintritt | intervention directe |
fin. | formaler Selbsteintritt | intermédiation directe |
IT, dat.proc. | formaler öffentlicher Bezeichner | identificateur public formel |
med. | formales Denken | cours de la pensée |
social.sc., ed. | formales Lernen | éducation formelle |
social.sc., ed. | formales Lernen | apprentissage formel |
gen. | formales Modell einer Sicherheitspolitik | modèle formel de politique de sécurité |
med.appl. | formales neuronales Netz | réseau de neurones formel |
med.appl. | formales neuronales Netzwerk | réseau de neurones formel |
anal.chem. | formales Potential | potentiel apparent (d’électrode) |
anal.chem. | formales Potential | potentiel formel (d’électrode) |
law | formales Recht | droit formel |
IT | formales Schließen | raisonnement formel |
IT | formales Sicherheitsmodell | modèle formel de politique de sécurité |
el. | formales Strahlungsbild | représentation formelle par les rayons |
automat. | formales System | système formel |
med. | inhaltliche,formale Denkstörung | trouble du cours,du contenu de la pensée |
IT, industr. | integrierter formaler Ansatz für die industrielle Software-Entwicklung | Approche formelle intégrée du développement du logiciel industriel |
IT | Modus eines formalen Parameters | mode de paramètre formel |
EU. | nicht-formale Bildung | éducation non formelle |
ed. | nicht-formale Bildung | enseignement non formel |
social.sc., ed. | nicht-formales Lernen | éducation non formelle |
ed. | nicht formales Lernen | apprentissage non formel |
social.sc., ed. | nicht-formales Lernen | apprentissage non formel |
IT | personenbezogene Arbeitsstation für die schrittweise grafische graphische Spezifikation und formale Implementierung nicht seqüntieller Systeme | Poste de travail personnel pour la spécification graphique incrémentielle et l'implémentation de systèmes non séquentiels |
R&D. | Prüfungs- und Bestätigungsmethoden für formale Beschreibungen COST-Aktion 247 | méthodes de vérification et de validation pour descriptions formelles action COST 247 |
work.fl., IT | systematisch-formales Register | index systématique formel |
IT | Zusicherung bezüglich der formalen Richtigkeit | affirmation de véracité |
IT | Zusicherung bezüglich der formalen Richtigkeit | affirmation de correction |