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 (430)

Show More Show Less

Author

Simari, Guillermo Ricardo (15)
Gallard, Raúl Hector (9)
García, Alejandro Javier (8)
Centro de Estudios Sudamericanos (7)
Tinetti, Fernando Gustavo (6)
Chesñevar, Carlos Iván (5)
Esquivel, Susana Cecilia (5)
Aguirre, Nazareno Matías (4)
García Martínez, Ramón (4)
Luque Fadón, Emilio (4)

Show More Show Less

Subject

Ciencias Informáticas (207)
Educación (41)
Antropología (34)
Humanidades (30)
Periodismo (30)
Comunicación Social (26)
ARTIFICIAL INTELLIGENCE (21)
Ciencias Jurídicas (21)
SOFTWARE ENGINEERING (21)
Ciencias Naturales (18)

Show More Show Less

Year

2012 (430)
2014 (69)
2013 (41)
2006 (34)
2011 (26)
2009 (23)
2005 (20)
2001 (17)
2007 (16)
2020 (16)

Show More Show Less

Document Type

Sin Especificar (260)
Artículo (163)
Tesis (6)
Libro (1)

Show More Show Less

Language

Español (281)
Inglés (125)
Portugués (24)

Show More Show Less

Your search

Query: PROGRAM" Year: 2012 Repository: 37

Sort by Score Title Year -

11-20 from 430 results (0.015 seconds)

Title: Guidance and training program for labor insertion
Author: Batlle, Silvia / Legaspi, Leandro Pablo María / Aisenson, Diana B. / Figari, Claudia / Nicotra, Daniel / Sarmiento, Gladys / Marano, Carlos / Monedero, Fabián
Language: Inglés
Repository: 37
Subject: Psicología / trabajo de jóvenes / Educación / Empleo / Orientación Vocacional

AccederDescargar
Title: Potential programming plan and domain concept detection supported by slicing technique
Author: Villavicencio, Gustavo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Program understanding / programming plans / program slicing / domain model / constraint satisfaction problems / partial constraint satisfaction problems / ARTIFICIAL INTELLIGENCE / Intelligent agents

Acceder
Title: Representing parallel programs with MPI by exploiting a graph-based approach
Author: Sato, Liria Matsumoto / Ching, Li Kuan
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / graph theory applications / parallel program representation / Parallel programming / Distributed Systems / Concurrent Programming

Acceder
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: Alguns fatores que influenciam o desempenho de sistemas DSM
Author: Midorikawa, Edson T. / Oliveira, Hélio Marci de / Laine, Jean Marcos
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Optimization / performance evaluation / Concurrent Programming / DSM systems / program optimization / parallel processing

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: 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: 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: Análisis modular y recuperación de contraejemplos en TACO
Author: Alborodo, Raúl / Ricci, Nicolás / Galeotti, Juan P. / Aguirre, Nazareno Matías
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software/Program Verification / Languages

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

« 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-2026 ©. Todos los derechos reservados conforme a la ley 11.723