Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
program into a
Vertaling van "program into a" in Frans
programme dans un
programme dans une
programme en un
programme en une
logiciel en une
This methodology is based on invariants, that are refined from a translation of the program into a logical language to the final desired property.
Celle-ci utilise des invariants qui sont raffinés à partir d'une traduction du programme dans un langage logique jusqu'à l'obtention de la propriété voulue.
It's that knowledge that's extraordinarily difficult, to say the least to program into a computer.
C'est cette connaissance qui est extraordinairement difficile, à tout le moins au programme dans un ordinateur.
They could move physicians and some caregivers out of the program into a category that would help with that process.
Ils pourraient déplacer les médecins et certains fournisseurs de soins du programme dans une catégorie pour améliorer ce processus.
It is the current government that embellished, and in essence, put the program into a crisis situation.
C'est le gouvernement actuel qui a exagéré et qui a essentiellement plongé le programme dans une crise.
There are two final features that turn this program into a must for anyone looking for simplicity and power in image editing.
Il y a deux caractéristiques finales qui transforment ce programme en un must pour ceux qui cherchent la simplicité et la puissance dans le traitement d'image.
Functions allow a programmer to divide a big program into a number of small and manageable functions.
Cela permettra aux programmeurs de diviser un grand programme en un certain nombre de fonctions petites et faciles à gérer.
The present disclosure provides a method of loading a program into a processing unit in an electronic article surveillance system.
La présente invention concerne un procédé de chargement d'un programme dans une unité de traitement dans un système de surveillance d'article électronique.
I would even say that by changing this program into a program of services to individuals, the government wants to make women even more dependent.
Je dirais même qu'en modifiant ce programme en un programme de services aux individus, le gouvernement veut rendre les femmes encore plus dépendantes.
during loading a program into a program or primary memory
pendant le chargement d'un programme dans une mémoire de programme ou mémoire primaire
Of course there is the possibility of installing the program into a temporary directory and write down all of the files which were created or modified by the installation for a later removing.
Bien sûr, il reste la possibilité d'installer le programme dans un répertoire temporaire et d'inscrire tous les fichiers qui ont été créés ou modifiés par l'installation et ce en prévision d'une suppression ultérieure.
Therefore you need to do something else: install the program into a temporary subdirectory from which the maintainer tools will build a working.deb package.
Dès lors, vous devez faire autre chose : installer le programme dans un sous-répertoire temporaire à partir duquel les outils du responsable vont construire un paquet.deb fonctionnel.
The system further includes a cache memory system allowing one process to perform real-time digital signal processing according to a modifiable program stored in a modifiable non-volatile memory by temporarily loading portions of the program into a fast, local memory.
Ledit système comporte en outre un système de mémoire cache permettant à un processus d'effectuer le traitement de signaux numériques en temps réel selon un programme modifiable stocké dans une mémoire rémanente modifiable par chargement temporaire de parties du programme dans une mémoire locale rapide.
This thesis is set in the domain of deductive verification of programs, which consists of transforming a property to be verified about a program into a logical statement, and then proving this statement.
Résumé Cette thèse se positionne dans le domaine de la vérification déductive de programmes, qui consiste à transformer une propriété à vérifier sur un programme en un énoncé logique, pour ensuite démontrer cet énoncé.
Synoniemen voor program into a in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 165. Exact: 165. Verstreken tijd: 255 ms.
