1.
|
Towards the verification of RAISE specifications through Model Checking Perna, Juan Ignacio - George, Chris W.
|
2.
|
Taxonomic evidence applying algorithms of intelligent data mining Perichinsky, Gregorio - Servente, Magdalena - Servetto, Arturo Carlos - García Martínez, Ramón - Orellana, Rosa Beatriz - Plastino, Ángel Luis
|
3.
|
Computing support for virtual communities of practice Casalini, María Clara - Estevez, Elsa Clara - Janowski, Thomas
|
4.
|
A hybrid data structure for searching in metric spaces Herrera, Norma Edith - Reyes, Nora Susana - Chávez, Edgar
|
5.
|
Tool support for verifying applications using object-oriented patterns Aranda, Gabriela N. - Flores, Andrés P. - Buccella, Agustina - Reynoso, Luis A.
|
6.
|
Introducción a las bases de datos: fundamentos y diseño, Introduction to databases: fundamentals and design Bertone, Rodolfo Alfredo - Thomas, Pablo Javier
|
7.
|
A Semi-Automatic Method for Ontology Mapping Perez, Laura Haide - Cechich, Alejandra - Buccella, Agustina
|
8.
|
Developing a Repository of Knowledge for virtual communities with semantic web technologies Casalini, María Clara - Estevez, Elsa Clara - Fillottrani, Pablo Rubén
|
9.
|
A UML Profile for Documenting the Component-and-Connector Views of Software Architectures Anacleto, Valerio Adrián
|
10.
|
A Methodology for Vertically Partitioning in a Multi-Relation Database Environment Gorla, Narasimhaiah
|