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.
Namely, proving equational properties of programs using structural induction.
A savoir, prouver des propriétés équationnelles sur les programmes en utilisant l'induction structurelle.
Programs using a 3-dose schedule should offer the third dose early in the second year of life (at 12 months of age) to allow for early complete protection.
Ʊ Les programmes qui utilisent un calendrier à trois doses devraient offrir la troisième dose tôt dans la deuxième année de vie (à 12 mois) pour permettre une protection complète.
Programs using these ioctl's will not be portable to other versions of UNIX, will not work on older versions of Linux, and will not work on future versions of Linux.
Les programmes qui utilisent ces ioctls ne seront pas portables vers d'autres versions d'UNIX, et ne fonctionneront pas avec des versions de Linux plus anciennes ou plus récentes.
Programs using W/H are (IMO) stuck in the past and will (due to the problems with achieving high spatial and temporal coverage of screening) have low coverage.
Les programmes utilisant W / H sont (OMI) coincé dans le passé et (en raison des problèmes de parvenir à une couverture spatiale et temporelle élevé du dépistage) ont une faible couverture.
Programs using the HPLOT command with multiple parameters did not work properly.
Les programmes utilisant la commande HPLOT avec plusieurs paramètres ne fonctionnaient pas correctement.
Programs using Java programming language are usually developed in a Java development environment and then compiled to a "byte code".
Les programmes utilisant le langage de programmation Java sont habituellement développés dans un environnement de développement Java et compilés en "code byte".
Programs using the ODS file extension can often save files as XLSX files and use related extensions.
Les programmes utilisant l'extension de fichier ODS peuvent souvent enregistrer les fichiers en tant que fichiers XLSX et utiliser des extensions associées.
Linking Programs using the POSIX semaphores API must be compiled with cc -pthread to link against the real-time library, librt.
Les programmes utilisant l'API des sémaphores POSIX doit être compilé avec cc -pthread pour être lié avec la bibliothèque temps-réel, librt.
Programs using such information should be required to receive approval from the Privacy Commissioner before they launch.
Les programmes utilisant ces renseignements devraient être tenus de recevoir l'approbation du commissaire à la protection de la vie privée avant leur lancement.
Programs using the Trimmed Spearman-Kärber method (Hamilton et al., 1977) are available for personal computers but are not recommended here because divergent results may be obtained by operators who are unfamiliar with the implications of trimming off ends of the dose-response data.
Des programmes utilisant la méthode abrégée de Spearman-Karber (Hamilton et al., 1977) existent pour les ordinateurs personnels, mais ne sont pas recommandés ici, puisque les personnes qui ne connaissent pas les incidences de l'écrêtement des données dose-effet peuvent obtenir des résultats divergents.
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.