Utilización del lenguaje vila_1 para el intercambio de mensajes usando el vocabulario chino y el español
Tesis doctoral de Xiaochen Yang Esta tesis doctoral parte del lenguaje vila_1, que es un lenguaje visual para la comunicación […]
Tesis doctoral sobre Lenguajes formales
Accede a todas las tesis doctorales sobre Lenguajes formales mas relevantes.
Comunicación y creatividad en el diseño de envases de productos de gran consumo: aportaciones de la metodología kansei, semántica del producto y lenguaje emocional.
Tesis doctoral de Ana Serrano Tierz El objetivo de la investigación se centra en ofrecer una panorámica útil a toda
Some aspects of user participation and the application of specifications in technology mediated educational innovation
Tesis doctoral de David Jenkins Griffiths Esta tesis está constituida por diversas actividades de investigación, entre las cuales principalmente encontramos
Medistam-rt: metodología de diseño y análisis de sistemas de tiempo real
Tesis doctoral de Kawtar Benghazi Akhlaki La complejidad creciente de los sistemas de tiempo real (str) hace cada vez más
Formalización e implementación práctica de un modelo conceptual para el ajuste de pids
Tesis doctoral de Hector Alaiz Moreton Esta tesis doctoral se planteó como continuación de otra tesis desarrollada recientemente en este
Explotacion de corpus paralelos alineados para el desarrollo de entornos de composicion de documentos estructurados bilingues
Tesis doctoral de Arantza Casillas Rubio La ia(inteligencia artificial) es un area que abarca conocimiento de muy diverso tipo y
Teorías de la verdad para lenguajes autorreferentes: una solución parcial al problema del punto fijo
Tesis doctoral de Jose Martínez Fernández El trabajo es una contribución al proyecto del diseño y la justificación de teorías
Autómatas finitos: irreducibilidad e inferencia.
Tesis doctoral de Vazquez De Parga Andrade Manuel En este trabajo abordamos dos problemas: el de la reducción de autómatas
Matrix graph grammars
Tesis doctoral de Pedro Pablo Pérez Velasco Esta tesis presenta una algebraización de las gramáticas de grafos. Desde el punto
Desde especificaciones lógicas de intervalos a autómatas de propiedad: una construcción tableau para su aplicación en comprobación de modelos on-the-fly
Tesis doctoral de Hornos Barranco Miguel Juan Este trabajo constituye el punto de partida para la verificación automática de sistemas