Metabuscador

Filtrado por:

Temas

Idiomas

Recursos

Año

Aproximadamente 422 registro(s) hasta el momento: (base de datos)

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Towards the verification of RAISE specifications through Model Checking
Perna, Juan Ignacio - George, Chris W.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Ensuring the correctness of a given software component has become a crucial aspect in Software Engineering and the Model Checking technique provides a fully automated way to achieve this goal. In particular, the usage of Model Checking in formal languages…
Fecha:	2012-09-11
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Enfoque para la aplicación de Semantic Web Services en Sistemas Centrados en el Usuario
Sanabria, Fernando Daniel - Ierache, Jorge Salvador

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Los servicios basados en la Web ya se han convertido en una herramienta más en la vida de la mayoría de las personas. En la actualidad por ejemplo se utiliza la Web para pagar servicios, comprar artículos o escuchar programas…
Fecha:	2012-09-11
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Segunda Encuesta de Victimización y Eficacia Institucional (ENVEI), Encuesta de Victimización y Eficacia Institucional (ENVEI) - 2005 (Segundo semestre): 2 Robo de Vehículo
Bergman, Marcelo - Sarsfield, Rodolfo - Fondevila, Gustavo - Magaloni, Ana Laura - Miller, Alejandro - Bustos, José Luis - Nájera, Héctor - Programa de Estudios para la Seguridad Pública y Estado de Derecho (México) - Centro de Investigación y Docencia Económicas (México)

Formato:	Base de datos, frecuencias, cuestionario, libro de códigos, resumen y metodología
Enlaces:	Descripción completa.
Fecha:	2011-07-06
Recurso:	Centro de Investigación y Docencia Económicas - México

Recurso libre

Formato:	Tesis, Tesis de grado
Enlaces:	Sumario: 1- Introducción a las bases de datos distribuidas 2- Replicación 3- Sincronización 4- Manejo de réplicas coordinadas 5- Presentación de un problema real 6- Implementación de una solución 7- Conclusiones
Fecha:	2008-05-09
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Formato:	Thesis
Enlaces:	Se diseña e implementa una red de datos y sensores, que permite conocer a tiempo, el estado clínico del paciente a los responsables de su cuidado en la Clínica "Durán" de Ambato. Esto busca mejorar el mecanismo de atención al…
Fecha:	2012-11-05
Recurso:	Escuela Politécnica Nacional

Recurso libre

Evaluación del vocero de la presidencia
Oficina de la Presidencia de la República Mexicana

Formato:	Base de datos, cuestionario y descripción de datos
Enlaces:	Descripción completa.
Fecha:	2009-01-07
Recurso:	Centro de Investigación y Docencia Económicas - México

Recurso libre

Balance de carbono en la región mediterránea de Baja California
MIRIAM HEREDIA OSORIO

Formato:	info:eu-repo/semantics/masterThesis
Enlaces:	El presente trabajo es una aproximación al balance de carbono en la región mediterránea de Baja California (RMBC). Como objetivo general se realizó un balance de carbono en la RMBC. Del objetivo general se derivaron los siguientes objetivos específicos: 1)…
Fecha:	2006
Recurso:	COLEF

Recurso libre

Fundamentos de las Bases de Datos. Esquemas de base de datos TiendaOnLine
Suárez Cueto, Armando

Formato:	learningObject
Enlaces:	Esquemas Entidad-Relación (notación propia) y relacional de la base de datos Tienda On Line, utilizada en las prácticas de la asignatura Fundamentos de las Bases de Datos.
Fecha:	2013-05-20
Recurso:	RUA Docencia

Recurso libre

Evaluación del Presidente Fox y de su gestión; Asamblea Popular de los Pueblos de Oaxaca (APPO)
Oficina de la Presidencia de la República Mexicana

Formato:	Base de datos, cuestionario y descripción de datos
Enlaces:	Descripción completa.
Fecha:	2009-01-07
Recurso:	Centro de Investigación y Docencia Económicas - México

Recurso libre

10.

Formato:	Base de datos, cuestionario y frecuencias
Enlaces:	Esta base de datos es un instrumento que registra los pagos de "mordidas" declarados por los hogares mexicanos en 35 servicios públicos provistos por los 3 niveles de gobierno y por empresas particulares, Este índice es realizado con el objetivo…
Fecha:	2007-04-24
Recurso:	Centro de Investigación y Docencia Económicas - México