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: Artículo

Sort by Score Title Year -

121-130 from 1805 results (0.017 seconds)

Title: Lo formal y lo informal en el arte abstracto
Author: Jonquiére, Eduardo
Language: Español
Repository: 37
Subject: Bellas Artes / Artes visuales / Arte abstracto

Acceder
Title: La teoría formal del derecho como primera etapa en el viaje de la teoría comunicacional del derecho
Author: Sánchez Díaz, Félix Francisco
Language: Español
Repository: 60
Subject: .
Title: Nuevas teorías de la democracia - de la democracia formal a la democracia deliberativa
Author: Mejía Quintana, Oscar / Jiménez, Carolina
Language: Español
Repository: 21
Subject: Democracia - Teorías - Artículos de revista / Ciencias políticas - Teorías - Artículos de revista / Formas de gobierno - Teorías - Artículos de revista

Acceder
Title: Electronics prototypes in development of formal thoughts / Prototipos electrónicos en el desarrollo de pensamientos formales
Author: Vergel Ortega, Mawency / Rincón Leal, Olga Lucy / Jaimes Contreras, Luis Alberto
Language: Inglés
Repository: 77
Subject: Learning / Prototypes / Differential Equations / Superior Education / Academics Performance / Aprendizaje / prototipos / Ecuaciones diferenciales / Educación superior / rendimiento académico

AccederAcceder
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: Sistema de traducción de comandos de CISCO a AVAYA
Author: Mercado Polo, Darwin Ramiro
Language: Español
Repository: 57
Subject: Lenguajes formales / Plataforma Avaya / Plataforma Cisco / Léxico / Sintáctico / Traducción / Redes

Acceder
Title: A Novel CAD Tool for Electric Educational Diagrams
Author: Ruiz Villalobos, Patricia / Dorronsoro Díaz, Bernabé
Language: Inglés
Repository: 30
Subject: electrical design / self-assessment technologies / automatic assessment tools / computeraided design / homework support system

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: Using business process reengineering to obtain a RAISE specification
Author: Riesco, Daniel Eduardo / Uzal, Roberto / Montejano, Germán Antonio
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / formal method / Languages / Reengineering

AccederDescargar
Title: Verifying BON models with alloy
Author: Demasi, Ramiro Adrián / Ponzio, Pablo Daniel / Castro, Pablo Francisco / Baum, Gabriel Alfredo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / formal methods / object oriented languages / architectural models

AccederDescargar

« Previous 9 10 11 12 13 14 15 16 17 Next »