1. Repositorio de Tesis DGBSDI

Buscar por Asesor Rosenblueth Laguette, David Arturo

Ir a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
O introducir las primeras letras:  
Mostrando resultados 2 a 20 de 20 < Anterior 
Vista previaTítuloSustentanteFecha de publicación
0799457.pdf.jpgCooperación y complejidad social : interpretación y reflexiones desde el análisis de la conductaFlores Mares, José Javier2020
0251840.pdf.jpgDeduccion parcial por factorizacionGutierrez Gonzalez, Paulo Maximo1997
281203.pdf.jpgDiagnostificador de programas Prolog puro con negacion por fallaMancilla Rosales, Alejandro2000
0723395.pdf.jpgEspecificación, verificación y cálculo de estrategias en juegos no cooperativos usando verificación de modelosGóngora Luna, Pedro Arturo2014
0345568_A1.pdf.jpgExposicion de los fundamentos del sistema de interferencia inductiva CIGOLGutierrez Basulto, Victor Didier2005
0722409.pdf.jpgModel checking based on the hidden markov model and its application to human-robot interactionHernández, Noé Salomón2014
0197642.pdf.jpgProblemas de calendarizacion y programacion logicaMacias Perez, Francisco Javier1993
0222268.pdf.jpgProgramas de orientados a estados : su relacion con programas logicas y lenguajes formalesAlvarez Manilla Villanueva, Mauricio1995
0166407.pdf.jpgProgramas logicos y gramaticas libres de contextoRamirez Melendez, Rafael1991
0701406.pdf.jpgRandom boolean networks, study of degeneracyGutiérrez García, Roberto2013
0806422.pdf.jpgReCipe : a program synthesizer based on model checking for temporal logicsGalicia Mendoza, Fernando Abigail2021
0845443.pdf.jpgSeguridad de sistemas de tipos vía verificación de modelosSoto Romero, Manuel2023
0327546.pdf.jpgTransformacion de programas logicos : algoritmos de casamiento de cadenasHernandez Gutierrez, Manuel2004
0226271.pdf.jpgUn analizador sintactico visto como un sistema de inferenciaRomero Martinez, Jesus1995
0781565.pdf.jpgUn sencillo y eficiente verificador al vuelo para la lógica temporal CTL* escrito en HaskellVázquez Reyes, Cenobio Moisés2018
0205310.pdf.jpgUn sistema de administración de bases de datos en ANSI CRodriguez Buenfil, Jorge E.1994
0188417.pdf.jpgUna conexion entre gramaticas formales y bases de datos deductivasPeralta Estrada, Julio Cesar1992
0798115.pdf.jpgUna relación entre las lógicas modales y el enfoque topológico del cómputo distribuidoVelázquez Cervantes, Diego Alejandro2019
0645103_A1.pdf.jpgVerificación simbólica de redes genéticas mediante una lógica temporal híbridaArgil Torres, José Julián2009
Mostrando resultados 2 a 20 de 20 < Anterior