The dpll(t) approach to satisfiability y modulo theories
Tesis doctoral de Albert Oliveras Llunell When solving a problem by means of automated theorem proving there are two important […]
Tesis doctoral sobre Politécnica de catalunya
Accede a todas las tesis doctorales sobre Politécnica de catalunya mas relevantes.
Estudio de la rigidez neumatica de suspensiones para vehiculos
Tesis doctoral de Manuel Guijon Amengual A study about pneumatic suspension stiffness and its dependent parameters is presented in this
La relevancia del valor de los datos contables en el mercado de valores español. un estudio empirico para el periodo 1986-2003
Tesis doctoral de Josepa Alemany Costa La línea de investigación basada en la relevancia del valor de los datos contables
Resistencia a esfuerzo cortante de losas unidireccionales de hormigon armado.
Tesis doctoral de Mikel Gurutzeaga Zubillaga La entrada en vigor de la instrucción de hormigón estructural (ehe-99) en el estado
Seawater intrusion in complex geological environments
Tesis doctoral de Elena Abarca Cameo Modelling seawater intrusion (swi) has evolved from a tool for understanding to a water
De la originalidad a la competencia. la enseñanza de arquitectura en la ufrgs porto alegre, brasil – 1962 a 1994.
Tesis doctoral de Elena Salvatori La presente tesis investiga la evolución de la enseñanza de arquitectura en brasil y la
Hacia el motor superconductor: aplicacion de cintas superconductoras de alta temperatura en maquinas electricas rotativas de flujo axial.
Tesis doctoral de Adrian Gonzalez Parada The development of new technologies of superconductor electrical machines in axial flow configuration has
«numerical modelling of the seismic behaviour of cold-formed steel structures».
Tesis doctoral de Natividad Pastor Torrente La respuesta sísmica de las estructuras metálicas ligeras está gobernada por las paredes de
Inference for a general class of models for recurrent events with application to cancer data
Tesis doctoral de Juan Ramon Gonzalez Ruiz La necesidad del análisis de supervivencia aparece cuando necesitamos estudiar las propiedades estadísticas
Modelo integrado de valor para estructuras sostenibles
Tesis doctoral de Deisssy Bibiana Alarcón Nuñez La incapacidad de predecir de manera confiable el funcionamiento de las edificaciones industriales,