Sem-hp: un modelo sistémico evolutivo y semántico para el desarrollo de sistemas hipermedia
Tesis doctoral de Lina Guadalupe Garcia Cabrera Las principales actividades relacionadas con el uso y el desarrollo de los sistemas […]
Tesis doctoral sobre Software
Accede a todas las tesis doctorales sobre Software mas relevantes.
Partial evaluatión of multi-paradigm declarative languaces: foundations, control, algorithms and efficiency
Tesis doctoral de Elvira Albert Albiol La evaluación parcial es una técnica automática que consigue optimizar programas garantizando que su
Aplicación de tecnicas de representacion de conocimiento a la reutilizacion de diseño en programacion orientada a objetos
Tesis doctoral de Gomez Albarran M. Mercedes El trabajo que se presenta en esta memoria se clasifica temáticamente dentro del
Analisis y diseño de protocolos de pago para microcomercio electronico
Tesis doctoral de Francisco Fernandez Masaguer En esta tesis se realiza un analisis de los protocolos de pago, mas relevantes
Un hiperentorno adaptativo para el aprendizaje instructivo/constructivo
Tesis doctoral de Tomas Antonio Perez Fernandez Esta tesis presenta la utilización de los sistemas hipermedia adaptativos junto con la
On the complexity of propositional proof systems
Tesis doctoral de Nicola Galesi Datos académicos de la tesis doctoral «On the complexity of propositional proof systems« Título
Reglas y estrategias de trasnformación para programas logico-funcionales.
Tesis doctoral de Gines Damian Moreno Valverde El problema de la integración de la programación lógica y funcional esta considerado
Reglas y estrategias de transformación para programas logico-funcionales.
Tesis doctoral de Pascual Julian Iranzo La evaluación parcial (ep) es una técnica de transformación automática que consigue la optimización
Consistencia y sensibilidad en la determinacion del tamaño funcional de productos software. metodo por componentes normalizado y extendido.
Tesis doctoral de Ramon Asensio Monge El análisis de puntos función fpa de a.J. Albrecht es un mí§étodo para la
Data structures and algorithms for automated deduction with equality
Tesis doctoral de José Miguel Rivero Almeida Datos académicos de la tesis doctoral «Data structures and algorithms for automated