The complexity of resource-bounded propositional proofs
Tesis doctoral de Albert Atserias Peri Datos académicos de la tesis doctoral «The complexity of resource-bounded propositional proofs« Título […]
Tesis doctoral sobre Software
Accede a todas las tesis doctorales sobre Software mas relevantes.
Reutilización de requisitos funcionales de sistemas distribuidos utilizando técnicas de descripción formal
Tesis doctoral de Rebeca Pilar Diaz Redondo La reutilización de software fue planteada en su día como una vía complementaria
Esquema de caracterización para la selección de técnicas de pruebas de software
Tesis doctoral de Sira Vegas Hernández La importancia de una adecuada selección de técnicas de pruebas es comúnmente aceptada por
Interpretacion automatica de imágenes medicas mediante tecnicas multiescala
Tesis doctoral de Vicente Grau Colomer Las imágenes estan tomando un protagonismo cada vez mayor en multiples aspectos de la
Aproximación metodológica a la construcción de entornos virtuales
Tesis doctoral de María Isabel Sanchez Segura Datos académicos de la tesis doctoral «Aproximación metodológica a la construcción de
Anillos noetherianos. dualidad
Tesis doctoral de Joaquin Jodar Reyes Dada un algebra noetheriana afin sobre un cuerpo, se estudian propiedades para la existencia
Midea; una metodología para el desarrollo de almacenes de datos
Tesis doctoral de José María Cavero Barca Los almacenes de datos (datawarehouses) surgen ante la necesidad por parte de las
Logic programming with fuzzy unifiction constants: possibililistic semantics and automated deduction
Tesis doctoral de M.teresa Alsinet Bernado Datos académicos de la tesis doctoral «Logic programming with fuzzy unifiction constants: possibililistic
Arquitectura distribuida de control para sistemas con capacidades de data mining
Tesis doctoral de José María Peña Sanchez Data mining o kdd son términos que designan las técnicas de análisis de
Modelos físicos de iluminación: simulaciones por computador
Tesis doctoral de Pedro Miguel Latorre Andres Esta tesis doctoral, que parte de una de las propuestas realizadas en el