A problem has been found
A problem has ocurred in the communication with the server.
Please, try again later. If the problem persists, contact the admin
Home
Repositories
Authors
Document types
Statistics
About
Query
Advanced Search
Simple Search
Title
Author
Subject
Year
Refine your Search
Repository
37
(6)
Show More
Show Less
Author
Aldasoro, Roberto
(1)
Baher, Arya
(1)
Bavera, Francisco
(1)
Canabal, Alberto
(1)
Devincenzi, Juan Alberto
(1)
Erario, Joaquín
(1)
Finamore, María Laura
(1)
Francolino, Sebastián
(1)
Garis, Ana Gabriela
(1)
Gil, Francisco
(1)
Show More
Show Less
Subject
verificación
(6)
Ciencias Informáticas
(4)
Algoritmos
(1)
Alloy
(1)
Biometría
(1)
Cellular architecture (e.g., mobile)
(1)
Ciencias Económicas
(1)
DSL
(1)
Identificación Biométrica
(1)
Ingeniería
(1)
Show More
Show Less
Year
2013
(3)
2012
(2)
2006
(1)
2011
(1)
2014
(1)
2015
(1)
2016
(1)
Show More
Show Less
Document Type
Sin Especificar
(4)
Tesis
(2)
Show More
Show Less
Language
Español
(6)
Show More
Show Less
Your search
Subject:
verificación formal
Repository:
37
Sort by
Score
Title
Year
-
1-6 from
6
results
(0.011 seconds)
Title:
Analizador de intents en Android
Author:
Erario, Joaquín
/
Rovera, Christian
/
Bavera, Francisco
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Mobile processors
/
integridad de control de flujo
/
Cellular architecture (e.g., mobile)
/
seguridad
/
verificación
/
lenguajes
/
programas
Acceder
Title:
Verificación de créditos fiscales
Author:
Francolino, Sebastián
Language:
Español
Repository:
37
Subject:
Ciencias Económicas
/
crédito
/
fisco
/
verificación
Acceder
Title:
Verificación en Alloy de modelos y metamodelos específicos del dominio
Author:
Garis, Ana Gabriela
/
Sanchez, Alejandro
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Alloy
/
Languages
/
DSL
/
verificación
Acceder
Title:
Proyecto ATM simulator
Author:
Álvarez, Jerónimo
/
Canabal, Alberto
/
Baher, Arya
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
dispositivo financiero
/
verificación
/
protocolo abierto de comunicación
/
estándar de administración de dispositivos
/
financial device
/
open communication protocol
/
standard for devices administration
Acceder
Title:
Verificación de un nivel óptico
Author:
Gil, Francisco
/
Páez, Bruno
/
Paús, Pablo
/
San Martín, José
/
Aldasoro, Roberto
/
Soto, Jaime R.
Language:
Español
Repository:
37
Subject:
Ingeniería
/
nivel
/
ensayo
/
verificación
/
colimación
/
precisión
Acceder
Title:
Sistema de reconocimiento biométrico en ambientes de alta seguridad
Author:
Devincenzi, Juan Alberto
/
Finamore, María Laura
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
reconocimiento biométrico
/
Algoritmos
/
Identificación Biométrica
/
identificación
/
verificación
/
Biometría
/
extracción de características
Acceder
« Previous
1
Next »