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

Repository: 37 Query: FORMAL LANGUAGES Document Type: Sin Especificar Year: 2012

Sort by Score Title Year -

31-40 from 458 results (0.016 seconds)

Title: Caracterización formal y análisis empírico de mecanismos incrementales de búsqueda basados en contexto
Author: Lorenzetti, Carlos M.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Semantics / semántica / Information Search and Retrieval / recuperación de información semiasistida

Acceder
Title: Educación no formal utilizando redes sociales: relato de una experiencia
Author: García Redín, Alejandra / Catalá, Graciela
Language: Español
Repository: 37
Subject: Educación / Ciencias Informáticas / no docentes / no alumnos / Facebook / wiki / transdisciplinario

Acceder
Title: Definición y especificación formal de un modelo basado en servicios para la generación de sistemas de software
Author: Montejano, Germán Antonio / Testa, Oscar / Garcia, Pablo / Bast, Silvia Gabriela / Berón, Mario
Language: Español
Repository: 37
Subject: Ciencias Informáticas / COMPUTER GRAPHICS / RAISE / Software / RSL / servicios web / framework / infraestructura / métodos formales / programación orientada a servicios / computación orientada a servicios / arquitectura orientada a servicios

Acceder
Title: Tecnologías Especiales : Una herramienta para la inclusión de personas con necesidades educativas especiales a la educación formal
Author: Campos, Luis R.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Educación / educación especial / Learning / sensores / Computer science education / discapacidad / Computer Uses in Education / parálisis cerebral / teclado virtual

Acceder
Title: The role of labelled deductive systems in a formal system for defeasible argumentation
Author: Chesñevar, Carlos Iván / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / defeasible argumentation / labelled deductive systems

Acceder
Title: Formal specifications in component-based development
Author: Estévez, Elsa Clara / Fillottrani, Pablo Rubén
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software development / base de datos / CBD (Component-based development) / SOFTWARE ENGINEERING / framework / components

Acceder
Title: Towards the verification of RAISE specifications through Model Checking
Author: Perna, Juan Ignacio / George, Chris W.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / base de datos / model checking / RAISE / formal methods / verification techniques

Acceder
Title: Model checking RAISE applicative specifications
Author: Perna, Juan I. / George, Chris W.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Model checking / Formal methods / Verification

Acceder
Title: Especificación de Componentes MDA para Patrones de Diseño
Author: Martínez, Liliana Inés / Favre, Liliana María
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Model-Driven Architecture / Architectures / Patterns / reusabilidad / Design / formal specifications

Acceder
Title: Um ambiente para o processamento de Linguagens Adaptativas de Programação
Author: Freitas, Aparecido Valdemir de / Neto, João José
Language: Español
Repository: 37
Subject: Ciencias Informáticas / dispositivos adaptativos / dispositivos auto-modificáveis / linguagem de programação adaptativa / Programming Languages and Software / adaptive devices / self-modifying devices

Acceder

« Previous 1 2 3 4 5 6 7 8 9 Next »