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

Sort by Score Title Year -

41-50 from 591 results (0.049 seconds)

Title: Energía renovable, un tema para motivación en la educación formal
Author: Labriola, Carlos Víctor Manuel / Sierra, Enrique Ariel
Language: Español
Repository: 37
Subject: Ingeniería / Educación / Energía Renovable / Motivación / Medio ambiente / Energía eólica / Energía solar / microhidráulica / Biomasa / Geotermia / energía mareomotriz / olas / Enseñanza

Acceder
Title: Relación entre la ganancia solar y la calefacción auxiliar para dos tipos de envolvente formal edilicia
Author: Esteves, Alfredo / Gelardi, Daniel
Language: Español
Repository: 37
Subject: Arquitectura / Ingeniería / arquitectura sustentable / eficiencia energética / calefacción auxiliar / costos operativos

Acceder
Title: Educacion formal y deporte de élite en adolescentes argentinos / Education and elite sports in argentinean adolescents
Author: Laiño, Fernando / Tuñón, Ianina / Castro, Hernán / Pérez Rodríguez, Martín
Language: Español
Repository: 37
Subject: Educación Física / Talentos Deportivos / Escuela secundaria / Facilitadores / Educación Deportiva / Políticas Públicas

Acceder
Title: Aportes desde lo formal normativo a las articulaciones entre las leyes de violencia de género y educación sexual en La Pampa
Author: Surin, Anabel / Zaikoski Biscay, Daniela María José
Language: Español
Repository: 37
Subject: Ciencias Jurídicas / Educación sexual integral / Violencia de Género / Política Pública / Ley 26150 / Ley 25485 / Sexual education law / Gender violence / Public polícy

Acceder
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: 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: 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
Title: Extensión del lenguaje y modelo Simplesem con soporte para paralelismo
Author: Diez de Medina, Lucas L. / Wolfmann, Aaron Gustavo Horacio / Micolini, Orlando
Language: Español
Repository: 37
Subject: Educación / Ciencias Informáticas / paralelismo / Parallelism and concurrency / simplesem / Semantics of Programming Languages / Computer Uses in Education / modelo de ejecución / Learning / sintaxis / semántica / lenguajes de programación / parallelism / èxecution model / syntax / semantics / programming languages

AccederDescargar

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