1.
|
Reasoning module interface design considerations Stankevicius, Alejandro G.
|
2.
|
Desarrollo de métodos de búsqueda en BD de imágenes con JavaVis Fernández Díaz, Marta
|
3.
|
Análisis modular y recuperación de contraejemplos en TACO Alborodo, Raúl - Ricci, Nicolás - Galeotti, Juan P. - Aguirre, Nazareno Matías
|
4.
|
Análisis comparativo de los Frameworks EJB3 y ADO.NET Entity framework para el desarrollo de aplicaciones empresariales Suárez Silva, Edison Alfredo
|
5.
|
Runtime techniques and interprocedural analysis in Java virtual machines Qian, Feng, 1973-
|
6.
|
Shimple : and investigation of static single assignment form Umanee, Navindra.
|
7.
|
Hipermedia física aplicada en el contexto de un centro comercial Carpi, Federico E. - García Peña, Gabriel
|
8.
|
Using inter-procedural side-effect information in JIT optimizations Le, Anatole
|
9.
|
Program analysis using binary decision diagrams Lhoták, Ondřej.
|
10.
|
A practical MHP information computation for concurrent Java programs / Li, Lin, 1971-
|