1.
|
Computer networks e-learning based on interactive simulations and SCORM Gil Vázquez, Pablo - Candelas Herías, Francisco Andrés - Jara Bravo, Carlos Alberto
|
2.
|
Reasoning module interface design considerations Stankevicius, Alejandro G.
|
3.
|
Software fault identification via dynamic analysis and machine learning Brun, Yuriy, 1981-
|
4.
|
Runtime techniques and interprocedural analysis in Java virtual machines Qian, Feng, 1973-
|
5.
|
Shimple : and investigation of static single assignment form Umanee, Navindra.
|
6.
|
Curvatura da superfície de proteínas no Java Protein Dossier. FALCÃO, P. K. - BAUDET, C. - HIGA, R. H. - NESHICH, G.
|
7.
|
Region Type Checking for Core-Java Chin, Wei Ngan - Qin, Shengchao - Rinard, Martin C.
|
8.
|
Hipermedia física aplicada en el contexto de un centro comercial Carpi, Federico E. - García Peña, Gabriel
|
9.
|
Using inter-procedural side-effect information in JIT optimizations Le, Anatole
|
10.
|
Program analysis using binary decision diagrams Lhoták, Ondřej.
|