Medidas del comportamiento de programas basadas en la imitacion.
Tesis doctoral de Victor Viñals Yufera Datos académicos de la tesis doctoral «Medidas del comportamiento de programas basadas en […]
Tesis doctoral sobre Teoría de la programacion
Accede a todas las tesis doctorales sobre Teoría de la programacion mas relevantes.
Tecnicas de reescritura para especificaciones condicionales.
Tesis doctoral de María Luisa Navarro Gómez Datos académicos de la tesis doctoral «Tecnicas de reescritura para especificaciones condicionales.«
Sistema interactivo de ayuda al diseño de programas.
Tesis doctoral de Jose Martin Faba El sistema interactivo de ayuda al diseño de programas en el resultado de la
Programacio paral.lela usant esquemes. vers un metode sistematic de construccions de programes concurrents.
Tesis doctoral de Alberto Llamosi Casas Datos académicos de la tesis doctoral «Programacio paral.lela usant esquemes. vers un metode
Programacio amb tipus abstractes de dades: els tipus abstractes com a suport conceptual dels esquemes de programa.
Tesis doctoral de Pere Botella López Se presenta un nuevo enfoque del uso de tipos de datos en la construccion
Diseño e implementacion de un sistema de programacion estructurada.
Tesis doctoral de Roberto Moya Quiles En este trabajo se diseña e implementa un sistema de programacion estructurada que incorpora
Diseño de un sistema de programacion para comunicacion mediante representacion grafica.
Tesis doctoral de Carlos González Fernández-vallejo Datos académicos de la tesis doctoral «Diseño de un sistema de programacion para
Towards a framework for proving termination of maude programs
Tesis doctoral de Beatriz Alarcón Jiménez Maude is a declarative programming language based on rewriting logic that incorporates many features
Model driven product line engineering: core asset and process implications
Tesis doctoral de Maider Azanza Sese Reuse is at the heart of major improvements in productivity and quality in software
Aspects of algorithms and dynamics of cellular paradigms
Tesis doctoral de Giovanni Egidio Pazienza Los paradigmas celulares, como las redes neuronales celulares (cnn, en inglés) y los autómatas