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

Sort by Score Title Year -

1711-1720 from 1773 results (0.019 seconds)

Title: Buscar a los que no vienen: ampliacion de la agenda universitaria y diseño organizativo : La educación formal alternativa en el dispositivo de la Escuela Universitaria de Oficios de la UNLP
Author: Iparraguirre, María Mercedes
Language: Español
Repository: 37
Subject: Educación / Educación Formal Alternativa / Estructura organizativa / Escuela Universitaria de Oficios

Acceder
Title: A formal model for some behavioural features of analysis patterns
Author: Buccella, Agustina / Cechich, Alejandra
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Object-oriented design methods / Pattern analysis / Formal methods

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: Enhancing the adoption of formal methods to design real-time systems
Author: Felder, Miguel / Pieniazek, Fabio Javier / Braberman, Victor Adrian
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / Real time / Petri nets / Design Notations / Formal Design / Real-Time Systems / POSIX

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: 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: Verificación formal y refinamientos en P/PML
Author: Díaz, Javier Roberto
Language: Español
Repository: 37
Subject: Ciencias Informáticas / verificación formal / Verification / Software / lógica de programacion / derivación de programas / métodos formales

Acceder
Title: Educación no formal : Fortalezas y debilidades
Author: Diaz Posse, Macarena
Language: Español
Repository: 37
Subject: Bellas Artes / Educación / educación no formal / educación artística

Acceder
Title: Utilizando LOTOS na concepção formal de uma aplicação para gerência de redes : Especificação e verificação
Author: Mello, Braulio Adriano de / Camargo, Murilo Silva de / Specialski, Elizabeth Sueli
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / Simulation / Parallel processing / Distributed / Técnicas de Descrição Formal / LOTOS / Simulação / Verificação / Gerência de Redes / Gateway CMIP-SNMP

Acceder
Title: Tablas argentinas de adecuación formal (FQ) para la técnica Rorschach, sistema comprehensivo : Avances y resultados preliminares
Author: Lunazzi de Jubany, Helena Ana / Urrutia, María Inés / García de la Fuente, Marta / Elías, Diana / Fernández, Favia / Fuente, Soledad de la
Language: Español
Repository: 37
Subject: Psicología / adecuación formal / tests psicológicos / sistema comprehensivo / mediación / contexto cultural

Acceder

« Previous 168 169 170 171 172 173 174 175 176 Next »