Multilingue
Assistant
trié par :

Pertinence

Domaine

Source

Nouveau : Traduire du texte avec ChatDico – 172 langues

Publications scientifiques

▷
Effective homology of bicomplexes, formalized in coq ... The experience shows how some limitations of the Coq proof assistant to deal with this kind of algebraic data can be overcome by applying a separation of concerns principle; more concretely, we propose to distinguish in the representation of an algebraic structure (such as a group or a module) a behavioural part,

containing operation

signatures and axioms, and a structural part determining if the algebraic data is free, of finite type and so on
général - core.ac.uk -

Exemples anglais - français

operation

opération
finances de l'union européenne / région et politique régionale / informatique et traitement des données / technologie et réglementation technique - iate.europa.eu
activité
transports aérien et spatial - techdico
exploitation
industrie mécanique - lexique.mecaniqueindustrielle.com
[...]
marche
fonctionnement
opérations
mise en action
marche (fonctionnement)
exécution
l'exploitation
manoeuvre

Traductions en contexte anglais - français

A sheet processor containing various sheets in which a smooth

containing operation

is ensured by performing an

operation

for detecting the full state of sheet accurately.

La présente invention concerne un dispositif de traitement de feuilles contenant différentes feuilles, une opération de stockage souple étant garantie par une opération de détection précise de l'état complet de la feuille.

production - wipo.int
Labor of the containing operation required for a user is reduced while excellent convenience is ensured and the time required for the containing operation can be shortened per user.

Le travail de l'opération de confinement requis pour un utilisateur est réduit tandis qu'un excellent caractère pratique est assuré et que le temps requis pour l'opération de confinement peut être raccourci par utilisateur.

production - wipo.int
The system may make use of a database for containing operational information and procedures relating to the operation of the mobile platform by the operator.

Le système peut faire usage d'une base de données pour contenir des informations opérationnelles et des procédures relatives à l'exploitation de la plate-forme mobile par l'opérateur.

industrie mécanique - wipo.int
cutting operation involving meat containing bone

découpe de viande avec os

agriculture, sylviculture et pêche - iate.europa.eu
During operation, the system receives a query containing keywords.

Le système reçoit, en cours d'utilisation, une demande contenant des mots-clés.

informatique et traitement des données - wipo.int
The operation controlling means performs liquid refrigerant containing control.

Le moyen de contrôle de fonctionnement procède au contrôle du réfrigérant liquide contenu.

industrie mécanique - wipo.int
A sheet processor containing various sheets in which a smooth containing operation is ensured by performing an operation for detecting the full state of sheet accurately.

La présente invention concerne un dispositif de traitement de feuilles contenant différentes feuilles, une opération de stockage souple étant garantie par une opération de détection précise de l'état complet de la feuille.

production - wipo.int
Method for opening in a continuous operation fibres containing cellulose.

L'invention porte sur un procédé pour l'ouverture, en continu, de fibres contenant de la cellulose.

industrie du bois - wipo.int
Labor of the containing operation required for a user is reduced while excellent convenience is ensured and the time required for the containing operation can be shortened per user.

Le travail de l'opération de confinement requis pour un utilisateur est réduit tandis qu'un excellent caractère pratique est assuré et que le temps requis pour l'opération de confinement peut être raccourci par utilisateur.

production - wipo.int
In operation discrete macropulses, each containing a series of micropulses, are generated.

Lors de l'utilisation, on génère des macroimpulsions discrètes, dont chacune contient une série de microimpulsions.

santé - wipo.int
In some embodiments, the operation modes can include prime mover operation instructions containing parameters of fuel injection of the prime mover.

Dans certains modes de réalisation, les modes de fonctionnement peuvent comprendre des instructions de fonctionnement du moteur d'entraînement qui contiennent des paramètres d'injection de carburant du moteur d'entraînement.

industrie mécanique - wipo.int
An exhaust stream containing an amount of NO from a combustion operation is provided.

Un courant d'échappement contenant une quantité de NO à partir d'une opération de combustion est fourni.

technologie et réglementation technique - wipo.int
Date of last statement of expenditure of the certifying authority containing expenditure from operation

Date du dernier état des dépenses de l'autorité de certification contenant les dépenses de l'opération

finances de l'union européenne - eur-lex.europa.eu
Date of last statement of expenditure of the certifying authority containing expenditure from operation

Date du dernier état des dépenses de lautorité de certification contenant les dépenses de lopération

finances de l'union européenne - eur-lex.europa.eu
For effective operation of the latter, the salt-containing waste streams must undergo evaporation.

Ces procédés résoluent le problème du courant de déchets sous forme de sulfates par le couplage d'une installation d'extraction d'acide sulfurique, qui nécessite pour être opérationnelle une évaporation des courants de déchets contenant du sel.

chimie - wipo.int


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  翻訳  번역  翻译  Перевод