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

2 resultados encontrados.

Tipos de recurso: Libro electrónico Artículo Revista Tesis Capítulo
Búsqueda académica
Automated workarounds from Java Program specifications based on SAT solving
Texto / recurso
Acceso abierto Texto / recurso RI ITBA
Uva, Marcelo et al · RI ITBA · 2020 · ISSN 1433-2787
"The failures that bugs in software lead to can sometimes be bypassed by the so called workarounds: when a (faulty) routine fails, alternative routines that the system offers can be used in place of the failing one, to ...
Idioma en
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Using Thematic Contexts and Previous Solutions for Maintaining and Accessing Institutional Repositories
Artículo
Acceso institucional disponible Artículo SEDICI UNLP
Delgado, Pablo H. et al · SEDICI UNLP · 2011
Institutional Repositories are collections of digital resources organized to facilitate their long term access. Two fundamental issues that need to be addressed at the moment of implementing these repositories are their ...
Idioma en
Acceso institucional disponibleEl acceso puede requerir institución, suscripción, proxy, VPN o autenticación.
Institucional