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 -

111-120 from 301 results (0.014 seconds)

Title: Actualización de bases de conocimiento en el contexto de horn como lenguaje de representación
Author: Luna, Carlos Daniel / Falappa, Marcelo Alejandro
Language: Español
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / Lógica / Programación en Lógica / Languages / Inteligencia Artificial / Teoría de Cambio de Creencias / Bases de Conocimiento

Acceder
Title: Análisis asintótico amortizado en lenguajes funcionales perezosos
Author: Gonzalía, Carlos José
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Languages / Análisis asintótico amortizado / lenguajes funcionales perezosos

Acceder
Title: Implementación en Haskell de un algoritmo general para resolución de ecuaciones por métodos iterativos
Author: Caffa, Angel / Rosa, Sylvia da
Language: Español
Repository: 37
Subject: Ciencias Informáticas / lenguajes de programación / Languages / lenguajes funcionales perezosos / Algorithms / métodos numéricos / ecuaciones no lineales / sistemas de ecuaciones lineales

Acceder
Title: Definición de métrica con OCL para el diseño orientado a aspectos usando perfiles UML
Author: Baigorria, Lorena / Montejano, Germán Antonio / Riesco, Daniel Eduardo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / orientación a aspectos / Metrics / Multiparadigm languages

Acceder
Title: Identificación y modelado de aspectos tempranos dirigido por tarjetas de responsabilidades y colaboraciones
Author: Casas, Sandra / Reinaga, Héctor
Language: Español
Repository: 37
Subject: Ciencias Informáticas / crosscutting concerns / Aspect-Oriented Development / Software development / Multiparadigm languages / Software Orientado a Aspectos

Acceder
Title: Herramientas para el desarrollo de software embebido para aplicaciones aeronáuticas / Tools for development of embedded software for aeronautic applications
Author: Arias, Silvia Edith / Montes, Alfredo Miguel / Banchio, Enrique / Gonzalez Kriegel, Bernardo / Muñoz, Gabriel J.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Programming Languages and Software / Jovial / Aeronaves / análisis de código / Parser / Eclipse / code analisis

Acceder
Title: Un modelo de predicción de desempeño para bases de datos relacionales paralelas sobre BSP
Author: Marín, Mauricio / Canumán, José / Laguía, Daniel
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Relational databases / Parallel processing / Query languages / Distributed Systems

Acceder
Title: Explotación de información de alto valor para la mitigación de vulnerabilidades en operaciones militares basadas en redes
Author: Tamburri, Adrián Mario / Gilman, Bernardo Marcelo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Conocimiento / Languages / información / Operaciones Militares Basadas en Redes / Toma de Decisiones / Bases de Conocimiento / Lenguajes Específicos de Dominio

Acceder
Title: DeLP como lenguaje de consulta: un enfoque preliminar al poder expresivo
Author: Cecchi, Laura / Simari, Guillermo Ricardo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Sistemas Argumentativos / Logic Programming / base de datos / Razonamiento Rebatible / Languages / Programación en lógica / Complejidad / Poder Expresivo

Acceder
Title: Definición del diseño orientado a aspectos según el metamodelo de la OMG
Author: Abdelahad, Corina / Riesco, Daniel Eduardo / Baigorria, Lorena / Perez, Norma
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Object-oriented Programming / Standards / Software / Languages

Acceder

« Previous 8 9 10 11 12 13 14 15 16 Next »