OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Query: FORMAL LANGUAGES Document Type: Artículo

Sort by Score Title Year -

1651-1660 from 1805 results (0.019 seconds)

Title: Alternative shaper: a model for automatic design generation
Author: Santos, F. / Kwiecinski, K. / de Almeida, A. / Eloy, S. / Taborda, B.
Language: Inglés
Repository: 73
Subject: Shape grammar / Spatial grammar / Automatic design generation / Formal specification / Applied formal methods / Domínio/Área Científica::Ciências Naturais::Ciências da Computação e da Informação

Acceder
Title: Jóvenes en Colombia y Brasil en una sociedad individualista en busca de trabajo digno y seguridad social / Young people in Colombia and Brazil in an individualistic society in search of decent work and social security
Author: Vargas Sandoval, Yaneth / Bracchi Silveira, Carla
Language: Español
Repository: 40
Subject: youth / formal work / informal work / social security / juventud / trabajo formal / trabajo informal / seguridad social
Title: La historia de la filosofía como examen crítico de la filosofía precedente: las objeciones de Aristóteles a la causalidad de las Ideas
Author: Di Camillo, Silvana Gabriela
Language: Español
Repository: 37
Subject: Filosofía / Aristóteles / Historia de la filosofía / Críticas a Platón / Causa formal / Eternidad de idea y forma / Aristotle / History of philosophy / Criticism of Plato / Formal cause / Eternity of Idea and form

Acceder
Title: Del placer de la lectura al deseo de leer. El aprendizaje del buen lector / From Reading for Pleasure to the Desire to Read. Becoming a Good Reader
Author: Ruiz Bejarano, Aurora María
Language: Español
Repository: 30
Subject: etnografía / estudio de caso / educación formal / investigación sobre la lectura / Ethnography / Study Case / Formal Education / Research on reading

Acceder
Title: Alfabetización científica en contextos escolares: El Proyecto Zientzia Live! / Scientific literacy in school context: The Zientzia Live! Project
Author: Garmendia Mujika, Mikel / Guisasola Aranzabal, Jenaro
Language: Español
Repository: 30
Subject: alfabetización científica / enseñanza/aprendizaje no formal / ciencias en la ESO / scientific literacy / teaching / learning non-formal / science at ESO

Acceder
Title: LA PRODUCCIÓN SOCIAL DE VIVIENDA A TRAVÉS DE LA PRÁCTICA ASOCIATIVA EN SIETE PAÍSES SUDAMERICANOS
Author: Cano-Castro, Ginna Paola
Language: Español
Repository: 40
Subject: Associative practice / organization / housing / car production and formal and informal / Práctica asociativa / organización / vivienda / auto-producción y formal e informal / Une pratique associative / une organisation / une demeure / une auto une production et formel et peu sérieux

Acceder
Title: Wittgenstein's solution to the problem of the "concept horse", or how to talk about the structure of the language according to the Tractatus / La solución de Wittgenstein al problema del "concepto caballo", o de cómo hablar acerca de la estructura del lenguaje según el Tractatus
Author: Chica Pérez, Víctor Hugo
Language: Español
Repository: 15
Subject: Universidad de Antioquia / Concept horse, formal concept, Tractatus, logical concepts. / Concepto caballo / concepto formal / Tr a c t a t u s / conceptos lógicos.
Title: A Method for Patching Interleaving-Replay Attacks in Faulty Security Protocols
Language: Inglés
Repository: 34
Subject: Authentication / Electric fault location / Mathematical models / Network protocols / Software engineering / Formal methods / Formal verification / Mobile security / Theorem proving / Verification / Replay attacks / Security protocols / Network security / Cryptographic protocols / Engineering practices / Fault localization / Inductive method / patching / Replay attack / State exploration / 7 INGENIERÍA Y TECNOLOGÍA

Acceder
Title: Política y Justicia en Uruguay: el poder de la Suprema Corte de Justicia (1990-2018) / Politics and Justice in Uruguay: the power of the Supreme Court of Justice (1990-2018)
Language: Español
Repository: 65
Subject: Suprema Corte de Justicia / Uruguay / Poder efectivo / Poder formal / Supreme Court of Justice / Effective power / Formal power / PODER POLITICO / PODER JUDICIAL / SISTEMA POLITICO / DERECHO CONSTITUCIONAL

Acceder
Title: Diseño y prototipado de plataforma web para la gestión del aprendizaje en organizaciones / Design and prototyping of web platform for learning management in organizations
Author: Calderón Pérez, Julio Cesar / Escobar Rueda, Jaime Jose
Language: Español
Repository: 22
Subject: conocimiento formal, conocimiento informal, sistema de gestión de aprendizaje, sistema de gestión de contenidos, organizacional / Formal knowledge, informal knowledge, learning management system, content management system, organizational

Acceder

« Previous 162 163 164 165 166 167 168 169 170 Next »