Fecha:"07" |
Fecha:"23t07" |
Fecha:"2011" |
Fecha:"2015" |
Fecha:"2010" |
Fecha:"2005" |
Fecha:"02" |
Repositorio:"Dialnet (Tesis)" |
ANTENAS DISEÑO CON AYUDA DE ORDENADOR ONDAS ELECTROMAGNETICAS SIMULACION | (1) |
Automated Certification Proof-carrying-code Programming Language Semantics Integration of Programming Concurrency Abstract Interpretation | (1) |
Certificación automática Código con Demostración asociada Semántica de Lenguajes de Programación Concurrencia Interpretación abstracta | (1) |
Informática | (1) |
Matemática aplicada | (1) |
Más... |
1.
|
Implementación en tarjetas inteligentes Java Card de protocolos de cifrado y descifrado basados en curvas elípticas Gayoso Martínez, Víctor
|
2.
|
Abstract Certification of Java Programs in Rewriting Logic Alba Castro, Mauricio Fernando
|
3.
|
Contribución al desarrollo de una interfaz gráfica de usuario para el diseño, optimización y análisis de antenas mediante el método de los momentos Tayebi, A.
|