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 Year: 2012

Sort by Score Title Year -

11-20 from 506 results (0.375 seconds)

Title: A runnable functional formal memetic algorithm framework
Author: Krasnogor, Natalio / Mocciola, Pablo Andrés / Pelta, David Alejandro / Ruiz, Germán Esteban / Russo, Wanda Mariana
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Informática / Functional Programming / Memetic Algorithm / Combinatorial Optimization / Optimization / Algorithms / Frameworks

Acceder
Title: Building domain specific languages upon the dbject constraint language (DCl)
Author: Domínguez Iglesias, Antonio
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / Specific languages / Visual / Object Constraint language (DCl) / COMPUTER GRAPHICS / Languages

Acceder
Title: ¿Ecos de Lautaro?: las lenguas indígenas como patrimonio cultural del nacionalismo criollo en el siglo XIX / Lautaro's Echo? Aborigine Languages as Cultural Patrimony of Creole Nationalism in the 19th Century
Author: Pas, Hernán Francisco
Language: Español
Repository: 37
Subject: Letras / Lenguas indígenas / Patrimonios culturales / Elites letradas / Filología y lingüística / Siglo XIX / Indigenous languages / Cultural heritage / Literate elites / Philology and Linguistics / 19th Century

AccederAcceder
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: 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: 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: 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: 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: Especificación formal en RSL de una infraestructura abierta y estándar de servicios web para Sistemas de Información Geográfica
Author: Testa, Oscar / Riesco, Daniel Eduardo / Montejano, Germán Antonio
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Sistemas de Información Geográfica / Web-based services / Frameworks / Formal methods

Acceder

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