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

Home
Repositories
Authors
Document types
Statistics
About

Query

Advanced Search Simple Search

Title

Author

Subject

Year

Refine your Search

Repository

37 (101)
34 (29)
21 (27)
65 (10)
73 (9)
62 (7)
57 (4)
53 (3)
22 (2)
27 (1)

Show More Show Less

Author

Simari, Guillermo Ricardo (9)
Gallard, Raúl Hector (6)
Chesñevar, Carlos Iván (5)
García, Alejandro Javier (5)
Esquivel, Susana Cecilia (4)
Ramírez Montoya, María S. (4)
Aguirre, Nazareno Matías (3)
Arnera, Patricia Liliana (3)
Barbieri, María Beatriz (3)
Baum, Gabriel Alfredo (3)

Show More Show Less

Subject

Ciencias Informáticas (86)
Educación (13)
ARTIFICIAL INTELLIGENCE (11)
Ingeniería (10)
Informática (9)
Intelligent agents (7)
Ciencias Sociales / Social Sciences (6)
Colombia (6)
Education (6)
Energía Eléctrica (5)

Show More Show Less

Year

2012 (71)
2018 (42)
2019 (22)
2020 (22)
2006 (20)
2014 (20)
2016 (18)
2017 (15)
2015 (14)
2013 (12)

Show More Show Less

Document Type

Sin Especificar (193)

Show More Show Less

Language

Inglés (193)

Show More Show Less

Your search

Query: PROGRAM Language: Inglés Document Type: Sin Especificar

Sort by Score Title Year -

31-40 from 193 results (0.014 seconds)

Title: Secure mobile code and control flow analysis
Author: Bavera, Francisco / Aguirre, Jorge / Nordio, Martín
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / mobile code / certifying compilation / static analysis / proof-carrying code / Program verification

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: 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: 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: The impact of public and private job training in Colombia
Author: Medina Durango, Carlos Alberto / Núñez Méndez, Jairo Augusto
Language: Inglés
Repository: 21
Subject: Program evaluation / Selection bias / Job training programs / Servicio Nacional de Aprendizaje (Colombia) / Mercado laboral - Colombia / Adiestramiento ocupacional / Formación profesional - Colombia / J24, J31

Acceder
Title: Explicit reasoning, creativity and co-construction in primary school children's collaborative activities
Author: Fernández Cárdenas, Juan M. / Rojas Drummond, Sylvia / Mazón, Nancy / Wegerif, Rupert
Language: Inglés
Repository: 34
Subject: oracy / Exploratory talk / co-construction / reasoning / creativity / collaboration / Intervention educational program me / Ciencias Sociales / Social Sciences

AccederAcceder
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

« Previous 1 2 3 4 5 6 7 8 9 Next »

SeDiCI Serivicio de Difusión de la Creación Intelectual

PrEBi Proyecto de Enlace de Bibliotecas

UNLP Universidad Nacional de La Plata

2003-2025 ©. Todos los derechos reservados conforme a la ley 11.723