Petri net controlled grammars
Tesis doctoral de Sherzod Turaev Isbn:? 978-84-693-1536-1 Datos académicos de la tesis doctoral «Petri net controlled grammars« Título de […]
Tesis doctoral de David De Frutos Escrig
Información academica David De Frutos Escrig. Tesis donde David De Frutos Escrig ha sido autor, director o parte del tribunal.
Entendiendo las semánticas de procesos
Tesis doctoral de Carlos Gregorio Rodriguez En las investigaciones seguidas para la consecución de la tesis, fundamentalmente se ha buscado
Sobre la equiValencia entre semánticas operacionales y denotacionales para lenguajes funcionales paralelos
Tesis doctoral de Lidia Sánchez Gil Eden es un lenguaje funcional paralelo que extiende haskell con construcciones sintácticas para especificar
Algoritmos heurísticos y aplicaciones a métodos formales
Tesis doctoral de Pablo Manuel Rabanal Basalo Los algoritmos de optimización basados en búsquedas locales recorren el espacio de soluciones
Testing activo y pasivo de sistemas con información temporal y probabilística
Tesis doctoral de Cesar Andres Sanchez Datos académicos de la tesis doctoral «Testing activo y pasivo de sistemas con