Refine your Search
Subject
Year
Document Type
Your search
71-80 from 87 results
(0.011 seconds)
-
Title: A machine assisted proof of the subject reduction property for small typed functional language. Master ThesisLanguage: InglésRepository: 65Subject: PROGRAMACION FUNCIONAL / ALF / TEORIA DE TIPOS / TYPE THEORY / FUNCTIONAL PROGRAMMING
-
Title: Course-of-values recursion in Martin-Löf's type theoryLanguage: InglésRepository: 65Subject: Teoria de tipos / Logical frameworks / Alf
-
Title: Design, Synthesis and Biological Characterization of Potential Antiatherogenic Nitric Oxide Releasing-Tocopherol Analogs.Language: InglésRepository: 65
-
Title: General analytical solutions for DC/AC circuit-network analysisLanguage: InglésRepository: 65Subject: Electric power transmission / Física
-
Title: Global considerations on the Kuramoto model of sinusoidally coupled oscillatorsLanguage: InglésRepository: 65
-
Title: Topological Design of Survivable NetworksLanguage: InglésRepository: 65Subject: Network Optimization / Diameter Constrained Reliability / VND / CmRSP / CmTNSSP / CRTP / CTNSTP / GRASP
-
Title: Smoothness of topological equivalence on the half line for nonautonomous systems.Language: InglésRepository: 65
-
-
Title: Exploring the orbital evolution of planetary systemsLanguage: InglésRepository: 65Subject: Planetary systems / Orbital dynamics / Numerical methods
SeDiCI Serivicio de Difusión de la Creación Intelectual
PrEBi Proyecto de Enlace de Bibliotecas
UNLP Universidad Nacional de La Plata
2003-2025 ©. Todos los derechos reservados conforme a la ley 11.723