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 -

831-840 from 943 results (0.012 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: Fundamentación científico-pedagogica del diseño curricular para la educacion geoinformatica en la Universidad Agraria de La Habana
Author: Ponvert-Delisles Batista, Dámaso R. / Balmaseda, C.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Educación / Education / universidad / Geoinformática / Programa curricular / informática / Teledetección aerospacial / SIG / Geoinformatics / Curricular Program / Remote sensing / GIS

Acceder
Title: Acompanhamento farmacoterapêutico de pacientes na Farmácia-Escola da Universidade Federal de Alfenas / Pharmaceutical care of patients on School-Pharmacy of Federal University of Alfenas
Author: Marques, Luciene A.M. / Rascado, Ricardo R. / Neves, Fabiano M.D. / Santos, Felipe T. C. / Carvalho, Fernanda A. R. / Borges, Talita E. / Sousa, Jéferson O.
Language: Portugués
Repository: 37
Subject: Farmacia / Farmacología / Farmacoterapia / atenção farmacêutica / farmácia-escola / programa Dáder / Dáder program / pharmaceutical care / School-Pharmacy

AccederDescargar
Title: Comparação do perfil dos usuários e dos medicamentos dispensados na farmácia popular do Brasil e em drogaria privada em Porto Alegre, Brasil / Comparison of user s profile and of dispensed drugs from a community pharmacy and a commercial drugstore at Porto Alegre, Brazil
Author: Ruppenthal, Lísias R. / Petrovick, Pedro Ros
Language: Portugués
Repository: 37
Subject: Farmacia / Medicamentos / Farmacología / atenção farmacêutica / dispensação / drogaria / Farmácia Popular do Brasil / uso racional de medicamentos / community pharmacy program / drugstore / pharmaceutical care / rational use of medicines

AccederDescargar
Title: El derecho fundamental al desarrollo : Prioridad para América Latina y los países en vías de desarrollo / The fundamental right to development. Priority for Latin America and the developing countries
Author: Colomer Viadel, Antonio
Language: Español
Repository: 37
Subject: Relaciones Internacionales / Ciencias Jurídicas / América Latina / derecho fundamental / desarrollo / crecimiento económico / convivencia / solidaridad / Declaración sobre el Derecho al Desarrollo / Programa de Naciones Unidas para el Desarrollo / fundamental right / development / economic growth / coexistence / solidarity / Declaration on the Right to Development / United Nations Program for Development

AccederDescargar

« Previous 80 81 82 83 84 85 86 87 88 Next »