Novedades Ayuda Acceso institucional

Buscar recursos académicos

Encontrá libros, artículos, revistas, tesis y otros recursos académicos. Buscá, elegí el resultado correcto y accedé al contenido.

Búsqueda avanzada
Qué reúne NODOVOX Discovery: catálogos institucionales, recursos electrónicos, revistas de acceso abierto, colecciones disponibles y enlaces de consulta académica.
medicina forense derecho revistas Open Access texto completo

Resultados

3 resultados encontrados.

Tipos de recurso: Libro electrónico Artículo Revista Tesis Capítulo
Búsqueda académica
Increasing Airports' On-Time Arrival Performance Through Airport Capacity and Efficiency Indicators
Artículo
Acceso abierto Artículo DOAJ
Increasing Airports' On-Time Arrival Performance Through Airport Capacity and Efficiency Indicators
Nurettin Dinler et al · Embry-Riddle Aeronautical University · 2020 · ISSN 2374-6793
To optimize the U.S. airports’ operational performance, the Federal Aviation Administration (FAA) provides various metric values (i.e., average gate arrival delays, the average number of daily aircraft operations, effe...
LCC LCC:Motor vehicles. Aeronautics. AstronauticsIdioma eng
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Disponible en línea Ficha bibliográfica
An Evaluation of the Operational Restrictions Imposed to Congonhas Airport by Civil Aviation Instruction121-1013
Artículo
Acceso abierto Artículo DOAJ
An Evaluation of the Operational Restrictions Imposed to Congonhas Airport by Civil Aviation Instruction121-1013
Glanski Pacheco, Jr. et al · Embry-Riddle Aeronautical University · 2020 · ISSN 2374-6793
Due to aircraft accidents, in 2008, operational restrictions were imposed on Congonhas airport by IAC 121-1013. These restrictions sought to create a balance between flight safety and operational efficiency. The purpose ...
LCC LCC:Motor vehicles. Aeronautics. AstronauticsIdioma eng
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Disponible en línea Ficha bibliográfica
An evolutionary approach to translating operational specifications into declarative specifications
Artículo
Material complementario disponible Artículo RI ITBA
An evolutionary approach to translating operational specifications into declarative specifications
Molina, Facundo et al · RI ITBA · 2020 · ISSN 0167-6423
"Various tools for program analysis, including run-time assertion checkers and static analyzers such as verification and test generation tools, require formal specifications of the programs being analyzed. Moreover, many...
Idioma en
Material complementario disponibleEl enlace apunta a material asociado, anexos, tablas, datos o página complementaria. No se marca como libro/texto completo.
Material complementario
Abrir material Ficha bibliográfica