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

Sort by Score Title Year -

1-10 from 792 results (0.014 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: 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: “ASLX”: Semantic Analyzer for programming languages based on XML
Author: Buffa, Gabriela Yanel / Pellegrini, Franco Gaston
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software / Semantics / Extensible Markup Language / Document Type Definition / programming languages

Acceder
Title: La (re) educación postural en el ámbito formal y no formal
Author: Torres, Andrea Karina
Language: Español
Repository: 37
Subject: Educación Física / Gimnasia / Conciencia corporal / Patrón motor / Acortamiento muscular / Debilitamiento muscular

AccederAcceder
Title: "Los caminos de la diversidad" : El circuito como estrategia de articulación entre la enseñanza formal y no formal
Author: Rey, P. / González, E. / Gutiérrez, Daniel Eduardo / Ramírez, Silvia
Language: Español
Repository: 37
Subject: Humanidades / Educación / enseñanza media / ciencia / diversidad / aprendizaje cooperativo / intercambio

AccederDescargar

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