OPAC

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 (273)

Show More Show Less

Author

Pesado, Patricia Mabel (12)
García Martínez, Ramón (11)
Mariño, Sonia Itatí (11)
Díaz, Francisco Javier (10)
Bertone, Rodolfo Alfredo (8)
Dapozo, Gladys N. (8)
López, María Victoria (8)
De Giusti, Armando Eduardo (7)
Greiner, Cristina L. (7)
Cechich, Alejandra (6)

Show More Show Less

Subject

Ciencias Informáticas (265)
Software (263)
SOFTWARE ENGINEERING (44)
informática (35)
educación (29)
tecnología (20)
nueva tecnología (18)
Educación (17)
base de datos (13)
Education (12)

Show More Show Less

Year

2012 (192)
2013 (33)
2011 (31)
2009 (20)
2010 (19)
2003 (16)
2005 (16)
2014 (16)
2002 (12)
2004 (12)

Show More Show Less

Document Type

Sin Especificar (273)

Show More Show Less

Language

Español (273)

Show More Show Less

Your search

Language: Español Subject: Software Program Verification Repository: 37 Document Type: Sin Especificar

Sort by Score Title Year -

271-273 from 273 results (0.028 seconds)

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: Verificación del hablante mediante dispositivos móviles en entornos ruidosos
Author: Etchart, Graciela / Ruíz, Silvia / Miranda, Ernesto / Aguirre, Juan José / Herlein, Mauro / Alvez, Carlos E.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Verification / biometría de voz / dispositivos móviles

Acceder
Title: Avances en reuso orientado a servicios
Author: Flores, Andrés P. / Cechich, Alejandra / Garriga, Martín / Moyano, Marcelo / De Renzis, Alan
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Reusable Software / Web-based services / Software quality assurance (SQA) / Validation / Verification

Acceder

« Previous 20 21 22 23 24 25 26 27 28 Next »

SeDiCI Serivicio de Difusión de la Creación Intelectual

PrEBi Proyecto de Enlace de Bibliotecas

UNLP Universidad Nacional de La Plata

2003-2026 ©. Todos los derechos reservados conforme a la ley 11.723