Síntesis interactiva de programas con tipos modales

Síntesis interactiva de programas con tipos modales

Detalles Bibliográficos
Autor principal:	Omaña Silva, Sammantha
Otras Contribuciones:	Miranda Perea, Favio Ezequiel (Asesor)
Formato:	Tesis de maestría
Publicado:	MX 2021
Materias:	Ciencias Físico - Matemáticas y de las Ingenierías
Acceso en línea:	https://hdl.handle.net/20.500.14330/TES01000808278 http://132.248.9.195/ptd2021/febrero/0808278/Index.html

Ejemplares similares

Geometría interactiva
por: Linares Altamirano, María Juana
Publicado: (2007)

Televisión interactiva en el Sistema ATSC
por: Lugo Hernández, César, et al.
Publicado: (2012)

Verificación formal en lógica modal
por: Prieto Larios, Estefanía
Publicado: (2018)

Centro de intercambio modal Tepepan
por: Patino, Carlos A.
Publicado: (1985)

Centro de transferencia modal, Taxqueña
por: Pérez Arellano, Fabián
Publicado: (2016)

Centro de transferencia modal Universidad
por: Rojas Sánchez, Jairo Javier
Publicado: (2017)

Método modal espectral basado en la regla de combinación modal C-SRSS (Complete Square Root of Sum of Squares)
por: García Sainz, Eloisa
Publicado: (2017)

Centro de transferencia modal Indios Verdes
por: Nieves Vázquez, Alan
Publicado: (2017)

Lógica modal : una sintaxis y una semántica
por: Loustalot Knapp, Daniela
Publicado: (2019)

Un nuevo concepato en lenguas interactivas
por: García Luna Martinez, José Luis
Publicado: (1979)

Logica modal escolastica
por: Campos Benítez, Juan Manuel
Publicado: (2003)

Equivalencia en lenguajes de programación modales para S4
por: Estrada Zavaleta, Ximena
Publicado: (2021)

Analisis modal y respuesta dinamica de rotores flexibles
por: Reyes Gonzalez, Pablo Rafael
Publicado: (1988)

Calculos de la difraccion en rejillas con el metodo modal
por: Arriola, Verónica
Publicado: (2003)

CETRAM | Centro de Transferencia Modal Martín Carrera
por: López Robles, Alejandra
Publicado: (2022)

Centro de transferencia modal Picacho : CETRAM "Picacho"
por: Rodríguez Cabrera, Ana Leticia
Publicado: (2013)

Diseño de una mesa interactiva para cocinar
por: Castañeda Segura, Cosme Isaac, et al.
Publicado: (2011)

La videoconferencia : sistema de comunicacion audiovisual interactiva
por: Amador Muñoz, Marco Antonio
Publicado: (1998)

Graficacion interactiva en un microcomputador Apple II
por: Vite San Pedro, Ricardo Enrique
Publicado: (1983)

Visualizacion interactiva del fenomeno El niño
por: Espinosa Longi, Joel
Publicado: (2007)

Metodo de estimacion de parametros modales de una estructura
por: Huerta Carpizo, Carlos Humberto
Publicado: (2007)

Deteccion de daño estrcutural mediante metodos de correlacion modal
por: Franco Ascencio, Gabriel de Jesus
Publicado: (2001)

Teoremas de representación para las lógicas intuicionista y modal
por: Chávez Aguilera, Cecilia
Publicado: (2017)

Deducción natural en lógica modal : una implementación en Coq
por: Linares Arévalo, Pilar Selene
Publicado: (2015)

Centro de transferencia modal (CETRAM) Huipulco : Estadio Azteca
por: Hernández Martínez, Jorge Alberto, et al.
Publicado: (2016)

Evolucion interactiva en la dinamica de Landau-Ginzburg
por: López Gonzalez, José Luis
Publicado: (2006)

Simulacion interactiva de circuitos digitales auxiliada por computadora
por: Cisneros Guadarrama, Rogelio, et al.
Publicado: (1987)

Planeación interactiva para una PYME : una estrategia con enfoque financiero
por: García Rodríguez, Ana Cristina
Publicado: (2017)

LIBRIS. Instalación interactiva
por: Corach González, Marina Xochitl
Publicado: (2011)

Modelado de la eficiencia de centros de transferencia modal urbanos
por: Román de la Sancha, Luis Ignacio
Publicado: (2016)

Analisis espectral modal por superposicion directa de vectores de Ritz
por: Pérez Gavilán Escalante, Juan José
Publicado: (1990)

Sistema de árboles de hipersecuentes para la lógica modal graduada
por: López Villafán, Luis Ricardo
Publicado: (2024)

Método de análisis modal pushover para estructuras de concreto armado
por: Tapia Mejía, Francisca
Publicado: (2013)

Integracion modal y regional del Puerto de Ensenada, Baja California
por: Villanueva Sosa, Joaquin
Publicado: (2004)

Desarrollo de una superficie interactiva multitouch Láser light plane
por: Ortiz Caloca, Pamela, et al.
Publicado: (2010)

"Centro de tranferencia modal (CETRAM) Tacubaya", Ciudad de México
por: López Muñoz, Lucero Guadalupe
Publicado: (2023)

Central de transferencia modal Delegación Tláhuac, Distrito Federal, México
por: Mendoza Camacho, Oscar Daniel
Publicado: (2015)

Planeacion interactiva para la mejora continua en PyMES
por: García Cañedo, Delia
Publicado: (2001)

Naturalización de la metafísica modal
por: Romero Castillo, Carlos Alberto
Publicado: (2021)

Desacuerdo modal, cautela y necesidad
por: Rodríguez Zaragoza, María Esperanza
Publicado: (2019)