Nouveau : Traduire du texte avec ChatDico – 172 langues

Dictionnaire anglais - français

inductive assertion method

méthode inductive d'assertion

informatique et traitement des données - iate.europa.eu

▷

Nondeterministic flowchart programs with recursive procedures: semantics and correctness ii AbstractIn the second part of this work, we formulate a new inductive assertion method applying to the class of nondeterministic flowchart programs with recursive procedures studied in part 1...

général - core.ac.uk -

Verification of logic programs and imperative programs... We discuss forward reasoning, such as that used for verifying imperative programs using the inductive assertion method, and backward reasoning, such as that used for verifying imperative programs using subgoal induction and logic programs using consequence verification...

PDF: citeseerx.ist.psu.edu

Inductive assertion method for logic programs ... In this paper, the inductive assertion method for proving partial correctness of logic programs is introduced and proved sound...

Synonymes et termes associés anglais

inductive

•

assertion

Exemples anglais - français

inductive coupling

couplage inductif

communication / électronique et électrotechnique - acta.es

inductive learning

apprentissage inductif

informatique et traitement des données - iate.europa.eu

learning by inductive inference

apprentissage inductif

informatique et traitement des données - iate.europa.eu

[...]

inductive inference

inférence inductive

inductive fusion

fusion inductive

inductive impedance

résistance apparente inductive

impédance inductive

inductive susceptance

susceptance inductive

inductive load

charge inductive

inductive circuit

circuit inductif

inductive shunt

inductive heating

chauffage inductif

inductive approach

démarche inductive

inductive resistance

résistance inductive

inductive behavior

comportement inductif

inductive behaviour

comportement inductif

inductive hearing

écoute par induction

écoute inductive

inductive sensors

capteur inductifs

inductive sensor

capteur inductif

inductive loop

câble d'induction

boucle d'induction magnétique

inductive recording

enregistrement par induction

inductive relation

relation inductive

inductive charger

chargeur par induction

inductive head

tête inductive

inductive pulse

impulsion inductive

inductive tuning

accord par inductance

inductive reactance

réactance inductive

inductive pickup

transmetteur à induction

inductive statistics

statistique inductive

anti-inductive arrangement

dispositif anti-induction

magneto-inductive determination

détermination par magnéto-induction

détermination magnéto-inductive

non-inductive shunt

résistance de shuntage

inductive pick-up

prise de position inductive

non-inductive circuit

circuit non inductif

output assertion

assertion de sortie

assertion testing

test d'assertions

oral assertion

déclaration orale

assertion technique

technique d'affirmation

technique d'attestation

technique d'assertion

correctness assertion

affirmation de véracité

affirmation de correction

security assertion

attestation de sécurité

déclaration de sécurité

input assertion

assertion d'entrée

implied assertion

assertion implicite

assertion checking

vérification d'assertions

slot-assertion notation

structure "slot-assertion"

orthophoto method

redressement différentiel

Analytical method

Méthode d'analyse

Estimation method

Méthode d'estimation

Processing method

Mode de traitement

pressure method

épreuve sous pression

teaching method

méthode pédagogique

Detection method

Méthode de détection

Test method

Méthode d'essai

Méthode dessai

Alternative method

Other method

simulation method

méthode de simulation

Volhardt's method

méthode Volhardt

production method

processus de production

mode de production

Distribution method

Méthode de distribution

IR method

méthode par infrarouge

infrared method

méthode par infrarouge

method of calculation

méthode de calcul

analysis method

méthode de calcul

thermal conductivity method

conductimétrie thermique

combustion method

conductimétrie thermique

probang method

technique du raclage laryngo-pharyngien

technique probang

electrochemical method

méthode électrochimique

tonal method

méthode tonale

decoction method

méthode par décoction

facet method

méthode de la facette

procédé de redressement par facettes

Isoteniscope method

Méthode de lisoténiscope

Capillary method

Méthode du tube capillaire

compression method

méthode de compression

GC method

Cap' method

Méthode du plafonnement

farming method

pratique de production agricole

micronaire method

méthode micronaire

SQRRR reading method

SQRRR method

SQ3R method

method study

étude des méthodes

étude analo-méthodique de travail

études des méthodes

titrametric method

méthode titrimétrique

Younkin method

méthode de Younkin

combined method

méthode combinée

Cobb’s method

mechanical method

procédé mécanique

management method

mode de gestion

méthode de gestion

1 milliard de traductions classées par domaine d'activité en 28 langues

Nouveau : Traduire du texte avec ChatDico – 172 langues

Requêtes fréquentes anglais :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Requêtes fréquentes français :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Traduction Translation Traducción Übersetzung Tradução Traduzione Traducere Vertaling Tłumaczenie Mετάφραση Oversættelse Översättning Käännös Aistriúchán Traduzzjoni Prevajanje Vertimas Tõlge Preklad Fordítás Tulkojumi Превод Překlad Prijevod 翻訳 번역 翻译 Перевод