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
Verifying BON models with alloy
Artículo
Acceso abierto Artículo SEDICI UNLP
Demasi, Ramiro Adrián et al · SEDICI UNLP · 2005
In this paper we describe a methodology to translate BON (architectural) designs to Alloy specifications. The main virtue of this process is that it can be implemented by means of software tools. The utilization of this ...
Idioma en
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Estratigrafía secuencial de alta resolución y análisis arquitectural de cuerpos en sistemas fluviales de la Aloformación Punta San Andrés (Plio-Pleistoceno), barrancas de Miramar-Mar del Plata
Tesis
Material complementario disponible Tesis SEDICI UNLP
Beilinson, Elisa · SEDICI UNLP · 2011
El presente trabajo de tesis doctoral se propuso trabajar sobre la aplicación de los métodos de la estratigrafía secuencial en sucesiones continentales de los sistemas fluviales del Plio-Pleistoceno que afloran en los...
Idioma es
Material complementario disponibleEl enlace apunta a material asociado, anexos, tablas, datos o página complementaria. No se marca como libro/texto completo.
Material complementario