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 Document Type: Sin Especificar Year: 2011

Sort by Score Title Year -

1-10 from 117 results (0.017 seconds)

Title: Especificación y verificación formal de sistemas críticos : Análisis de modelos de seguridad para dispositivos móviles
Author: Luna, Carlos A. / Betarte, Gustavo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / escificación formal / Semantics / Semantics of Programming Languages / sistemas críticos / modelos de seguridad para dispositivos móviles (MIDP) / asistentes de prueba (Coq)

Acceder
Title: Presentación de las tablas argentinas de adecuación formal (FQ) para la técnica Rorschach. Sistema comprensivo : Investigación realizada sobre 1179 no pacientes representativos de regiones del país
Author: Lunazzi de Jubany, Helena Ana / Urrutia, María Inés / García de la Fuente, Marta / Elías, Diana / Fuente, Soledad de la
Language: Español
Repository: 37
Subject: Psicología / adecuación formal / sistema comprehensivo / mediación / contexto cultural

Acceder
Title: Rigideces laborales y salarios en los sectores formal e informal en Colombia
Author: Mondragón,Vélez, Camilo / Peña, Ximena / Wills, Daniel
Language: Español
Repository: 21
Subject: Informalidad / Salarios / Costos no salariales / Salario mínimo / Colombia / J31, J32, J38

Acceder
Title: El principio de causalidad formal o eminente en las perspectivas cartesianas sobre la interacción del alma y el cuerpo
Author: Menacho, Mónica
Language: Español
Repository: 37
Subject: Humanidades / Filosofía

AccederAcceder
Title: El Museo de Física como vínculo entre extensión y docencia formal
Author: Reichenbach, María Cecilia von / Cabana, María Florencia / Bergero, Paula Elena
Language: Español
Repository: 37
Subject: Ciencias Exactas / Educación / Museos / Alfabetización científica / Formación docente

Acceder
Title: Efecto de escolaridad sobre el sector formal e informal y las finanzas públicas en México
Language: Español
Repository: 34
Subject: Sector informal (Economía)--México / Educación--México--Indicadores / Finanzas públicas--México / 5 CIENCIAS SOCIALES

Acceder
Title: Composta urbana, herramienta efectiva para combatir el cambio climático : Experiencias y resultados de un programa no formal de educación ambiental
Author: Pérez Ruiz, C. L.
Language: Español
Repository: 37
Subject: Ecología / Cambio Climático / Educación ambiental / Compostaje

Acceder
Title: Definición y especificación formal de un modelo basado en servicios para la generación de sistemas de software
Author: Montejano, Germán Antonio / Testa, Oscar / Garcia, Pablo / Bast, Silvia Gabriela / Berón, Mario
Language: Español
Repository: 37
Subject: Ciencias Informáticas / COMPUTER GRAPHICS / RAISE / Software / RSL / servicios web / framework / infraestructura / métodos formales / programación orientada a servicios / computación orientada a servicios / arquitectura orientada a servicios

Acceder
Title: Análisis modular y recuperación de contraejemplos en TACO
Author: Alborodo, Raúl / Ricci, Nicolás / Galeotti, Juan P. / Aguirre, Nazareno Matías
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software/Program Verification / Languages

Acceder
Title: Democracia comunal y justicia distributiva en Ronald Dworkin
Author: Liaudat, Santiago
Language: Español
Repository: 37
Subject: Humanidades / Filosofía / justicia distributiva, desigualdad económica, democracia comunal, democracia formal, Ronald Dworkin; ; / Justicia Social / Democracia / distributive justice, economic inequality, communal democracy, formal democracy / justiça distributiva, desigualdade econômica, democracia comunitária, democracia formal

AccederAcceder

« Previous 1 2 3 4 5 6 7 8 9 Next »