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 Repository: 37 Document Type: Sin Especificar

Sort by Score Title Year -

991-995 from 995 results (0.024 seconds)

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: 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: 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: 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: 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

« Previous 92 93 94 95 96 97 98 99 100 Next »