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.02 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
Acceder
Acceder
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 »