DATOS GENERALES | ||||||
|
||||||
NOMBRAMIENTOS | ||||||
|
||||||
ESTIMULOS, PROGRAMAS, PREMIOS Y RECONOCIMIENTOS
|
# | Título del capítulo | Título del libro | Autores | Alcance | Año | ISBN | Fuente |
---|---|---|---|---|---|---|---|
1 | On the Formal Verification of Smart Contracts | Proceedings - 2023 11th International Conference In Software Engineering Research And Innovation, Conisoft 2023 | Dávila R., Aldeco-Pérez R., Bárcenas E., | Conference Paper | 2023 | 9798350328837 | WoS-id: 001260867900001 Scopus-id: 2-s2.0-85198226138 |
# | Entidad | Nivel | Asignatura | Año | Semestre | Alumnos |
---|---|---|---|---|---|---|
1 | Facultad de Ingeniería | Licenciatura | COMPILADORES | 2024 | 2024-2 | 37 |
2 | Facultad de Ingeniería | Licenciatura | ESTRUCTURA DATOS Y ALGORITMOS I | 2024 | 2024-2 | 35 |
3 | Facultad de Ingeniería | Licenciatura | MODELOS DE PROGRAMACION ORIENT.OBJE | 2024 | 2024-2 | 21 |
4 | Facultad de Ingeniería | Licenciatura | COMPILADORES | 2023 | 2024-1 | 47 |
5 | Facultad de Ingeniería | Licenciatura | PROGRAMACION ORIENTADA A OBJETOS | 2023 | 2024-1 | 35 |
6 | Facultad de Ingeniería | Licenciatura | MODELOS DE PROGRAMACION ORIENT.OBJE | 2023 | 2024-1 | 40 |
7 | Facultad de Ingeniería | Licenciatura | ESTRUCTURA DATOS Y ALGORITMOS I | 2023 | 2023-2 | 40 |
8 | Facultad de Ingeniería | Licenciatura | PROGRAMACION ORIENTADA A OBJETOS | 2022 | 2023-1 | 28 |
9 | Facultad de Ingeniería | Licenciatura | CRIPTOGRAFIA | 2022 | 2023-1 | 31 |
10 | Facultad de Ingeniería | Licenciatura | CRIPTOGRAFIA | 2022 | 2023-1 | 2 |
# | Título del libro | Título del capítulo | ISBN | Editorial | Año | Fuente |
---|