Publicación seriada
3D scan-based classification of Chinese young female hand morphology
ISSN: 20452322 · Editor / fuente: Nature
688
contenidos disponibles
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.
Publicación seriada
Aceptación o rechazo?: actitud de algunos padres de familia ante la educación oficial en Querétaro 1920-1940
ISSN: 14056666 · Editor / fuente: Centro Mexicano de Investigación Educativa,
297
contenidos disponibles
Publicación seriada
Diario La Ley (94): Legal Management
ISSN: 27928284 · Editor / fuente: Wolters Kluwer España - Ciudad Educativa
183
contenidos disponibles
Publicación seriada
A classification model based on G protein-coupled estrogen receptor binding affinity: development and validation
ISSN: 10048456 · Editor / fuente: The Editorial Office of Chinese Journal of Food Hygiene
147
contenidos disponibles
Publicación seriada
Ciberderecho (100)
ISSN: 27928292 · Editor / fuente: Wolters Kluwer España - Ciudad Educativa
128
contenidos disponibles
Publicación seriada
"Mi rival es mi propio corazón ..." El docente universitario y sus exigencias de transformación
ISSN: 01851284 · Editor / fuente: Centro de Estudios Educativos,
118
contenidos disponibles
Analysis of invariants for efficient bounded verification
Texto / recurso
Acceso abierto
Texto / recurso
RI ITBA
"SAT-based bounded veri cation of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for speci cation violations using a SAT-solver. If a v...
Idioma en
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access