Refine your Search
Repository
Author
Subject
Year
Document Type
Your search
511-520 from 8141 results
(0.02 seconds)
-
Title: Reasoning about functional programs by combining interactive and automatic proofsLanguage: InglésRepository: 65Subject: Demostración automática de teoremas / Demostración interactiva de teoremas / Evaluación perezosa / Teoría de tipos / Lenguajes totales / Recursión general / Teorías de primer orden / Verificación de programas funcionales / Automatic proofs / First-order theories / Functional program correctness / General recursion / Interactive proofs / Lazy evaluation / Total languages / Type theory
-
Title: Evolución de la prestación del servicio de aseo en Bogotá, producto del cambio de esquema que se presentó en el 2012 / Evolution of the provision of the aseo service in Bogotá, product of the change of scheme that was presented in 2012Language: DesconocidoRepository: 77Subject: Servicio de aseo / Programa de “Basura cero” / Residuos reciclables / Prestación del servicio / Tecnología en gestión ambiental y servicios públicos - Tesis y disertaciones académicas / Recolección de basuras - Bogotá (Colombia) / Servicios públicos domiciliarios - Bogotá (Colombia) - Evaluación / Disposición de residuos - Bogotá (Colombia) / Toilet service / Zero waste program / Recyclable waste / Provision of service
-
Title: Phisically based modelling of induction lamps: aplication to the improvement of energy efficiency in the lighting system of a University building. PosterAuthor: Gabaldón Marín, Antonio / Sequera Ballesteros, Fernando / Molina García, Ángel / Gómez Lázaro, Emilio / García Franco, Francisco J. / Encinas Redondo, Nuria / Ortiz García, Mario / Valero Verdú, SergioLanguage: InglésRepository: 72Subject: Eficiencia energética / Reducción de costos / Programa GreenLight / Descarga de Alta Intensidad / Inducción tecnológica / Sistemas de iluminación / Energy efficiency / Cost reduction / GreenLight Program / High Intensity Discharge (HID) / Induction Technology / Lighting systems / Ingeniería Eléctrica
-
Title: Efectos psicosociales y psicoafectivos generados en las poblaciones afectadas por las inundaciones en el sur del Atlántico durante el año 2010 / Psychosocial and psychoaffective effects generated in the populations affected by the floods in the South Atlantic during the year 2010Language: EspañolRepository: 57
-
Title: Plan de manejo ambiental para la planta de tratamiento de residuos sólidos del municipio de Sibate, CundinamarcaLanguage: EspañolRepository: 60Subject: Plan de manejo ambiental / Programa de seguimiento y monitoreo / Plan de contingencia / Impactos ambientales / Medidas de manejo / Plan of environmental handlin / Program of pursuit and monitoring / Plan of contingency / Environmental impacts / Tesis / Tesis ingeniería / Facultad de ingeniería / Ingeniería ambiental / Impacto ambiental / Deterioro ambiental / Contaminación
-
Title: Diseño de un modelo virtual para la comercialización de productos agropecuarios y procesados de los emprendedores del programa SER del departamento de RisaraldaLanguage: EspañolRepository: 60Subject: Diseño / Modelo virtual / Comercialización / Productos agropecuarios / Emprendedores / Programa SER / Risaralda / Design / Virtual model / Commercialization / Agricultural products / Entrepreneurs / SER Program / Mercadeo educativo / Programa Sena Emprende Rural / Oferta productiva SENA / Risaralda, Colombia / Emprendimiento / Modelos virtuales
-
Title: As políticas públicas de prevenção do abandono escolar em Portugal: análise do programa TEIPAuthor: Morais, Maria LeonorLanguage: PortuguésRepository: 73
-
Title: Programa de gestión integral de residuos de aceite vegetal usado (avu) y grasa animal (ga) generados en el parque recreativo y zoológico piscilagoAuthor: Díaz González, Angelica MaríaLanguage: EspañolRepository: 50Subject: Aceite Vegetal Usado / Grasa Animal / Piscilago / Residuo / Reciclaje / Programa de Gestión / Manejo Interno / Manejo Externo / Alimentos y Bebidas / Servicios Generales / Used Vegetable Oil / Animal Fat / Residue / Recycling / Management Program / Internal Management / External Management / Food And Drinks / General Services
-
Title: Secure mobile code and control flow analysisAuthor: Bavera, Francisco / Aguirre, Jorge / Nordio, MartínLanguage: InglésRepository: 37
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