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
(192)
53
(3)
57
(2)
Show More
Show Less
Author
Pesado, Patricia Mabel
(10)
Díaz, Francisco Javier
(9)
García Martínez, Ramón
(9)
Mariño, Sonia Itatí
(9)
López, María Victoria
(8)
De Giusti, Armando Eduardo
(6)
Bertone, Rodolfo Alfredo
(5)
Montejano, Germán Antonio
(5)
Riesco, Daniel Eduardo
(5)
Aguirre, Jorge
(4)
Show More
Show Less
Subject
Software
(194)
Ciencias Informáticas
(192)
SOFTWARE ENGINEERING
(42)
informática
(35)
educación
(29)
tecnología
(20)
nueva tecnología
(18)
Educación
(13)
base de datos
(13)
Learning
(11)
Show More
Show Less
Year
2012
(197)
2011
(31)
2003
(16)
2005
(16)
2009
(16)
2010
(15)
2002
(12)
2004
(12)
2001
(11)
1997
(9)
Show More
Show Less
Document Type
Sin Especificar
(197)
Show More
Show Less
Language
Español
(197)
Show More
Show Less
Your search
Subject:
Software Program Verification
Document Type:
Sin Especificar
Year:
2012
Language:
Español
Sort by
Score
Title
Year
-
1-10 from
197
results
(0.014 seconds)
Title:
Verificación de propiedades temporales de diseños community: un caso de estudio
Author:
Aguirre, Nazareno Matías
/
Regis, Germán
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Temporal logic
/
Design languages
/
Verification
Acceder
Title:
Model checking: un modelo del protocolo Gnutella : Simulación y verificación usando SPIN
Author:
De Vito, María Cecilia
/
Osella Massa, Germán Leandro
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Distributed Systems
/
Model checking
/
Simulation
/
Verification
Acceder
Title:
Hacia la composición paralela de programas en DynAlloy
Author:
Aguirre, Nazareno Matías
/
Novaira, Maria Marta
/
Permigiani, Sonia
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Lenguajes de Programación
/
Formal methods
/
lenguaje de especificaciones
/
Verification
/
validación de propiedades
/
operador para composición paralela
/
Validation
Acceder
Title:
Implementación de una auditoria general en la secretaria de hacienda de Sabanagrande
Author:
De La Hoz Valdiris, Ethel María
/
Pauth Palacios, Jair Alexander
Language:
Español
Repository:
57
Subject:
Auditoria
/
Procesos
/
Software
/
Hardware
/
Analisis de vulnerabilidad
/
Audit
/
Processes
/
vulnerability analysis
Acceder
Title:
Software para la gestión de la autoevaluación para el proceso de acreditación de los programas académicos de la Corporación Universitaria de la Costa
Author:
Combita Niño, Harold Arturo
/
Gutiérrez Molina, Luis David
Language:
Español
Repository:
57
Subject:
Software
/
Proceso de autoevaluación
/
Self-evaluation process
/
Página web
/
Web page
/
Servicio
/
Service
/
Población académica
/
Academic population
Acceder
Title:
Manejo de Datos Adaptativos: MAD
Author:
Gilman, Marcelo
/
Repetto, Alejandro Juan Manuel
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Software
/
Management
/
Data
/
Distributed Systems
Acceder
Title:
Avances sobre aplicaciones optimizadas para Smart Tv: “Tv-Widgets”
Author:
Medina, Gastón N.
/
Gaite, Eduardo
/
Gándara, Daniel
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Software
/
Advanced technologies
/
Televisión
/
tv-widgets
/
smart tv
/
Internet
/
connected-tv
/
set-top box
/
konfabulator
Acceder
Title:
Recursos intangibles y el cambio en las organizaciones
Author:
Fénnema, Marta Cristina
/
Figueroa, Liliana Maria
/
Palavecino, Rosa
/
Flores, Carola Victoria
/
Poliche, María Valeria
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Software
/
Knowledge acquisition
/
organización del conocimiento
/
gestión de conocimientos
/
innovación
/
recursos intangibles
/
tecnología de la información
/
capital intelectual
Acceder
Title:
Interoperabilidad en cloud computing
Author:
Rodríguez, Nicolás
/
Chávez, Susana Beatriz
/
Martín, Adriana Elizabeth
/
Murazzo, María Antonia
/
Valenzuela, Adriana
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Software
/
Web-based services
/
Cloud Computing
/
utility computing
/
virtualización
/
SaaS
/
PaaS
Acceder
Title:
Desarrollo multiparadigma
Author:
Amaro, Silvia
/
Quiroga, Pablo
/
Reynoso, Luis A.
/
Vaucheret, Claudio A.
/
López, Lidia Marina
/
Dolz, Daniel
/
Granados, Andrea
/
Godoy, Ingrid
/
Sánchez, Viviana
/
Klemen, Maximiliano
/
Pérez, Paola
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Software
/
PROGRAMMING LANGUAGES
/
programación multiparadigma
/
Lenguajes de Programación
/
Natural Language Processing
/
dominios complejos
/
orientación a agentes
Acceder
« Previous
1
2
3
4
5
6
7
8
9
Next »