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

Sort by Score Title Year -

1-10 from 343 results (0.015 seconds)

Title: Especificación formal de desarrollo de un sistema de firma digital
Author: Daniele, Marcelo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / RAISE / Formal Languages / firma electrónica / criptografía / RSL

Acceder
Title: Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z
Author: Becker, Valeria / Pons, Claudia
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Formal Languages / OCL / base de datos / UML / Semantics / Object-Z / SOFTWARE ENGINEERING / lenguajes formales / semántica

Acceder
Title: Tecnología informática en un curso de lenguajes formales y teoría de autómatas: un enfoque constructivista
Author: Chesñevar, Carlos Iván / Maguitman, Ana Gabriela / González, María Paula / Cobo, María Laura
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Formal Languages / Informática Educativa / tecnología / teoría de lenguajes formales y autómatas / informática / educación

Acceder
Title: Explicaciones en argumentación rebatible
Author: Giulietti, Claudio J. / García, Alejandro Javier
Language: Español
Repository: 37
Subject: Ciencias Informáticas / MATHEMATICAL LOGIC AND FORMAL LANGUAGES / explicaciones / Logical Design / argumentación / DeLP

Acceder
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: ¿Ecos de Lautaro?: las lenguas indígenas como patrimonio cultural del nacionalismo criollo en el siglo XIX / Lautaro's Echo? Aborigine Languages as Cultural Patrimony of Creole Nationalism in the 19th Century
Author: Pas, Hernán Francisco
Language: Español
Repository: 37
Subject: Letras / Lenguas indígenas / Patrimonios culturales / Elites letradas / Filología y lingüística / Siglo XIX / Indigenous languages / Cultural heritage / Literate elites / Philology and Linguistics / 19th Century

AccederAcceder
Title: Educación no formal : Fortalezas y debilidades
Author: Diaz Posse, Macarena
Language: Español
Repository: 37
Subject: Bellas Artes / Educación / educación no formal / educación artística

Acceder
Title: Modelización formal y verificación automática de sistemas de tiempo real
Author: Olivero, Alfredo / Gaudiani, Adriana / Maidana, Gabriela
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Sistemas de tiempo-real / Formal models / Real time / Modelización y verificación formal / Herramientas de verificación automática

Acceder
Title: Un modelo formal de patrones orientados a objetos
Author: Cechich, Alejandra / Moore, Richard
Language: Español
Repository: 37
Subject: Ciencias Informáticas / base de datos / patterns / SOFTWARE ENGINEERING / Frameworks / métodos formales / orientación a objetos / Formal models

Acceder
Title: Especificación formal en RSL de una infraestructura abierta y estándar de servicios web para Sistemas de Información Geográfica
Author: Testa, Oscar / Riesco, Daniel Eduardo / Montejano, Germán Antonio
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Sistemas de Información Geográfica / Web-based services / Frameworks / Formal methods

Acceder

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