Refine your Search
Repository
Author
Subject
- Ciencias Informáticas (103)
- MATLAB (26)
- Ciencias Económicas (25)
- 7 INGENIERÍA Y TECNOLOGÍA (23)
- Ciencias Astronómicas (21)
- Educación (20)
- Domínio/Área Científica::Ciências Sociais::Economia e Gestão (19)
- Domínio/Área Científica::Ciências Sociais::Outras Ciências Sociais (18)
- Colombia (17)
- Passivity based control (16)
Year
Document Type
Your search
141-150 from 863 results
(0.014 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: 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: Secure mobile code and control flow analysisAuthor: Bavera, Francisco / Aguirre, Jorge / Nordio, MartínLanguage: InglésRepository: 37
-
Title: IMMAN: free software for information theory-based chemometric analysisAuthor: Urias R.W.P. / Barigye S.J. / Marrero-Ponce Y. / García-Jacas C.R. / Valdes-Martiní J.R. / Perez-Gimenez F.Language: InglésRepository: 61
-
Title: Are not any silver in the cloud? Subjective well-being among deprived young peopleLanguage: InglésRepository: 65
-
Title: CAMILA formal software engineering supported by functional programmingAuthor: Oliveira, J. N. / Almeida, J. J. / Barbosa, L. S. / Neves, F. L.Language: InglésRepository: 37
-
Title: Gender Equality and ESI in the English Language Classroom: a Teaching Experience with ChildrenAuthor: Maití, María PíaLanguage: InglésRepository: 37
-
Title: Phisically based modelling of induction lamps: aplication to the improvement of energy efficiency in the lighting system of a University buildingAuthor: Gabaldón Marín, Antonio / Sequera, Fernando / García Franco, Francisco J. / Valero Verdú, Sergio / Ortiz García, Mario / Gómez Lázaro, Emilio / Encinas Redondo, Nuria / Molina García, ÁngelLanguage: 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: “Brain drain, brain gain… Brain sustain?” Challenges in building portuguese human research capacity / Fluxo de talentos e desafios em desenvolvimento de recursos humanos em ciência e tecnologia em Portugal / Flux de talent et défis dans le développement des ressources humaines en science et technologie au Portugal / Flujo de talento y retos en el desarrollo de los recursos humanos de la ciencia y de la tecnologia en PortugalAuthor: Hasanefendic, SandraLanguage: InglésRepository: 73
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