Saltar al contenido
VuFind
    • English
    • Español
Avanzado
  • Verificación de la linealizabi...
  • Citar
  • Describir
  • Enviar este por Correo electrónico
  • Imprimir
  • Exportar Registro
    • Exportar a RefWorks
    • Exportar a EndNoteWeb
    • Exportar a EndNote
  • Enlace Permanente
Verificación de la linealizabilidad en tiempo de ejecución

Verificación de la linealizabilidad en tiempo de ejecución

Detalles Bibliográficos
Autor principal: Rodríguez Jiménez, Gilde Valeria
Otras Contribuciones: Castañeda Rojano, Armando (Asesor)
Formato: Tesis de maestría
Publicado: MX 2022
Materias:
Ciencias Físico - Matemáticas y de las Ingenierías
Acceso en línea:https://hdl.handle.net/20.500.14330/TES01000832363
http://132.248.9.195/ptd2022/octubre/0832363/Index.html
  • Existencias
  • Descripción
  • Ejemplares similares
  • Vista Equipo

Internet

https://hdl.handle.net/20.500.14330/TES01000832363
http://132.248.9.195/ptd2022/octubre/0832363/Index.html

Ejemplares similares

  • Verificación de modelos para lógica híbrida de tiempo ramificado
    por: Vázquez Sandoval, Itzel
    Publicado: (2009)
  • Algoritmo de minimización de energía en redes IoT utilizando el espacio dual
    por: Rodríguez Jiménez, Gilde Valeria
    Publicado: (2020)
  • Ilegalidad en las visitas de verificación administrativa y su ejecución
    por: Ruiz Sánchez, Eduardo Emanuel
    Publicado: (2015)
  • Especificación, verificación y cálculo de estrategias en juegos no cooperativos usando verificación de modelos
    por: Góngora Luna, Pedro Arturo
    Publicado: (2014)
  • Verificación de algoritmos concurrentes
    por: Sandoval Grajeda, Israel
    Publicado: (2016)

Opciones de búsqueda

  • Historial de Búsqueda
  • Búsqueda Avanzada

Buscar Más

  • Revisar el Catálogo
  • Lista Alfabética
  • Explorar canales
  • Reservas de Curso
  • Nuevos ejemplares

¿Necesita Ayuda?

  • Consejos de búsqueda