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
(260)
62
(120)
43
(85)
53
(53)
34
(18)
21
(12)
18
(7)
28
(6)
40
(6)
57
(6)
Show More
Show Less
Author
Simari, Guillermo Ricardo
(14)
Gallard, Raúl Hector
(9)
García, Alejandro Javier
(8)
Chesñevar, Carlos Iván
(5)
Esquivel, Susana Cecilia
(5)
Icf
(5)
Tinetti, Fernando Gustavo
(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
(201)
Educación
(39)
ARTIFICIAL INTELLIGENCE
(21)
COMUNICACION
(21)
SOFTWARE ENGINEERING
(21)
Humanidades
(18)
Intelligent agents
(16)
Sociología
(16)
Computer Uses in Education
(15)
TECNOLOGÍA Y CIENCIAS MÉDICAS
(12)
Show More
Show Less
Year
2012
(596)
2013
(137)
2011
(35)
2006
(34)
2019
(32)
2014
(27)
2018
(25)
2017
(21)
2005
(20)
2001
(17)
Show More
Show Less
Document Type
Sin Especificar
(596)
Show More
Show Less
Language
Español
(456)
Inglés
(105)
Portugués
(24)
Desconocido
(7)
Catalán
(3)
Sin Especificar
(1)
Show More
Show Less
Your search
Query:
PROGRAM"
Year:
2012
Document Type:
Sin Especificar
Sort by
Score
Title
Year
-
21-30 from
596
results
(0.022 seconds)
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:
Modelo para la elaboración del informe final de autoevaluación con fines de acreditación del programa de Ingeniería Industrial de la Universidad de la Costa CUC.
Author:
Mórelo Quevedo, Anyinson
Language:
Español
Repository:
57
Subject:
Acreditación del programa
/
Escala de equivalencia
/
Resultados de autoevaluación
/
Accreditation of the program
/
Results of autoevaluation
/
Scale of equivalence
Acceder
Title:
Herramienta para la evaluación de requisitos y normas de cumplimiento en el sector gastronómico
Author:
Cervantes Gómez, Jhon Edinson
Language:
Español
Repository:
57
Subject:
Desarrollo de programa para computador
/
Auditoria de sistemas
/
Sistemas de información
/
Development of a computer program
/
Systems audit
/
Information systems
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
« Previous
1
2
3
4
5
6
7
8
9
Next »