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

Sort by Score Title Year -

1-10 from 13 results (0.015 seconds)

Title: Modelización formal y verificación automática de sistemas de tiempo real
Author: Olivero, Alfredo / Gaudiani, Adriana / Maidana, Gabriela
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Sistemas de tiempo-real / Formal models / Real time / Modelización y verificación formal / Herramientas de verificación automática

Acceder
Title: Un modelo formal de patrones orientados a objetos
Author: Cechich, Alejandra / Moore, Richard
Language: Español
Repository: 37
Subject: Ciencias Informáticas / base de datos / patterns / SOFTWARE ENGINEERING / Frameworks / métodos formales / orientación a objetos / Formal models

Acceder
Title: Estimación del mantenimiento de programas SQL
Author: Piattini Velthuis, Mario / Calero, Coral / Martínez, Antonio
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Base de Datos / Metrics / Software / Languages

Acceder
Title: Un análisis comparativo de lenguajes de consulta para bases de datos temporales
Author: Gómez, Rodolfo / Augusto, Juan Carlos
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Query languages / Base de Datos

Acceder
Title: Una arquitectura orientada a objetos para Sistemas de Información Geográfica
Author: Lliteras, Alejandra Beatriz / Cano, Diego / Trilla, Gisela / Bazzocco, Javier / Zambrano Polo y La Borda, Arturo Federico
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Sistemas de Información Geográfica (SIG) / Spatial databases and GIS / Object-oriented constructs / georeferenciamiento / Object-oriented languages / posición geográfica

Acceder
Title: Un intérprete de consultas a bases de datos expresadas mediante lógica de primer orden con clausura transitiva
Author: Reyes, Nora Susana / Grosso, Alejandro / Maldocena, Paulino / Turull Torres, José María
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Query languages / Relational databases / Predicate logic

Acceder
Title: Implementación de un lenguaje de consultas utilizando lógica de primer orden con cuantificadores de punto fijo
Author: Reyes, Nora Susana / Grosso, Alejandro / Maldocena, Paulino / Turull Torres, José María
Language: Español
Repository: 37
Subject: Ciencias Informáticas / cuantificadores de punto fijo / Query languages / Predicate logic

Acceder
Title: Sobre la negación y la inferencia no monótona en la programación en lógica
Author: Fillottrani, Pablo Rubén
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Logic Programming / Knowledge Representation Formalisms and Methods / Languages

Acceder
Title: Un generador de evaluadores de gramáticas de atributos NC(1) de máximo paralelismo sin sincronización entre procesos
Author: Arroyo, Marcelo / Florio, Nicolas / Aguirre, Jorge
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Compilers / Languages and compilers / Parallelism and concurrency

Acceder
Title: PHP: una solución "open source" para el desarrollo de páginas Web dinámicas
Author: Díaz, Francisco Javier / Banchoff Tzancoff, Claudia M.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / WWW / open source / HTML / Internet / Scripting languages

Acceder

« Previous 1 2 Next »