Refine your Search
Author
Subject
Year
Document Type
1-10 from 206 results
(0.013 seconds)
-
Title: Verificación de propiedades temporales de diseños community: un caso de estudioAuthor: Aguirre, Nazareno Matías / Regis, GermánLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Temporal logic / Design languages / Verification
-
Title: Model checking: un modelo del protocolo Gnutella : Simulación y verificación usando SPINLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Distributed Systems / Model checking / Simulation / Verification
-
Title: Hermes: DSM por software con granularidad finaLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Distributed Systems / Hermes / DSM / Software / granularidad fina
-
Title: Primeras experiencias en detección de plagio en el ambiente educativoAuthor: Bordignon, Fernando Raúl Alfredo / Tolosa, Gabriel Hernán / Rodríguez, Carlos G. / Peri, Jorge AlbertoLanguage: EspañolRepository: 37
-
Title: Software de enseñanza y aprendizaje elemental del GuaraníLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Educación / Software / Computer Uses in Education / Learning / guaraní / software de aprendizaje / lengua madre
-
Title: Adaptación a JClic mediante comandos por voz, para el ámbito de la educación especialLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Tecnología de la Información / Software / Voice / Tecnología Educacional
-
Title: Generación de código JAspect a partir de un metamodelo orientado a aspectosLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Software / aspecto / programación orientada a aspectos / perfil UML / XML.
SeDiCI Serivicio de Difusión de la Creación Intelectual
PrEBi Proyecto de Enlace de Bibliotecas
UNLP Universidad Nacional de La Plata
2003-2026 ©. Todos los derechos reservados conforme a la ley 11.723