Cerca risorse accademiche

Esplora cataloghi istituzionali, risorse elettroniche, riviste ad accesso aperto, collezioni disponibili e collegamenti per l’accesso accademico.

Ricerca avanzata

Cosa riunisce NODOVOX Discovery: Cataloghi istituzionali, risorse elettroniche, riviste ad accesso aperto, collezioni disponibili e collegamenti per l’accesso accademico.

medicina legale diritto riviste Open Access testo completo

An evolutionary approach to translating operational specifications into declarative specifications

Articolo

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 Inglés

Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.

Open Access

Ver opciones de acceso Record bibliografico

IQ-TREE 2: New Models and Efficient Methods for Phylogenetic Inference in the Genomic Era

Articolo

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 Inglés

Página del recurso disponiblePágina de referencia del recurso. El texto completo no está confirmado automáticamente.

Página del recurso

Ver opciones de acceso Record bibliografico

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

Cerca risorse accademiche

Risultati