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 -

1671-1680 from 1805 results (0.02 seconds)

Title: Extensión del lenguaje y modelo Simplesem con soporte para paralelismo
Author: Diez de Medina, Lucas L. / Wolfmann, Aaron Gustavo Horacio / Micolini, Orlando
Language: Español
Repository: 37
Subject: Educación / Ciencias Informáticas / paralelismo / Parallelism and concurrency / simplesem / Semantics of Programming Languages / Computer Uses in Education / modelo de ejecución / Learning / sintaxis / semántica / lenguajes de programación / parallelism / èxecution model / syntax / semantics / programming languages

AccederDescargar
Title: Do ideal ao material: uma anatomia sócio-comportamental de um leilão holandês em Portugal / From ideal to material: a socio-behavioral anatomy of a Dutch auction in Portugal / De l’idéal au matériel: une anatomie socio-comportementale d’une vente aux enchères néerlandaise au Portugal / Del ideal al material: una anatomía socio-conductual de una subasta holandesa en Portugal
Author: Lobão, J.
Language: Portugués
Repository: 73
Subject: Sociologia económica / Leilão holandês / Sociologia da materialidade / Economia substancial vs. economia formal / Economic sociology / Dutch auction / Sociology of materiality / Substantial economy vs. formal economy / Sociologie économique / Vente aux enchères néerlandaise / Sociologie de la matérialité / Économie substantielle vs. économie formelle. / Sociología económica / Subasta holandesa / Sociología de la materialidad / Economía sustancial vs. economía formal

Acceder
Title: Consistencia, no trivialidad y redundancia en matemática / Consistency, nontriviality and redundancy in mathematics
Author: Catsigeras, Eleonora
Language: Español
Repository: 75
Subject: Racionalidad formal e informal / Filosofía de la matemática / Consistencia / No trivialidad / Profundidad matemática / Redundancia matemática / Formal and non-formal rationality / Philosophy of mathematics / Consistency / Non-triviality / Mathematical depth / Mathematical redundancy

Acceder
Title: Semiótica de la Interacción Comunicativa en las Organizaciones
Author: López Franco, Sonia
Language: Español
Repository: 15
Subject: Communicative Interaction / Participant observation / Languages / Semiotic. / Interacción comunicativa / observación participante / lenguajes / semiótica.
Title: Depuraciones de lo amorfo. Modelaciones morfológicas en base a procesos de crecimiento y fragmentación escalar / Depurations of the amorphous. Morphological models based on growth processes and scalar fragmentation
Author: Cañete Islas, Omar
Language: Español
Repository: 57
Subject: Representación / Composición expresión / Abstracción concretitud / Complejidad morfológica / Purismo formal / Representation / Composition expression / Abstraction concreteness / Morphological complexity / Formal purism

Acceder
Title: Verifying BON models with alloy
Author: Demasi, Ramiro Adrián / Ponzio, Pablo Daniel / Castro, Pablo Francisco / Baum, Gabriel Alfredo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / formal methods / object oriented languages / architectural models

AccederDescargar
Title: Using business process reengineering to obtain a RAISE specification
Author: Riesco, Daniel Eduardo / Uzal, Roberto / Montejano, Germán Antonio
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / formal method / Languages / Reengineering

AccederDescargar
Title: A Reference Architecture for Ontology Engineering Web Environments / Una arquitectura de referencia para ambientes web de ingeniería ontológica
Author: Braun, Germán / Estévez, Elsa Clara / Fillottrani, Pablo Rubén
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ontology engineering / software architectures / ingeniería ontológica / arquitecturas de software

Acceder
Title: Sistema de traducción de comandos de CISCO a AVAYA
Author: Mercado Polo, Darwin Ramiro
Language: Español
Repository: 57
Subject: Lenguajes formales / Plataforma Avaya / Plataforma Cisco / Léxico / Sintáctico / Traducción / Redes

Acceder
Title: A Novel CAD Tool for Electric Educational Diagrams
Author: Ruiz Villalobos, Patricia / Dorronsoro Díaz, Bernabé
Language: Inglés
Repository: 30
Subject: electrical design / self-assessment technologies / automatic assessment tools / computeraided design / homework support system

Acceder

« Previous 164 165 166 167 168 169 170 171 172 Next »