Metabuscador

Filtrado por:

Temas

Idiomas

Recursos

Año

Aproximadamente 154 registro(s) hasta el momento: (java)

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Análisis modular y recuperación de contraejemplos en TACO
Alborodo, Raúl - Ricci, Nicolás - Galeotti, Juan P. - Aguirre, Nazareno Matías

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	TACO es una herramienta para realizar verificación formal de programas, que permite detectar bugs en los mismos. Esta traduce un programa escrito en lenguaje Java y su especificación en JML a la notación DynAlloy, para luego analizar la especificación obtenida…
Fecha:	2012-07-19
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Reasoning module interface design considerations
Stankevicius, Alejandro G.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	DLP is a basic java-based IDE specifically conceived for DeLP, that allows to compile DeLP programs and queries into JAM opcodes, execute those opcodes, and even witness the actual step by step construction of the dialectical tree that is built…
Fecha:	2012-09-19
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Formato:	Thesis
Enlaces:	El Proyecto de Titulación establece un conjunto de criterios que permiten evaluar frameworks de desarrollo de la capa de persistencia de aplicaciones empresariales en ambientes Java y .Net, en base a estos criterios se valoró los frameworks Entity Framework y…
Fecha:	2011-10-19
Recurso:	Escuela Politécnica Nacional

Recurso libre

Evento: Curso de JAVA

Formato:
Enlaces:	Nivel monográfico, Mérida, del 7 de Junio al 5 de Julio de 2003
Fecha:	2003-05-26
Recurso:	Universidad de los Andes Venezuela

Recurso libre

Formato:	Thèse ou Mémoire numérique / Electronic Thesis or Dissertation
Enlaces:	Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal
Fecha:	2012-05-28
Recurso:	Université de Montreal

Recurso libre

Flanders en Java
Sol Sánchez, Laura Josefina

Formato:	Electronic Thesis or Dissertation, Tesis
Enlaces:	Descripción completa.
Fecha:	2000-05-18
Recurso:	CIRIA

Recurso libre

Libros: Orchids of Java
Soto,M.A.

Recurso libre

Formato:	Thesis
Enlaces:	El Proyecto de Titulación se centra en el desarrollo de una biblioteca de clases que permita el manejo de las interfaces gráficas de usuario de aplicaciones basadas en la plataforma Java Micro Edition. Esta biblioteca permitirá a los desarrolladores crear…
Fecha:	2011-10-10
Recurso:	Escuela Politécnica Nacional

Recurso libre

Seminario de introducción a Java
Rizo Valero, David - Ponce de León Amador, Pedro José

Formato:	learningObject
Enlaces:	Introducción al lenguaje Java orientado a programadores con algo de experiencia en C++-
Fecha:	2011-12-01
Recurso:	RUA Docencia

Recurso libre

10.

Internet Programming with Java
Luján Mora, Sergio

Formato:	info:eu-repo/semantics/lecture
Enlaces:	Presentaciones del curso "Internet Programming with Java" impartido en la Université M'Hamed Bougara (Bourmerdes, Argelia) en abril de 2007., Proyecto financiado por la Unión Europea: TEMPUS JEP-32102-2004, Licence Professionnelle Technologies des Applications Web (Professional License for Web Application Technologies).
Fecha:	2010-05-06
Recurso:	RUA Docencia