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

Sort by Score Title Year -

1-10 from 1467 results (0.044 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: Agentes inteligentes: modelos formales y aplicaciones para la educación
Author: Amaolo, Marcelo Paulo / Dolz, Daniel / Grosso, Guillermo / Kogan, Pablo / Cornejo, María Eda / Sommer, Sonia / Rodríguez, Jorge / Parra, Gerardo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Inteligencia Artificial / Formal Languages / Intelligent agents / Enseñanza

Acceder
Title: Hacia la definición de un agente generador de conocimiento de valor social para poblaciones en riesgo
Author: Amigone, Federico / Rodríguez, Jorge / Parra, Gerardo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / aprendizaje automático / Inteligencia Artificial / Intelligent agents / Formal Languages / Data mining / learning / computing for social good

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: El video tutorial como herramienta de educación no formal en estudiantes de Bogotá, Colombia / The video tutorial as a non-formal education tool for students in Bogotá, Colombia
Author: González, Orlando
Language: Español
Repository: 37
Subject: Comunicación / educación no formal / Aprendizaje / Colombia / documento audiovisual / Tecnología / learning / audiovisual / non-formal education / technology

Acceder
Title: El problema de las lenguas “prehistóricas”. Un debate sobre el estudio de las lenguas indígenas a comienzos del siglo XX / The problem of “prehistoric” languages. A debate on the study of indigenous languages in the early 20th century
Author: Domínguez, Luisa
Language: Español
Repository: 37
Subject: Letras / lenguas indígenas / americanismo / historia de la lingüística / debates en la prensa / indigenous languages / americanistic studies / history of linguistics / press debates

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: Lógica formal y argumentación
Author: Oller, Carlos A.
Language: Español
Repository: 37
Subject: Humanidades / Filosofía / lógica / lenguajes formales / teoría de la argumentación / evaluación de argumentos / argumentation theory / argument evaluation

AccederAcceder

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