OPAC

Your search

Query: PHYSICAL PROPERTIES Language: Inglés Repository: 65 Document Type: Sin Especificar

Sort by Score Title Year -

21-30 from 33 results (0.012 seconds)

Title: Statistical analysis of network traffic for anomaly detection and quality of service provisioning
Language: Inglés
Repository: 65
Subject: Telecomunicaciones

Acceder
Title: Modelling and analysis of neurons coupled by electrical synapses
Language: Inglés
Repository: 65
Subject: BIOENGINEERING / NEUROSCIENCE

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: 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: Towards secure distributed computations
Language: Inglés
Repository: 65
Subject: COMPUTACION DISTRIBUIDA / TYPE SAFE / ABSTRATION SAFETY / ALGORITMO DE CERTIFICACION / PCR / MARSHALLING

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: 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: Topological Design of Survivable Networks
Language: Inglés
Repository: 65
Subject: Network Optimization / Diameter Constrained Reliability / VND / CmRSP / CmTNSSP / CRTP / CTNSTP / GRASP

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

Acceder

« Previous 1 2 3 4 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search