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 Year: 2012 Year: 2006

Sort by Score Title Year -

1-10 from 54 results (0.015 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: 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: Formal analysis of the communication of probabilistic knowledge
Author: Vicari, Rosa / Seixas, Louise / Flores, Cecília / Gluz, João Carlos
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Formal models / Probabilistic computation / Communications Management

Acceder
Title: Experiencia de combinación: Educación formal universitaria - Educación a distancia - Calificación para empleo - Mejoras en las organizaciones
Author: Castellaro, Marta / Giorgetti, Carlos / Melgrati, Iván Ariel
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Educación / Learning / educación a distancia / formación basada en competencias / Computer science education / Computer Uses in Education / formación de pregrado

Acceder
Title: Tecnologías Especiales : Una herramienta para la inclusión de personas con necesidades educativas especiales a la educación formal
Author: Campos, Luis R.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Educación / educación especial / Learning / sensores / Computer science education / discapacidad / Computer Uses in Education / parálisis cerebral / teclado virtual

Acceder
Title: Uso de tecnología informática y metodologías de enseñanza a distancia como complemento y apoyo de la educación formal
Author: Niemelä, Paula Cristina
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Educación / Learning / Taller de Gramática / Webinfo / Computer Uses in Education / Computer science education

Acceder
Title: Towards the verification of RAISE specifications through Model Checking
Author: Perna, Juan Ignacio / George, Chris W.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / base de datos / model checking / RAISE / formal methods / verification techniques

Acceder
Title: Model checking RAISE applicative specifications
Author: Perna, Juan I. / George, Chris W.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Model checking / Formal methods / Verification

Acceder
Title: Um ambiente para o processamento de Linguagens Adaptativas de Programação
Author: Freitas, Aparecido Valdemir de / Neto, João José
Language: Español
Repository: 37
Subject: Ciencias Informáticas / dispositivos adaptativos / dispositivos auto-modificáveis / linguagem de programação adaptativa / Programming Languages and Software / adaptive devices / self-modifying devices

Acceder
Title: Una herramienta de soporte al proceso de desarrollo dirigido por modelos (MDD)
Author: Cuaderno, Lucas / Di Lorenzo, Ezequiel / Gaig, Agustín / Garcia, Carlos Diego / Giandini, Roxana Silvia / Ocaranza, Luciana / Pinasco, Claudia Marina / Pons, Claudia / Salvatierra, Facundo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Models / desarrollo dirigido por modelos (MDD) / Software / arquitectura dirigida por modelos (MDA) / Languages / lenguaje unificado de modelado (UML) / lenguaje de especificación formal para objetos (OCL)

Acceder

« Previous 1 2 3 4 5 6 Next »