From sofware architecture to formal verification of a distributed system
Tesis doctoral de Sanchez Penas Juan Jose La tesis estudia como ir desde la arquitectura software a la verificación formal […]
Tesis doctoral sobre Teoría de lenguajes formales
Accede a todas las tesis doctorales sobre Teoría de lenguajes formales mas relevantes.
Investigaciones sobre gramáticas categoriales: algoritmos de parsing y equiValencia entre formalismos
Tesis doctoral de José Antonio Jimenez Millan Esta tesis doctoral muestra el resultado de una investigación sobre la utilización del
Algoritmos eficientes de estados finitos para la aplicación de gramáticas locales
Tesis doctoral de JavierMiguel Sastre Martínez Este trabajo se centra en la investigación y el desarrollo de algoritmos eficientes de
El viaje de fuego. el acto creativo como movimiento continuo de accesibilidad
Tesis doctoral de Francisco Javier Villalobos Santos Isbn:? 9788469410677 Datos académicos de la tesis doctoral «El viaje de fuego.
Evolving complexity and similarity an artificial life framework based on formal language theory
Tesis doctoral de Gema M. Martin Reyes Evolving complexity and similarity in an artificial life framework based on formal language
Contributions to formal communication elimination for system models with explicit parallelism
Tesis doctoral de Francesc Xavier Babot Pagés Los métodos de verificación formal se están usando cada vez más en la
Modelos predictivos basados en redes neuronales recurrentes de tiempo discreto
Tesis doctoral de Juan Antonio Pérez Ortiz Este trabajo estudia la aplicación de distintos modelos de redes neuronales recurrentes de
Yehoshua bar-hillel: lógica de los lenguajes naturales, información semántica y linguística teórica
Tesis doctoral de Solans García Ana Eugenia La presente tesis céntrarse en el estudio de las consecuencias que, para el
Especificacion, verificacion y mantenimiento de requisitos funcionales con tecnicas de descripcion formal.
Tesis doctoral de Jorge Garcia Duque La tesis se enmarca dentro de la ingenieria del software, disciplina que tiene como
Elementos de semántica denotacional de lenguajes de programación con datos borrosos.
Tesis doctoral de Daniel Sanchez Alvarez La tesis tiene como objetivo estudiar las bases que permitan definir, de manera formal,