OPAC

Your search

Query: PHYSICAL PROPERTIES Document Type: Sin Especificar Repository: 65

Sort by Score Title Year -

11-20 from 55 results (0.012 seconds)

Title: A machine assisted proof of the subject reduction property for small typed functional language. Master Thesis
Language: Inglés
Repository: 65
Subject: PROGRAMACION FUNCIONAL / ALF / TEORIA DE TIPOS / TYPE THEORY / FUNCTIONAL PROGRAMMING

Acceder
Title: Course-of-values recursion in Martin-Löf's type theory
Language: Inglés
Repository: 65
Subject: Teoria de tipos / Logical frameworks / Alf
Title: A Certified Access Controller for JME-MIDP 2.0 enabled Mobile Devices
Language: in
Repository: 65
Subject: Java Micro Edition / Interactive Mobile Devices / Mobile Information Device Profile

Acceder
Title: Extreme wind climate of Uruguay
Language: Inglés
Repository: 65
Subject: Ciclones extratropicales / Vientos intensos en Uruguay / Tormentas convectivas / Normas de viento / Daños por viento / VIENTO / ENERGÍA EOLICA / MECÁNICA DE LOS FLUIDOS APLICADA / INGENIERÍA DEL VIENTO

Acceder
Title: Simulación del comportamiento de materiales viscoelásticos y aplicación a la identificación de las propiedades mecánicas de la pared arterial
Language: Español
Repository: 65
Subject: Mecánica del continuo / Comportamiento mecánico / Viscoelasticidad / Método de los Elementos Finitos / Bioemecánica / Continuum mechanics / Mechanical behavior / Viscoelasticity / Finite Element Method / Biomechanics

Acceder
Title: Towards secure distributed computations
Language: Inglés
Repository: 65
Subject: COMPUTACION DISTRIBUIDA / TYPE SAFE / ABSTRATION SAFETY / ALGORITMO DE CERTIFICACION / PCR / MARSHALLING

Acceder
Title: Cuerpo y currículum : discursividades en torno a la formación de docentes de educación física en Uruguay (1874-1948)
Language: Español
Repository: 65
Subject: Formación docente / Educación física / Discursos / Cuerpo / Currículum

Acceder
Title: Thermal modification of Eucalyptus grandis and Pinus taeda wood / Modificación térmica de madera de Eucalyptus grandis y pinus taeda
Language: Inglés
Repository: 65
Subject: MADERA / MODIFICACION / EUCALYPTUS GRANDIS / PINUS TAEDA / DESARROLLO SOSTENIBLE
Title: Formalizing alternating-time temporal logic in the coq proof assistant
Language: Inglés
Repository: 65
Subject: Alternating-time temporal logic (ATL)

Acceder
Title: Métodos de función de energía aplicados al problema del margen de seguridad al colapso de tensión en redes de potencia
Language: Español
Repository: 65

Acceder

« Previous 1 2 3 4 5 6 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search