Buscar recursos académicos

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

Qué reúne NODOVOX Discovery: catálogos institucionales, recursos electrónicos, revistas de acceso abierto, colecciones disponibles y enlaces de consulta académica.

Resultados

5 resultados encontrados.

Tipos de recurso: Libro electrónico Artículo Revista Tesis Capítulo
Búsqueda académica
An evolutionary approach to translating operational specifications into declarative specifications
Artículo
Material complementario disponible Artículo RI ITBA
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
Audit Tata Kelola Teknologi Informasi pada Pengukuran Kinerja dan Kapasitas Bandwith berdasarkan Cobit 4.1
Artículo
Acceso abierto Artículo DOAJ
Widya Sayekti et al · University of Brawijaya · 2020 · ISSN 2355-7699
Universitas Internasional Semen Indonesia (UISI) di Gresik adalah merupakan perguruan tinggi yang berada di bawah naungan Yayasan Semen Indonesia Tbk. Teknologi informasi (TI) yang ada pada Universitas Internasional Seme...
LCC TENDOlRlY2hub2xvZ3k~; TENDOkluZm9ybWF0aW9uIHRlY2hub2xvZ3k~Idioma ind
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Herramienta de integración de actividades para proyectos de desarrollo de software
Tesis
Acceso institucional disponible Tesis RI ITBA
Montes, Gabriel · RI ITBA · 2020
"El uso de múltiples herramientas de software, por lo general inconexas, para realizar la gestión de los proyectos de desarrollo de software presenta desventajas respecto del uso de una única herramienta de gestión i...
Idioma es
Acceso institucional disponibleEl acceso puede requerir institución, suscripción, proxy, VPN o autenticación.
Institucional
Sistemas de asistencia para la configuración de ventiladores OAF en neonatología
Tesis
Acceso abierto Tesis RI ITBA
Bermejo, Facundo · RI ITBA · 2020
"La ingeniería del Software permite el desarrollo de herramientas que pueden ayudar en el entrenamiento y la introducción de este tipo de tecnologías. La presente obra muestra el desarrollo de un sistema de asistencia...
Idioma es
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
<scp>UCSF ChimeraX</scp>: Structure visualization for researchers, educators, and developers
Artículo
Material complementario disponible Artículo OpenAlex
Eric F. Pettersen; Thomas D. Goddard; Conrad C. Huang; Elaine C. Meng; Gregory S. Couch; Tristan I. Croll; John H. Morris; Thomas E. Ferrin · Protein Science · 2020
UCSF ChimeraX is the next-generation interactive visualization program from the Resource for Biocomputing, Visualization, and Informatics (RBVI), following UCSF Chimera. ChimeraX brings (a) significant performance and gr...
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