Buscar
Mostrando ítems 1-6 de 6
Estabilidad en sistemas de eventos discretos modelados con redes de Petri interpretadas
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2007)
Modelado y simulación de sistemas de distribución de agua potable usando redes de Petri híbridas
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2007)
Lógicas temporales lineales para la verificación formal de sistemas de tiempo real
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2007)
Un esquema multiagentes para la coordinación de tráfico urbano
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2007)
Algoritmos de comportamiento y personalidad para agentes emocionales
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2007)
Núcleo de GeDA--À3D
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2007)