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

Sort by Score Title Year -

411-420 from 1773 results (0.017 seconds)

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: Algebraic specifications and refinement for component-based development using RAISE
Author: Estévez, Elsa Clara / Fillottrani, Pablo Rubén
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / formal methods / component-based development / SOFTWARE ENGINEERING / Requirements/Specifications

AccederDescargar
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: 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: 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: 3D Requirements Visualization
Author: Teyseyre, Alfredo Raúl
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Visual / Formal Specifications / Requirements / Visualization / Requirements Visualization / 3D Graphics

Acceder
Title: Reconocimiento de concepciones, preconceptos y prejuicios acerca de la energía solar, en pobladores de barrios suburbanos de Salta
Author: González, C. / Chaile, Marta Ofelia
Language: Español
Repository: 37
Subject: Ciencias Exactas / Educación / Energía Renovable / concepciones / Prejuicio / Energía solar / promoción comunitaria / Educación no formal

Acceder

« Previous 38 39 40 41 42 43 44 45 46 Next »