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 Year: 2012 Language: Español Repository: 37 Document Type: Sin Especificar

Sort by Score Title Year -

161-170 from 301 results (0.012 seconds)

Title: Las partículas exceptivas y su naturaleza categorial
Author: Ferrari, Laura D.
Language: Español
Repository: 37
Subject: Humanidades / Letras / lingüística formal / categorización gramatical / morfosintaxis / descripción lingüística

AccederAcceder
Title: Inversión de sujeto en las construcciones inacusativas: análisis en los diferentes niveles sintagmáticos
Author: Durán, José
Language: Español
Repository: 37
Subject: Humanidades / Letras / lingüística formal / gramática generativa / sintaxis / semántica / construcción inacusativa

AccederAcceder
Title: Modelos formales del razonamiento científico
Author: Delrieux, Claudio
Language: Español
Repository: 37
Subject: Ciencias Informáticas / formalismos / Formal models / ARTIFICIAL INTELLIGENCE / teoría científica / inferencias / deducción

Acceder
Title: Hacia la composición paralela de programas en DynAlloy
Author: Aguirre, Nazareno Matías / Novaira, Maria Marta / Permigiani, Sonia
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Lenguajes de Programación / Formal methods / lenguaje de especificaciones / Verification / validación de propiedades / operador para composición paralela / Validation

Acceder
Title: Modelos de datos espaciales
Author: Vitturini, Mercedes / Castro, Silvia Mabel / Martig, Sergio R.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Formal models / Modelos / datos espaciales

Acceder
Title: Lenguajes de transformación de modelos : Un análisis comparativo
Author: Correa, Natalia / Giandini, Roxana Silvia
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Informática / model driven architecture / model transformation / SOFTWARE ENGINEERING / System architectures / Modeling of computer architecture / arquitectura dirigida por modelos

Acceder
Title: Alternativa para especificación sintáctica: gramática de sistemas de íconos generalizados-Gsig
Author: Díaz Frías, Juan Francisco / Tavera Romero, Carlos Andrés
Language: Español
Repository: 37
Subject: Ciencias Informáticas / gramática posicional extendida / Visual Programming / especificación textual / extended positional grammar / textual specification

Acceder
Title: JBLIF, a tool for non-interference analysis of java and java bytecode programs
Author: Cavadini, Salvador V.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Informática / SOFTWARE ENGINEERING / Information flow controls / Security / information flow control / non-interference

Acceder
Title: Educarse y divertirse, la universidad y el hackspace
Author: Valeros, Verónica / García, Sebastián
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Educación / educación / universidad / hackspace / seguridad / innovación

Acceder
Title: Redes colaborativas, tecnología e identidades: un acercamiento a los modelos tecnológicos de comunicación en la conformación de redes regionales a partir del uso de una plataforma educativa en la UNRC
Author: Asaad, Claudio / Ferreira Szpiniak, Ariel / Guazzone, Jorge Oscar / Thuer, Sebastián
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Educación / Distance learning / Learning / Computer Uses in Education / TICs / educación a distancia / plataforma de comunicación / enseñanza-aprendizaje

Acceder

« Previous 13 14 15 16 17 18 19 20 21 Next »