Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
programmed proved
Examples with "programmed proved" and their translation in Frans
A robot force into which the "evil" ways were programmed proved to be the solution.
Une force de robot dans laquelle "les mauvaises" voies ont été programmées prouvées pour être la solution.
Andere resultaten
We propose a modular proof-system and a modular proof-verifier programmed and proved correct in Coq, that rely on exchangeable verifiers for each of the underlying theories.
Nous proposons un système de preuve et un vérifieur modulaires, qui s'appuient sur des vérifieur dédiés aux théories sous-jacentes.
the CompCert C compiler optimising the C language, which is entirely programmed and proved by the Coq system.
Applications may cover expenditure programmed but not incurred if the following elements are proved
Les demandes peuvent couvrir les dépenses programmées mais non encourues si les éléments ci-après sont démontrés
Applications may cover expenditure programmed but not incurred if the following elements are proved
Les demandes peuvent couvrir les dépenses programmées mais non supportées si les éléments ci-après sont démontrés
Studies have proved that when programmed for survival, our brain tends to register more the negative aspects of life which it perceives as a treat.
Gene extinction by RNA interference experiments proved that these genes are necessary for programmed genome rearrangements.
Des expériences d'extinction de ces gènes par ARN interférence ont prouvé que ces gènes étaient indispensables.
Applications for financial assistance or the balance thereof may cover expenditure programmed but not incurred relating to operations for which it is proved to the satisfaction of the competent national authority that
Les demandes d'aide financière ou de solde d'aide financière peuvent couvrir les dépenses programmées mais non encourues relatives à des actions pour lesquelles l'autorité nationale compétente a la preuve que
Applications for financial assistance or the balance thereof may cover expenditure programmed but not incurred relating to operations for which it is proved to the satisfaction of the competent national authority that
Les demandes d'aide financière ou de solde d'aide financière peuvent couvrir les dépenses programmées mais non encourues relatives à des actions pour lesquelles l'autorité nationale compétente a la preuve que
The above-mentioned systems developed at ITC and ESCAP proved to be excellent tools for collecting and processing data and information essential for the continuous and comprehensive monitoring of programmed activities.
Les systèmes mis au point par le Centre du Commerce international et la CESAP se sont révélés de puissants moyens de réunir et de traiter les informations indispensables à un contrôle permanent et détaillé de l'exécution des activités programmées.
The meeting programmed by Laurent Cibien around Arnaud des Pallières' Disneyland... proved that, on the one hand, the phenomenon of appropriation underpins all real discussion and that, on the other, it allows for a diversification of contributions.
La séance programmée par Laurent Cibien autour de Disneyland... d'Arnaud des Pallières a prouvé que, d'une part, ce phénomène d'appropriation est à la base de véritables discussions et que, d'autre part, il permet une diversification des interventions.
Pursuant to Article 9(3) of that Regulation, the aid applications may cover expenditure programmed but not incurred if certain elements are proved.
Conformément à l'article 9, paragraphe 3, dudit règlement, les demandes d'aide peuvent couvrir les dépenses programmées mais non supportées, si certains éléments sont démontrés.
In 1992 William Feaver wrote in London's Observer that King is "the one sculptor of his generation prepared to jettison what he has proved himself good at in order to explore what cannot be programmed."
En 1992, William Feaver écrivit à Londres que King était « le seul sculpteur de sa génération à se débarrasser de ce qu'il possédait afin d'explorer ce qui ne pouvait être programmé ».
Synoniemen voor programmed proved in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 15. Exact: 1. Verstreken tijd: 114 ms.
