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

Sort by Score Title Year -

1-10 from 458 results (0.015 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: 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: Moodelling of processes and formal methods
Author: Riesco, Daniel Eduardo / Montejano, Germán Antonio / Uzal, Roberto
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / base de datos / Formal methods / Languages / Reengineering of processes / Reverse engineering / RAISE language

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: Formal foundations for the unified modeling language
Author: Funes, Ana / Dasso, Aristides / Riesco, Daniel Eduardo / Montejano, Germán Antonio / Uzal, Roberto
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / formal foundations / unified modeling language / Languages / SOFTWARE ENGINEERING

Acceder

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