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

Sort by Score Title Year -

1-10 from 1773 results (0.087 seconds)

Title: Simulators for teaching formal languages and automata theory: a comparative survey
Author: Chesñevar, Carlos Iván / Cobo, María Laura
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Educational Software / Automata Theory / Formal Languages / tecnología / educación / Education

Acceder
Title: A combinação da técnica de orientação a objetos ooa com a linguagem formal de especificação sdl para o desenvolvimento de um sistema de banco de dados
Author: Nassif, Nadia Adel / Borelli, Walter da Cunha
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / Linguagem Formal de Especificação SDL / Desenvolvimento de um Sistema de Banco de Dados / SOFTWARE ENGINEERING / base de datos / Formal Languages

Acceder
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: Fast cellular automata with restricted inter-cell communication: computational capacity
Author: Kutrib, Martin / Malcher, Andreas
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Unbounded-action devices (e.g., cellular automata, circuits, networks of machines) / Arrays / Formal Languages / Parallel Architectures

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: Verification and validation of domain specific languages using Alloy
Author: Garis, Ana Gabriela / Sanchez, Alejandro
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / domain specific language (DSL) / Verification / Validation

Acceder

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