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 Year: 2012 Repository: 37

Sort by Score Title Year -

111-120 from 137 results (0.01 seconds)

Title: Synthesis of a specific processor from a high level programing languaje (ada) description
Author: Deschamps, Jean-Pierre / Tosini, Marcelo Alejandro
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Informática / Real-time systems and embedded systems / Hardware/software interfaces / Processors / embedded systems / hardware/software codesign / hardware/software cosimulation / specific processors / hardware description languages / real time systems

Acceder
Title: How to say greedy in fork algebras
Author: Baum, Gabriel Alfredo / Canal, Esteban de la / Frias, Marcelo F.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Greedy / Fork Algebras / Algebraic language theory

Acceder
Title: An improved evolutlonary approach for the cluster allocation problem
Author: Apolloni, Rubén / Molina, Silvia / Gallard, Raúl Hector
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / cluster allocation problem / ARTIFICIAL INTELLIGENCE / improved evolutlonary / Clustering

Acceder
Title: CCMini: a prototype of certifying compiler based on annotated abstract syntax trees
Author: Bavera, Francisco / Nordio, Martín / Medel, Ricardo / Aguirre, Jorge / Baum, Gabriel Alfredo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Verification / Lenguajes de Programación / Compilers / Security

Acceder
Title: Pharmacovigilance: assessment about the implantation and operation at pharmaceutical industry
Author: Rorig, Ketily D. V. / Oliveira, Cibeli L. de
Language: Inglés
Repository: 37
Subject: Farmacia / Pharmacovigilance / adverse reactions / Pharmaceutical industry

AccederDescargar
Title: A general approach to the implementation of action theories
Author: Simari, Guillermo Ricardo / García, Diego R. / Filocamo, Gabriel R.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / General Approach / Implementation / Action Theories

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
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 6 7 8 9 10 11 12 13 14 Next »