|
1.
|
Análisis modular y recuperación de contraejemplos en TACO Alborodo, Raúl - Ricci, Nicolás - Galeotti, Juan P. - Aguirre, Nazareno Matías
|
|
2.
|
Reasoning module interface design considerations Stankevicius, Alejandro G.
|
|
3.
|
Web services Pavan, Willingthon - Agnol, Giovani Dall
|
|
4.
|
Utilización de excepciones para implementar predicados opacos en técnicas de ofuscación de código intermedio Dolz, Daniel - Parra, Gerardo
|
|
5.
|
Um estudo sobre métodos de pesquisa utilizados em segurança computacional - Criptografia Introdução Ribeiro, V. G.
|
|
6.
|
JavaLog: una integración de objetos y lógica para la programación de agentes Zunino, Alejandro - Amandi, Analía - Iturregui, Ramiro
|
|
7.
|
Sistema inteligente para gerenciamento da colheita do mexilhão perna perna (Linné, 1758) Fernandes, Anita Ma. da Rocha - Ramos, Cássio Veiga
|
