Etiquetas · JosEduSol

16 bit 6
AFD 4
AFN 4
AFN e 2
ASM x86 6
DOS 6
Deducción Natural 1
Isabelle 1
Isar 1
Myhill Nerode 1
PoC 6
Project Euler 2
TASM 6
Virus 6

16 bit (6)

Prueba de concepto - Virus: x86/DOS, COM, Overwriting

Malware, Programación
Prueba de concepto - Virus: x86/DOS, COM, Overwriting, Residente TSR

Malware, Programación
Prueba de concepto - Virus: x86/DOS, COM, Postpending

Malware, Programación
Prueba de concepto - Virus: x86/DOS, COM, Postpending, Residente TSR

Malware, Programación
Prueba de concepto - Virus: x86/DOS, COM, Postpending, Residente en IVT

Malware, Programación
Prueba de concepto - Virus: x86/DOS, COM, Postpending, Residente en tope de memoria convencional con MCB

Malware, Programación

AFD (4)

AFN (4)

AFN e (2)

ASM x86 (6)

DOS (6)

Deducción Natural (1)

Demostración asistida: Todo número natural compuesto n tiene un divisor primo menor o igual que sqrt(n)

Lógica, Matemática

Isabelle (1)

Demostración asistida: Todo número natural compuesto n tiene un divisor primo menor o igual que sqrt(n)

Lógica, Matemática

Isar (1)

Demostración asistida: Todo número natural compuesto n tiene un divisor primo menor o igual que sqrt(n)

Lógica, Matemática

Myhill Nerode (1)

Intérprete para lenguaje de Lógica Proposicional - Parte I

Autómatas, Lenguajes Formales, Lógica

PoC (6)

Project Euler (2)

TASM (6)

Virus (6)