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 Language: Español Repository: 37

Sort by Score Title Year -

131-140 from 1467 results (0.021 seconds)

Title: Listas: Una Formalización Relacional
Author: Martínez López, Pablo E. / Baum, Gabriel Alfredo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / PROGRAMMING LANGUAGES / fork álgebras / construcción formal de programas / teoría de listas / tipos de datos

Acceder
Title: Análisis modular y recuperación de contraejemplos en TACO
Author: Alborodo, Raúl / Ricci, Nicolás / Galeotti, Juan P. / Aguirre, Nazareno Matías
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software/Program Verification / Languages

Acceder
Title: Análisis de lenguajes para especificación e implementación de agentes
Author: Gottifredi, Sebastián / García, Alejandro Javier
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Sistemas Multi-Agentes / Intelligent agents / Languages / Agentes / Lenguaje de especificación de agentes / Lenguaje de implementación de agentes / Comunicación

Acceder
Title: OOHQL: un lenguaje de consulta sobre aplicaciones hipermediales orientadas a objetos
Author: Arambarri, Federico / Sansano, Mauricio
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Object-oriented programming / Languages

Acceder
Title: Verificación en Alloy de modelos y metamodelos específicos del dominio
Author: Garis, Ana Gabriela / Sanchez, Alejandro
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Alloy / Languages / DSL / verificación

Acceder
Title: Un sistema multilenguaje para argumentación rebatible
Author: Chesñevar, Carlos Iván / Simari, Guillermo Ricardo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / inteligencia artificial / Languages / ARTIFICIAL INTELLIGENCE / contextos / razonamiento rebatible / sistemas argumentativos

Acceder
Title: Aplicando métodos formales a la construcción de aplicaciones de hipermedia colaborativas
Author: Mola, Vanesa / Russo, Wanda Mariana
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Languages / aplicaciones informáticas / hipermedia

Acceder
Title: Uso de la gramática distributiva en la ingeniería de requisitos
Author: Dasso, Aristides / Funes, Ana
Language: Español
Repository: 37
Subject: Ciencias Informáticas / gramática distributiva / Languages / lenguaje natural

Acceder
Title: Vinculación de un curso interactivo multimedial con un lenguaje visual para ejecución y animación de algoritmos
Author: De Giusti, Armando Eduardo / Madoz, María Cristina / Gorga, Gladys / Bertone, Rodolfo Alfredo / Champredonde, Raúl
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Curso interactivo multimedial / Visual / informática / Lenguaje Visual / educación / Languages / Algorithms / ejecución y animación de algoritmos

Acceder
Title: Analizando el uso de (Dyn)Alloy como herramienta educativa
Author: Cornejo, César / Politano, Mariano / Raverta, Fernando / Permigiani, Sonia / Ponzio, Pablo Daniel / Regis, Germán / Aguirre, Nazareno Matías
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Educación / Languages / Requirements/Specifications

Acceder

« Previous 10 11 12 13 14 15 16 17 18 Next »