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 Language: Español

Sort by Score Title Year -

1151-1160 from 1467 results (0.021 seconds)

Title: Framework de evaluación para modelos formales de patrones de diseño
Author: Flores, Andrés P. / Fillottrani, Pablo Rubén
Language: Español
Repository: 37
Subject: Ciencias Informáticas / base de datos / SOFTWARE ENGINEERING / Ingeniería de Software / Frameworks / Métodos Formales / Patrones de Diseño / Formal methods

Acceder
Title: Productos como referentes explícitos en el modelado de procesos de negocios
Author: Regis, Germán / Aguirre, Nazareno Matías
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Formal methods / Real time / Business

Acceder
Title: Aproximación a los métodos formales: una experiencia con un método de desarrollo liviano
Author: Aguirre, Fernando / Belloni, Edgardo A.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Formal methods / Software development

Acceder
Title: Precios e impuestos de los combustibles en la Argentina.: relación con los precios internacionales
Author: Porto, Alberto / Pizzi, Francisco
Language: Español
Repository: 37
Subject: Ciencias Económicas / variabilidad de precios / Petróleo / modelo formal

AccederDescargar
Title: Hacia la prueba de corrección de clases
Author: Cassano, Valentín / Nadales, Damián E.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Formal methods / Object-oriented Programming / Correctness proofs

Acceder
Title: Formalización del proceso de visualización mediante el uso de ontologías
Author: Escarza, Sebastián / Castro, Silvia Mabel / Martig, Sergio R.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Ontología / COMPUTER GRAPHICS / Representación Formal / Modelo de Referencia / Visualización

Acceder
Title: Inserción laboral de los egresados de la carrera de educación y su relación con la formación docente
Author: Colombo, Héctor Rubén / Dideo, Gabriel / Andreetti, Soledad / Pascual, Gustavo
Language: Español
Repository: 37
Subject: Educación Física / Formación superior / Formación de docentes / Inserción laboral / Ámbito formal / Ámbito informal

AccederAcceder
Title: Los entornos virtuales flexibles para el desarrollo de competencias en el área de algoritmos y lenguajes de programación
Author: Díaz, Mario
Language: Español
Repository: 37
Subject: Ciencias Informáticas / aprendizaje de programación / educación formal-informal / entorno virtual flexible / desarrollo de competencias informáticas

Acceder
Title: La educación de jóvenes en perspectiva intercultural: sexualidades y discapacidad
Author: Barletta, César Martín / Cobeñas, Pilar / Justianovich, Silvina Mariela / Luque, Juan Gabriel
Language: Español
Repository: 37
Subject: Sociología / Educación / Educación formal / Joven / Educación intercultural / Sexualidad / Personas con Discapacidad

AccederDescargar
Title: Verificación de propiedades temporales en PPML
Author: Regis, Germán / Aguirre, Nazareno Matías
Language: Español
Repository: 37
Subject: Ciencias Informáticas / métodos formales / Formal methods / autómatas temporizados / Model checking / procesos de negocios / business processes

Acceder

« Previous 112 113 114 115 116 117 118 119 120 Next »