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 Language: Inglés

Sort by Score Title Year -

211-220 from 255 results (0.024 seconds)

Title: Evolution of computer science degrees at science school : University of Buenos Aires (FCEN-UBA)
Author: Factorovich, Pablo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Educación / Argentina / historia de la computación

Acceder
Title: Kolmogorov complexity for possibly infinite computations
Author: Figueira, Santiago / Becher, Verónica
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Computational logic / Connection machines / Kolmogorov complexity / Program-size complexity / Turing machines / monotone machines / infinite computations / non-effective computations

Acceder
Title: The B method as an environment for the verification of eiffel programs: a case study
Author: Aguirre, Nazareno Matías / Oviedo, Juan
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / Intelligent agents / Object orientation / Program Verification / B Method

Acceder
Title: Generic data processing: a normalization exercise
Author: Necco, Claudia Mónica / Oliveira, J. Nuno
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Generic programming / polytypic programming / functional programming / program calculation / data reification / Normal forms / ADMINISTRATIVE DATA PROCESSING

Acceder
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: 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: CAMILA formal software engineering supported by functional programming
Author: Oliveira, J. N. / Almeida, J. J. / Barbosa, L. S. / Neves, F. L.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Education and applications of functional programming / functional prototyping / program calculation / SOFTWARE ENGINEERING

Acceder
Title: Gender Equality and ESI in the English Language Classroom: a Teaching Experience with Children
Author: Maití, María Pía
Language: Inglés
Repository: 37
Subject: Letras / gender equality / gender stereotypes / fairy tales / National Program on Comprehensive Sex Education (ESI)

AccederAcceder

« Previous 18 19 20 21 22 23 24 25 26 Next »