Aserciones de programas; gramáticas formales; corte en variables locales; puntos de corte en variables locales; programación orientada a aspectos | (1) |
Breakaway | (1) |
Contact | (1) |
Data Mining | (1) |
Dynamics | (1) |
Más... |
Revistas UNAM | (3) |
MIT | (2) |
Facultad de Ciencias - UNAM | (1) |
International journal of computer and electronics research | (1) |
RUA Docencia | (1) |
Más... |
1.
|
Plants Database United States Department of Agriculture
|
2.
|
JET : an application of partial evaluation in dynamic code generation for Java, Application of partial evaluation in dynamic code generation for Java Chao, Tony (Tony Hann-Ching), 1978-
|
3.
|
Diseño e Implementación de un Sistema de Evaluación Remota con Seguridad Avanzada para Universidades Utilizando Minería de Datos, Design and Implementation of an Advanced Security Remote Assessment System for Universities Using Data Mining Hernández Aguilar, José Alberto - Burlak, Gennadiy - Lara, Bruno
|
4.
|
Run-Time Assertion Checking with Énfasis, Verificación de Aseveraciones a Tiempo de Ejecución con Énfasis Olmedo Aguirre, José Oscar - Juárez Martínez, Ulises
|
5.
|
A PRACTICAL APPROACH TO WORKING OF WEB SEARCH ENGINE P N, Vijaya Kumar; Sri Krishnadevaraya University, Anantapur-515003, Andhra Pradesh, India - V, Raghunatha Reddy; Sri Krishnadevaraya University, Anantapur-515003, Andhra Pradesh, India
|
6.
|
Analysis of LRD Series with Time-Varying Hurst Parameter, Análisis de Series LRD con Parámetro de Hurst Variante en el Tiempo Ledesma Orozco, Sergio - Cerda Villafaña, Gustavo - Aviña Cervantes, Gabriel - Hernández Fusilier, Donato - Torres Cisneros, Miguel
|
7.
|
Modelling and simulation of a multi-fingered robotic hand for grasping tasks Corrales Ramón, Juan Antonio - Jara Bravo, Carlos Alberto - Torres Medina, Fernando
|
8.
|
Co-simulation of algebraically coupled dynamic subsystems Gu, Bei, 1970-
|