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

Subject: Semantics of Programming Languages Language: Español Year: 2012

Sort by Score Title Year -

1-10 from 104 results (0.025 seconds)

Title: Especificación y verificación formal de sistemas críticos : Análisis de modelos de seguridad para dispositivos móviles
Author: Luna, Carlos A. / Betarte, Gustavo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / escificación formal / Semantics / Semantics of Programming Languages / sistemas críticos / modelos de seguridad para dispositivos móviles (MIDP) / asistentes de prueba (Coq)

Acceder
Title: Algunas consideraciones para la transformación de Semántica de Negocios SBVR en el Lenguaje de Ontologías Web OWL2
Author: Amaolo, Marcelo Paulo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Semantics / empresa / Languages / conocimiento / tecnologías semánticas / lenguajes de ontologías / especificación OMG SBVR

Acceder
Title: Integración de técnicas orientadas al cliente y técnicas formales en el desarrollo de software con UML y RUP
Author: Favre, Liliana María / Leonardi, María Carmen / Mauco, Virginia / Pereira, Claudia Teresa / Martínez, Liliana / Felice, Laura
Language: Español
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / UML (Unified Modeling Language) / lenguaje diseñado / Languages / Semantics / definición semántica

Acceder
Title: Creación e implementacion de talleres escolares de iniciación a la electrónica, programación en sistemas y microcontroladores con Arduino en los colegios distritales del centro-histórico de Barranquilla
Author: Lagos Gómez, Cheryl Dallan
Language: Español
Repository: 57
Subject: Universidad de la Costa / University of the Coast / Programación / Programming / Microcontroladores / Microcontrollers / Colegios distritales / District colleges / Sistemas de información / Information systems

Acceder
Title: Implementación de un sistema de planeación, programación y control de la línea de producción de muebles para bar y restaurante en Mahe-muebles.
Author: González Naranjo, Sandra Milena / Mahecha González, Erika Yineth
Language: Español
Repository: 60
Subject: Producción / Estrategias / Planeación / Programación / Control / Production / Strategies / Planning / Programming / TESIS - FACULTAD DE INGENIERÍA / INGENIERÍA INDUSTRIAL / MUEBLES -FABRICACIÓN / MÁQUINAS / PRODUCCIÓN / PRODUCTIVIDAD / COSTOS DE MANO DE OBRA

Acceder
Title: Semantics-based visualization
Author: Larrea, Martín Leonardo / Castro, Silvia Mabel
Language: Español
Repository: 37
Subject: Ciencias Informáticas / semantic / visualization / semantics-based Visualization / ontology / reasoning / RDF / OWL / Semantics

Acceder
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: Lematizador morfosintáctico y semántico robusto con flexionador y estimador idiomático, usando algoritmos eficientes y compactos para idiomas muy ricos en formas como el español
Author: Hohendahl, Andres T. / Zelasco, José F.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Procesamiento de Lenguaje Natural / Natural Language Processing / Semantics / Morphological / Algorithms

Acceder
Title: Programación de lógica rebatible : Un enfoque declarativo
Author: Cecchi, Laura / Simari, Guillermo Ricardo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Extensión de la programación lógica / ARTIFICIAL INTELLIGENCE / Semantics / Semántica declarativa de la programación lógica / Semántica de juegos / Sistemas Argumentativos

Acceder
Title: Agentes móviles inteligentes para la web semántica
Author: Mateos, Cristian M.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / Agentes Móviles Inteligentes / Web Semántica / Semantics

Acceder

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