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

Sort by Score Title Year -

151-160 from 1773 results (0.018 seconds)

Title: Características estructurales de las redes sociales de mujeres con y sin vinculación al sistema formal de salud
Author: Gonzalez Cowes, Valeria Laura
Language: Español
Repository: 37
Subject: Psicología / redes sociales / Mujeres / Sistemas de Salud

Acceder
Title: Relación entre la ganancia solar y la calefacción auxiliar para dos tipos de envolvente formal edilicia
Author: Esteves, Alfredo / Gelardi, Daniel
Language: Español
Repository: 37
Subject: Arquitectura / Ingeniería / arquitectura sustentable / eficiencia energética / calefacción auxiliar / costos operativos

Acceder
Title: Educacion formal y deporte de élite en adolescentes argentinos / Education and elite sports in argentinean adolescents
Author: Laiño, Fernando / Tuñón, Ianina / Castro, Hernán / Pérez Rodríguez, Martín
Language: Español
Repository: 37
Subject: Educación Física / Talentos Deportivos / Escuela secundaria / Facilitadores / Educación Deportiva / Políticas Públicas

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: A Lightweight Approach for the Semantic Validation of Model Refinements
Author: Pons, Claudia / García, Diego
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / model checking / model transformation / modeling / MOF / Object Constraint Language / OCL / refinement / testing / UML / validation

Acceder
Title: Especificación de Componentes MDA para Patrones de Diseño
Author: Martínez, Liliana Inés / Favre, Liliana María
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Model-Driven Architecture / Architectures / Patterns / reusabilidad / Design / formal specifications

Acceder
Title: A Reference Architecture for Ontology Engineering Web Environments / Una arquitectura de referencia para ambientes web de ingeniería ontológica
Author: Braun, Germán / Estévez, Elsa Clara / Fillottrani, Pablo Rubén
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ontology engineering / software architectures / ingeniería ontológica / arquitecturas de software

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: From boxes to worlds
Author: Hirsch, Dan Francisco / Areces, Carlos Eduardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software Design / Graphic Languages / Modal Logics / Formal Verification / Languages / Software

Acceder

« Previous 12 13 14 15 16 17 18 19 20 Next »