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

Show More Show Less

Author

Baum, Gabriel Alfredo (2)
Aguirre, Jorge (1)
Bavera, Francisco (1)
Luna, Carlos Daniel (1)
Medel, Ricardo (1)
Nordio, Martín (1)

Show More Show Less

Subject

Ciencias Informáticas (2)
Optimization (2)
Algorithms (1)
Análisis Estático (1)
Análisis de Algoritmos (1)
Certificación de Código (1)
Compiladores Certificantes (1)
Código Móvil Seguro (1)
Divide and Conquer (1)
Especificación y Transformación de Programas (1)

Show More Show Less

Year

2012 (2)
1998 (1)
2004 (1)

Show More Show Less

Document Type

Sin Especificar (2)

Show More Show Less

Language

Español (2)

Show More Show Less

Your search

Query: FORMAL LANGUAGES Subject: Process Optimization Repository: 37 Language: Español

Sort by Score Title Year -

1-2 from 2 results (0.012 seconds)

Title: Optimización del prototipo del entorno de ejecución de PCC-SA
Author: Bavera, Francisco / Nordio, Martín / Medel, Ricardo / Aguirre, Jorge / Baum, Gabriel Alfredo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Código Móvil Seguro / SOFTWARE ENGINEERING / base de datos / Optimization / Análisis Estático / Verificación de Código / Certificación de Código / Compiladores Certificantes

Acceder
Title: Optimización del orden de evaluación de programas recursivos
Author: Luna, Carlos Daniel / Baum, Gabriel Alfredo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Informática / Estrategias de Diseño de Algoritmos: Programación Dinámica / Algorithms / Divide and Conquer / Optimization / Especificación y Transformación de Programas / Optimización de Programas Recursivos / Análisis de Algoritmos

Acceder

« Previous 1 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