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

Sort by Score Title Year -

221-230 from 1467 results (0.015 seconds)

Title: Programación de sistemas de tiempo real blando y duro en lenguaje Java : Ventajas y desventajas con respecto a C
Author: Klc, Demian
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Languages / tiempo real / Programming Environments / Java / RTSJ / JamaicaVM

Acceder
Title: Verificación de propiedades temporales de diseños community: un caso de estudio
Author: Aguirre, Nazareno Matías / Regis, Germán
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Temporal logic / Design languages / Verification

Acceder
Title: Especificación del comportamiento interactivo de componentes mediante pew
Author: Amaro, Silvia / Pimentel, Ernesto
Language: Español
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / Lenguajes de coordinación / Languages / software basado en componentes / cálculo de canales / interoperabilidad / álgebra de procesos

Acceder
Title: Un metalenguaje de programación orientado al diseño de interfaces gráficas
Author: Santana, Carlos Ariel / Coni, Cintia Vanesa
Language: Español
Repository: 37
Subject: Ciencias Informáticas / arquitectura dirigida por modelos / Languages / transformaciones de modelos / interfaz de usuario

Acceder
Title: Especificación e implementación de transformaciones de modelos de software aplicando estándares
Author: Simoncini, Germán / García, Luciano
Language: Español
Repository: 37
Subject: Ciencias Informáticas / MDD / Languages / lenguajes de transformación / repositorio de transformaciones / plataforma Eclipse / Java / frameworks

Acceder
Title: Avances sobre bases de datos no convencionales
Author: Arroyuelo, Jorge / Esquivel, Susana Cecilia / Grosso, Alejandro / Ludueña, Verónica / Reyes, Nora Susana / Chávez, Edgar / Navarro, Gonzalo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Query languages / Multimedia databases

Acceder
Title: JEDI: An interactive interpreter for JAVA
Author: Rodrigues, Hermann Oliveira / Camarão, Carlos
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Interactive Interpreter / JEDI / JAVA / PROGRAMMING LANGUAGES / sistema operativo

Acceder
Title: Implementación de un intérprete para un lenguaje de consultas puramente relacional y completo
Author: Barroso, Luis Jesús / Gagliardi, Edilma Olinda / Molina, Gladys Mabel / Quiroga, José Armando / Turull Torres, José María
Language: Español
Repository: 37
Subject: Ciencias Informáticas / base de datos / Queries computables: CQ / Languages / Lenguaje relacional completo / SOFTWARE ENGINEERING / Intérprete para el lenguaje QL

Acceder
Title: Desarrollo de software de apoyo a la enseñanza de la teoría de lenguajes y autómatas y al diseño de compliladores
Author: Aguirre, Jorge / Arroyo, Marcelo / Grinspan, Valentina
Language: Español
Repository: 37
Subject: Ciencias Informáticas / enseñanza / Enseñanza de la Teoría de Lenguajes / Software / Languages / Software de Apoyo / informática / educación / Diseño de Compliladores

Acceder
Title: Herramienta de generación de procesadores de lenguajes para código móvil seguro
Author: Arroyo, Marcelo / Florio, Nicolás / Felippa, J. / Aguirre, Jorge / Gómez, Gabriela / Bavera, Francisco / Caymes Scutari, Paola / Nordio, D.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / herramientas / Languages / lenguajes / Theory of Computation / código / Código Móvil Seguro (CMS) / Proof Carrying Code (PCC)

Acceder

« Previous 19 20 21 22 23 24 25 26 27 Next »