OPAC

Sort by Score Title Year -

1-5 from 5 results (0.012 seconds)

Title: Diameter-constrained reliability : theory and applications
Language: Inglés
Repository: 65
Subject: Network reliability / Diameter-constrained reliability / Monte-Carlo methods / Monma graphs

Acceder
Title: Formalizing alternating-time temporal logic in the coq proof assistant
Language: Inglés
Repository: 65
Subject: Alternating-time temporal logic (ATL)

Acceder
Title: Ecosistema de accesibilidad en entornos virtuales. Estudio de un caso en Moodle
Language: Español
Repository: 65
Subject: LOM / OBAA / MOODLE / IMS / Accesibilidad / Entornos virtuales de aprendizaje / Accessibility / Virtual learning environments

Acceder
Title: Efficient representations of large radiosity matrices
Language: Inglés
Repository: 65
Subject: Radiosidad / Iluminación global en tiempo real / Factorización de matrices / Matrices dispersas / Intercambio de radiación en ciudades / Luz natural / Radiosity / Real-time global illumination / Matrix factorization / Sparse matrices / Urban radiation exchange / Daylighting

Acceder
Title: Response of the tropical convergence zones to extratropical thermal forcing
Language: Inglés
Repository: 65
Subject: CLIMATOLOGIA / REGIONES TROPICALES / ATMOSFERA TERRESTRE / SIMULACION POR ORDENADOR

« Previous 1 Next »

Refine your Search