Artículo
|
A framework for execution of secure mobile code based on static analysis :
|
Nordio, Martín
|
(2004)
|
|
----------
|
Artículo
|
A typed assembly language for non-interference :
|
Medel, Ricardo H.
|
(2005)
|
|
----------
|
Tesis
|
Análisis técnico para el despliegue de una red de estaciones terrenas en proyectos de nano satélites
|
Cugat, Nicolás Rafael
|
(2017)
|
|
----------
|
Analítica
|
Errores que cometen los alumnos de nuestro curso de Programación Funcional
|
Medel, Ricardo H.
|
EN:
CACIC [CD-ROM]
/ Congreso Argentino de Ciencias de la Computación (4º : 1998 : Neuquén)
Edición: (1998)
(Libro)
|
|
----------
|
Analítica
|
Implementing a typed assembly language and its machine model
|
Medel, Ricardo H.
|
EN:
CACIC 2001 [CD-ROM]
Edición: 1a ed. (2001)
(Libro)
|
|
----------
|
Artículo
|
Information flow analysis for a typed assembly language with polymorphic stacks :
|
Bonelli, Eduardo
|
(2006)
|
|
----------
|
Artículo
|
Non-interference for a typed assembly language :
|
Medel, Ricardo H.
|
(2005)
|
|
----------
|
Analítica
|
Una propuesta de integración de nociones lógico-matemáticas en la enseñanza de la Programación
|
Medel, Ricardo H.
|
|
|
----------
|