We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
programs obtained
resulting programs
Fonds pour soutenir les programmes obtenus d'autres sources.
Le produit des ventes prévu pour l'année civile 2015 pour le secteur des Vêtements de marques incluent l'incidence annualisée des nouveaux programmes obtenus au cours de l'exercice 2014 et uniquement des nouveaux programmes qui ont été confirmés pour l'année civile 2015.
Projected sales revenue for Branded Apparel in calendar 2015 include the annualized impact of new programs obtained in fiscal 2014 and only those new programs for calendar 2015 which have been confirmed.
Dans ce cours, nous aborderons les techniques de base de la programmation dans ce langage et de la démonstration sur les programmes obtenus.
In this course, we will cover the basic techniques for programming in this language and performing proofs on the resulting programs.
Les programmes obtenus s'exécutent beaucoup plus vite que lorsqu'on les compile avec le compilateur de byte-code du système Caml Light.
The resulting programs execute much faster than when compiled with the bytecoded Caml Light system.
Ces agencements empêchent l'utilisation dans des ordinateurs de programmes obtenus par copies illicites.
De surcroît, le compilateur Caml comporte une option qui maximise la vitesse de compilation, la portabilité des programmes obtenus, et minimise la taille des exécutables (compilation en code-octets).
The Caml compiler has a specific option to generate executable programs that maximizes the compilation speed, the portability of executables, and minimizes the size of the executables it generates (byte-code compilation).
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
