Exemples d'utilisation de Programmes informatiques en Français et leurs traductions en Anglais
{-}
-
Official
-
Colloquial
Ces programmes informatiques aident les dirigeants à prendre conscience des conséquences de leur action politique.
Such computer-based programmes help leaders to become aware of the impact of relevant policy interventions.LTL a d'abord été proposé pour la vérification formelle des programmes informatiques par Amir Pnueli en 1977.
LTL was first proposed for the formal verification of computer programs by Amir Pnueli in 1977.La méthode de Hoare met en place un formalisme logique permettant de raisonner sur la correction des programmes informatiques.
Hoare logic is a specific formal system for reasoning rigorously about the correctness of computer programs.une prestigieuse entreprise allemande de programmes informatiques spécialisée dans la musique.
a prestigious German company of music computerized softwares.à des bibliothèques de données et aux défauts des programmes informatiques.
data libraries and deficiencies of the computer programs.de grammaire et de connaissance des programmes informatiques impliquant des médias imprimé.
grammar skills and knowledge of computer programs involving print media.Participer à la collecte des informations nécessaires aux documents traitant de l'utilisation des programmes informatiques.
Participate in collecting information for documents related to the use of computer programs.La loi no 28 du 30 mars 1998 relative à la protection juridique des programmes informatiques et des bases de données;
Act No. 28 renouveler le matériel et les programmes informatiques pour pouvoir poursuivre notre développement sur cette base.
important to look at equipment and ICT programs and update these, so that we can continue to build upon them.Il devient ainsi possible d'écrire des modèles B abstraits et de les exécuter comme des programmes informatiques.
Abstract B models can now be written and executed like computer programs.Dès 1979, il aide le proprié- taire d'un magasin d'informatique de son quartier et vend des programmes informatiques, qu'il invente lui-même, à des professionnels.
From 1979, he helped the manager Assurance de la qualité des programmes informatiques scientifiques, d'analyse
La Tunisie appuie également l'utilisation de programmes informatiques et d'ordinateurs à écran tactile pour aider les personnes ayant des handicaps moteurs,
Tunisia also supports the use of computer programmes and reçus au Canada ou que des programmes informatiques sont installés sur des systèmes informatiques au Canada,
received in Canada, or computer programs are installed on Les programmes informatiques gratuits ont l'inconvénient de souvent installer des logiciels publicitaires sur votre ordinateur
Especially free software programs come often with the caveat that they install adware on your computertransfert de programmes informatiques et établissement de connections avec le Système intégré de gestion de l'information
migration of computer programmes and providing linkages between the System, the Integrated Management Information Systemhollandais sont venus à Lahr pour voir comment nous administrions les marchés dans le cadre de l'accord à l'aide de nos programmes informatiques conçus sur mesure.
the Netherlands came down to Lahr to see how we administered construction contracts within the framework of the Agreement using our custom-designed computer programs.La Cour suprême a conclu que la fourniture de programmes informatiques classiques sur des moyens de stockage de données,
The Supreme Court ruled that the supply of standard software programs on data storage mediums,le Département de la réadaptation du Service public de l'emploi lui avait promis qu'il se renseignerait sur les possibilités d'aménager les programmes informatiques utilisés par la Caisse d'assurance sociale.
pointed out that the Rehabilitation Department of the Public Employment Service had promised her that it would inquire about adjustments of the computer programmes used by the Social Insurance Agency.d'améliorer l'efficacité de l'exécution des programmes informatiques du Secrétariat.
efficient delivery of the Secretariat's ICT programmes.
