Examples with "deriva programas" and their translation in Engels
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.
Nuestro método deductivo está inspirado en uno previo de Zohar Manna y Richard Waldinger, conocido como el cuadro deductivo, que deriva programas en un lenguaje similar a Lisp.
Our deductive method is inspired on a previous one by Zohar Manna and Richard Waldinger, known as the deductive tableau, which derives Lisp-like programs.
Andere resultaten
Cada cuadro demuestra una subespecificación y por tanto deriva una ecuación del programa.
Each tableau proves a subspecification and therefore derives an equation of the program.
Consistirá en la resolución de problemas mediante el programa DERIVE.
It will consist in the resolution of problems through the DERIVE program.
Sin embargo, es posible que se los derive a programas especiales de seguimiento de la salud.
Babies may be referred to special follow-up healthcare programs.
Uno de los mayores riesgos físicos para el patrimonio arqueológico se deriva de los programas de desarrollo y rehabilitación.
Development projects constitute one of the greatest physical threats to the archaeological heritage.
Se prevé que el desarrollo de programas maliciosos derive en su utilización y distribución mediante dispositivos móviles.
A shift of malware development is expected towards the operation on, and distribution through, mobile devices.
Se prevé que el desarrollo de programas maliciosos derive en su utilización y distribución mediante dispositivos móviles.
A shift of malware development is expected towards the operation on, and distribution through, mobile devices.
Este pacto derivó en el Programa para la conservación de los delfines, que es voluntario.
This pact established a voluntary International Dolphin Conservation Program.
El compromiso de la marca exponencial que se deriva de un programa móvil logra posicionar a su empresa para acanzar el éxito.
The exponential brand engagement that stems from a mobile programme, positions your company for success.
El nombre de la distribución deriva de los programas GNU Parted y PartitionMagic.
The distribution's nomenclature is derived from the names of the GNU Parted and PartitionMagic software packages.
El principal riesgo para las previsiones presupuestarias del programa se deriva del escenario macroeconómico.
The main risk to the programme's budgetary projections stems from the macro-economic scenario.
Este programa se deriva de la necesidad de reconocer el carácter multidisciplinario de la exclusión social.
This programme stems from the need to recognize the multidisciplinary nature of social exclusion.
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.
