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 1 a 20 de 22  Siguiente >
Vista previaTítuloSustentanteFecha de publicación
0718035.pdf.jpgActualización de modelos para lógica de árboles de cómputo mediante proteccionesCarrillo Barajas, Miguel2014
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 Didier; Ibañez Garcia, Yazmin Angélica2005
0722409.pdf.jpgModel checking based on the hidden markov model and its application to human-robot interactionHernández, Noé Salomón2014
0853590.pdf.jpgPattern models : dynamic epistemic logics for distributed systemsVelázquez Cervantes, Diego Alejandro2024
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
0861603.pdf.jpgSimulación cualitativa de osciladores clásicosCid Prati, Arturo2024
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 Cesar; Silva Sortibrand, Carlos Rodrigo1992
Mostrando resultados 1 a 20 de 22  Siguiente >