OPAC

Your search

Query: FORMAL LANGUAGES Repository: 65

Sort by Score Title Year -

161-170 from 193 results (0.021 seconds)

Title: A confluent calculus of macro expansion and evaluation
Language: in
Repository: 65
Subject: Macros / Explicit Substitutions / Rewriting Semantics / Programming Languages / Substituciones Explícitas / Lenguajes de Programación / Semántica

Acceder
Title: UML 2.0 interactions with OCL/RT constraints
Language: Inglés
Repository: 65
Subject: Behavioral specification / Real-time systems / Unified Modeling Language / UML

Acceder
Title: Política y Justicia en Uruguay: el poder de la Suprema Corte de Justicia (1990-2018) / Politics and Justice in Uruguay: the power of the Supreme Court of Justice (1990-2018)
Language: Español
Repository: 65
Subject: Suprema Corte de Justicia / Uruguay / Poder efectivo / Poder formal / Supreme Court of Justice / Effective power / Formal power / PODER POLITICO / PODER JUDICIAL / SISTEMA POLITICO / DERECHO CONSTITUCIONAL

Acceder
Title: On UML statechart with variabilities
Language: Inglés
Repository: 65
Subject: Máquinas de estado UML / Semántica formal / Modelado formal de variedades / Máquinas de estado con variabilidades / Líneas de productos de software

Acceder
Title: Institution-based semantics for MOF and QVT-relations :Extended version
Language: in
Repository: 65
Subject: MOF / QVT-relations / Semántica formal / Teoría de instituciones / Verificación formal

Acceder
Title: Heterogeneous verification of model transformations
Language: Inglés
Repository: 65
Subject: Ingeniería Dirigida por Modelos / Verificación / Métodos formales / Teoría de Instituciones / MOF / QVT-Relations / Heterogeneous Tool Set / Model-Driven engineering / Formal methods / Theory of institutions

Acceder
Title: Demencia y cuidados : estudio sobre la figura del cuidador formal y la incidencia del estigma de la demencia sobre las condiciones laborales
Language: Español
Repository: 65
Subject: DEMENCIA / CALIDAD DE VIDA / ENFERMEDAD DE ALZHEIMER / CONDICIONES DE TRABAJO

Acceder
Title: Hacia una especificación formal de un microcontrolador usado en marcapasos
Language: Español
Repository: 65
Subject: Microcontroladores (PICs) / Especificaciones Formales / Coq

Acceder
Title: Formal analysis of security models for mobile devices, virtualization platforms and domain name systems
Language: Inglés
Repository: 65
Subject: Modelos formales / Prioridades de seguridad / Asistente de pruebas Coq / JME-MIDP / Virtualización / DNSSEC

Acceder
Title: Estudio de caso: Cooperativa Social de Clasificadores de Residuos Ave Fénix. Son los protagonistas de la búsqueda por la inclusión al mercado formal del trabajo, con la ilusión de mejorar su calidad de vida y el medioambiente
Language: Español
Repository: 65
Subject: TRABAJO / COOPERATIVISMO / CLASIFICADORES DE RESIDUOS

Acceder

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

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search