A tipe-theoretic approach to proof support for algebraic design frameworks
Tesis doctoral de Nicolas Eduardo Mylonakis Pascual Datos académicos de la tesis doctoral «A tipe-theoretic approach to proof support […]
Tesis doctoral sobre Politécnica de catalunya
Accede a todas las tesis doctorales sobre Politécnica de catalunya mas relevantes.
Control de convertidores conmutados mediante tecnicas no lineales: pasividad, linealización entrada-salida y redes neuronales
Tesis doctoral de Ramon Leyva Grasa La tesis aborda el problema de la estabilización de convertidores cc/cc desde una perspectiva
Effect of superplasticizers on the behavior of concrete in the fresh and hardened states: implications for high performance concretes
Tesis doctoral de Juan a M. Roncero Rico La incorporación de aditivos quimicos en el hormigon es, actualmente, una práctica
Control de trafico aereo y maritimo. identificación de idiosincrasias y aportaciones al contexto de la seguridad maritima
Tesis doctoral de Francisco Mari Sagarra La tesis analiza la actividad desarrollada por los controladores aéreos y maritimos en sus
Computational complexity of problems over generalized formulas
Tesis doctoral de Victor Dalmau Lloret Datos académicos de la tesis doctoral «Computational complexity of problems over generalized formulas«
En la penumbra. sobre el umbral en la arquitectura
Tesis doctoral de Beatriz Ramírez Boscan La tesis doctoral tiene como objetivo principal el estudio del umbral como elemento fundamental
Poliment de superficies optiques en components de vidrie mitjancant tractament termic amb laser de co2
Tesis doctoral de Nuria Lupon Bas Datos académicos de la tesis doctoral «Poliment de superficies optiques en components de
Los viveros de empresas de base tecnología: el punto de vista de los emprendedores sobre su contribución al desarrollo de nuevos negocios.
Tesis doctoral de Jaime Alberto Camacho Pico La tesis doctoral estudia el aporte que los sistemas de incubación de empresas
On axiomatic foundations for qualitative decision theory -a possibilistic approach
Tesis doctoral de Adriana M. Zapico Ribolzi Datos académicos de la tesis doctoral «On axiomatic foundations for qualitative decision
Digrafs sobre grups abelians finits: análisi dels digrafs endo-circulants
Tesis doctoral de Monteserrat Maureso Sánchez En este trabajo hemos definido la familia de digrafos endo-circulantes, que incluye como casos