News Help Institutional access

Search academic resources

Explore institutional catalogs, electronic resources, open-access journals, available collections, and academic access links.

Advanced search
What NODOVOX Discovery brings together: Institutional catalogs, electronic resources, open-access journals, available collections, and academic access links.
forensic medicine law journals Open Access full text

Results

2 results found.

Resource types: Print book E-book Article Journal Thesis Chapter
Academic search
An evolutionary approach to translating operational specifications into declarative specifications
Article
Article
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 English
El enlace apunta a material asociado, anexos, tablas, datos o página complementaria. No se marca como libro/texto completo.
Material complementario
Ver opciones de acceso Bibliographic record
IQ-TREE 2: New Models and Efficient Methods for Phylogenetic Inference in the Genomic Era
Article
Article
IQ-TREE 2: New Models and Efficient Methods for Phylogenetic Inference in the Genomic Era
Bùi Quang Minh; Heiko A. Schmidt; Olga Chernomor; Dominik Schrempf; Michael D. Woodhams; Arndt von Haeseler; Robert Lanfear · Molecular Biology and Evolution · 2020
IQ-TREE (http://www.iqtree.org, last accessed February 6, 2020) is a user-friendly and widely used software package for phylogenetic inference using maximum likelihood. Since the release of version 1 in 2014, we have con...
Idioma English
El enlace apunta a material asociado, anexos, tablas, datos o página complementaria. No se marca como libro/texto completo.
Material complementario
Ver opciones de acceso Bibliographic record
NODITO
Asistencia de búsqueda académica
Te ayudo a buscar, encontrar y acceder a recursos académicos.
Consultar con NODITO
¿Qué necesitás hacer?
Consultas rápidas
NODITO Asistencia contextual NDX