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
Enabledness-based program abstractions for behavior validation
Artículo
Acceso abierto Artículo CONICET Digital
Enabledness-based program abstractions for behavior validation
de Caso, Guido et al · Assoc Computing Machinery · 2013 · ISSN 1049-331X
Code artifacts that have nontrivial requirements with respect to the ordering in which their methods or procedures ought to be called are common and appear, for instance, in the form of API implementations and objects. T...
Idioma eng
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Disponible en línea Ficha bibliográfica
Un enfoque declarativo para modelar el comportamiento en sistemas reactivos
Tesis
Material complementario disponible Tesis Repositorio Institucional Digital UNS
Un enfoque declarativo para modelar el comportamiento en sistemas reactivos
Asteasuain, Fernando · Repositorio de Prueba NODOVOX · 2013
El comportamiento debe contemplarse desde etapas tempranas del desarrollo de software. En este contexto el modelado declarativo incremental constituye una opción atractiva para capturar y analizar los requerimientos c...
Idioma spa
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
MEGA6: Molecular Evolutionary Genetics Analysis Version 6.0
Artículo
Material complementario disponible Artículo OpenAlex
MEGA6: Molecular Evolutionary Genetics Analysis Version 6.0
Koichiro Tamura; Glen Stecher; Daniel S. Peterson; Alan Filipski; Sudhir Kumar · Molecular Biology and Evolution · 2013
The Molecular Evolutionary Genetics Analysis (MEGA) software has matured to contain a large collection of methods and tools of computational molecular evolution. Here, we describe new additions that make MEGA a more comp...
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