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: PROGRAM Repository: 37

Sort by Score Title Year -

121-130 from 943 results (0.016 seconds)

Title: Calculation of Invariants Assertions
Author: Flaviani, Federico
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Cálculos / invariant assertions / formal program verification / GCL / induction

Acceder
Title: Towards scaling up DynAlloy analysis using predicate abstraction
Author: Ariño, Rodrigo / Degiovanni, Renzo / Fervari, Raul / Ponzio, Pablo Daniel / Aguirre, Nazareno Matías
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software / Automation / Program analysis

Acceder
Title: Hipp: Un framework groupware P2P basado en operational transformations
Author: Quiroga, Leandro
Language: Español
Repository: 37
Subject: Ciencias Informáticas / P2P / Groupware / Program transformation

Acceder
Title: Black-Box Testing Technique for Information Visualization. Sequencing Constraints with Low-Level Interactions
Author: Larrea, Martín Leonardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / visualization systems and software / Software/Program Verification

AccederDescargar
Title: Conformation-independent QSPR approach for the soil sorption coefficient of heterogeneous compounds
Author: Aranda, José Francisco / Garro Martinez, Juan C. / Castro, Eduardo Alberto / Duchowicz, Pablo Román
Language: Inglés
Repository: 37
Subject: Química / Correlation and logic software / Estimation program interface suite software / Pharmaceutical data exploration laboratory software / Quantitative structure-property relationships / Replacement method / Soil sorption coefficient

Acceder
Title: Prototype of speech translation system for audio effective communication
Author: Rojas Bello, Richard / Araya Araya, Erick / Vidal Vidal, Luis
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Program translation / Real time / Network Protocols / Speech recognition and synthesis

Acceder
Title: Ampliación del primer catálogo Astrolabio de San Juan, programa catálogo
Author: Actis, E. / Serafino, A.
Language: Español
Repository: 37
Subject: Astronomía / Galaxias

Acceder
Title: Construyendo caminos
Author: Hernández Hilario, Victoria / Ruiz, María Eugenia
Language: Español
Repository: 37
Subject: Psicología / Orientación / acompañamiento / Vulnerabilidad / jóvenes

Acceder
Title: Practical approaches for the control and eradication of bovine brucellosis / Conceptos prácticos para el control y erradicación de la Brucelosis bovina
Author: Enright, Fred
Language: Inglés
Repository: 37
Subject: Ciencias Veterinarias / Brucelosis Bovina / Control de Enfermedades Transmisibles

Acceder
Title: The effects of electrification on employment in rural Perú
Author: Dasso, Rosamaría / Fernández, Fernando
Language: Inglés
Repository: 37
Subject: Ciencias Económicas / trabajo rural / Energía Eléctrica / Perú / JEL: J22, O13 / electrification / employment

AccederDescargar

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