Refine your Search
Author
Subject
Year
Document Type
Your search
131-140 from 327 results
(0.015 seconds)
-
Title: CCMini: a prototype of certifying compiler based on annotated abstract syntax treesAuthor: Bavera, Francisco / Nordio, Martín / Medel, Ricardo / Aguirre, Jorge / Baum, Gabriel AlfredoLanguage: InglésRepository: 37Subject: Ciencias Informáticas / Verification / Lenguajes de Programación / Compilers / Security
-
Title: Checking semantics in UML modelsAuthor: Kahnert, Susana / Fillottrani, Pablo RubénLanguage: InglésRepository: 37Subject: Ciencias Informáticas / UML / SOFTWARE ENGINEERING / modeling / Semantics / consistency
-
Title: Efectos, agentes y procesos tafonómicos en el área interserrana bonaerenseAuthor: Gutiérrez, María AmeliaLanguage: EspañolRepository: 37
-
Title: Defining new criteria for selection of cell-based intestinal models using publicly available databasesAuthor: Christensen, Jon / El Gebali, Sara / Natoli, Manuela / Sengstag, Thierry / Delorenzi, Mauro / Bentz, Susanne / Bouzourene, Hanifa / Rumbo, Martín / Felsani, Armando / Siissalo, Sanna / Hirvonen, Jouni / Vila, Maya R. / Saletti, Piercarlo / Aguet, Michel / Anderle, PascaleLanguage: InglésRepository: 37
-
Title: Chromosomal aberrations involving telomeres and interstitial telomeric sequencesAuthor: Bolzán, Alejandro DanielLanguage: InglésRepository: 37Subject: Ciencias Naturales / Telomeres / Chromosomal aberrations
-
Title: A different interpretation of the annual and semiannual anomalies on the magnetic activity over the EarthLanguage: InglésRepository: 37Subject: Geofísica / Anomalies / Magnetospheric cavities / H component
-
Title: The cusp anomalous dimension at three loops and beyondAuthor: Correa, Diego Hernán / Henn, Johannes / Maldacena, Juan / Sever, AmitLanguage: InglésRepository: 37Subject: Física / ’t Hooft and Polyakov loops / 1/N expansion / AdS-CFT correspondence / Scattering amplitudes / Wilson
-
Title: Spectral functions of non-essentially self-adjoint operatorsLanguage: InglésRepository: 37Subject: Matemática / Ciencias Exactas / Self-adjoint extensions / Spectral functions / Krein's formula
-
Title: Selection of the optimum stage number in pipelined floating-point unitsAuthor: Balliriain, Eduardo / Falcón Faya, Martín Ignacio / Slavkin, Pablo / Lerendegui, Norberto M.Language: 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