The calculus of refinements: a formal specification model based on inclusions
Tesis doctoral de Jordi Levy Diaz Datos académicos de la tesis doctoral «The calculus of refinements: a formal specification […]
Tesis doctoral sobre Politécnica de catalunya
Accede a todas las tesis doctorales sobre Politécnica de catalunya mas relevantes.
Sobre la representacion y el conocimiento temporal en sistemas basados en conocimientos.
Tesis doctoral de LLuis Vila Grabulosa Esta tesis explora la representacion del tiempo y el razonamiento automatico sobre este en
Sobre los principios constructivos: mies van der rohe y wassily kandinsky.
Tesis doctoral de Mabel Antoniucci Liliana La indagacion en planteamientos iniciales y modos operativos que dan lugar a una nueva
Reflexions sobre modernitat i tradicio. estudi de la genesi compositiva de jose antonio coderch.
Tesis doctoral de Antoni Companys Ferran Datos académicos de la tesis doctoral «Reflexions sobre modernitat i tradicio. estudi de
Muros de fachada de obra de fabrica de ladrillo a cara vista: los edificios de viviendas de la villa olimpica de barcelona. analisis del diseño constructivo. alternativas.
Tesis doctoral de Josep María Gonzalez Barroso La tesis desarrolla un trabajo de investigacion sobre los muros de fachada de
Estructura y persistencia de la comunidad de peces demersales en el frente oceanico del rio de plata.
Tesis doctoral de Walter Alcides Norbis Podstavka Antes del año 1970, en uruguay la explotacion de recursos provenientes del mar
Contribucion al estudio de funciones de sintesis para la inteligencia artificial.
Tesis doctoral de VicenÁ§ Torra Reventós Se desarrollan diversos resultados en el campo de las funciones de combinacion. Se analizan
El aula sincronica. un ensayo sobre el analisis en arquitectura
Tesis doctoral de Antonio Armesto Aira La investigacion parte de considerar el proyecto de arquitectura como aquella actividad intelectual que
Desarrollo de criterios numericos para la resolucion de la transferencia de calor en medios con conduccion, conveccion y cambio de fase solido-liquido. contrastacion experimental.
Tesis doctoral de Miquel Costa Perez La tesis consiste esencialmente en el desarrollo y validacion en base a resultados experimentales
Informacion contenida en el beneficio trimestral: la respuesta del mercado frente al anuncio del resultado contable. estudio empirico sobre la bolsa de Madrid.
Tesis doctoral de M. Jesús Grandes Garci La tesis examina el impacto que tiene sobre la rentabilidad de las acciones