OPAC

Your search

Subject: A* Repository: 65 Year: 1202 Language: Inglés

Sort by Score Title Year -

21-30 from 39 results (0.071 seconds)

Title: A machine assisted proof of the subject reduction property for small typed functional language. Master Thesis
Language: Inglés
Repository: 65
Subject: PROGRAMACION FUNCIONAL / ALF / TEORIA DE TIPOS / TYPE THEORY / FUNCTIONAL PROGRAMMING

Acceder
Title: GRASP heuristics for Wide Area Network design
Language: Inglés
Repository: 65
Subject: TOPOLOGICAL DESIGN / METAHEURISTIC / ACCESS NETWORK / BACKBONE NETWORK / SURVIVABILITY / GRASP / RNN

Acceder
Title: Tree models :algorithms and information theoretic properties
Language: Inglés
Repository: 65
Subject: Algoritmos / Tree Models

Acceder
Title: Towards secure distributed computations
Language: Inglés
Repository: 65
Subject: COMPUTACION DISTRIBUIDA / TYPE SAFE / ABSTRATION SAFETY / ALGORITMO DE CERTIFICACION / PCR / MARSHALLING

Acceder
Title: Hfusion : a fusion tool based on acid rain plus extensions
Language: Inglés
Repository: 65
Subject: Deforestation / Acid Rain / Fusion / Hylomorphism / Paramorphism / Functional Programming Languages / Generic Programming

Acceder
Title: Ant Colony Optimization para la resolución del Problema de Steiner Generalizado
Language: Inglés
Repository: 65
Subject: Ant Colony Optimization / Computación de alto desempeño / Problema de Steiner / Metaheurísticas

Acceder
Title: Agent-based methodology for developing agroecosystems simulations
Language: Inglés
Repository: 65
Subject: Sistemas Multi-Agente / Agro-ecosistema / Desarrollo de Software / Simulación

Acceder
Title: Topological properties for a wide area network planning and a dynamic programming approach for designing the access network
Language: Inglés
Repository: 65
Subject: Topological Design / Access Network / Backbone Network / Dynamic Programming with State-Space Relaxation / Diseño Topológico / Red de Acceso / Red Dorsal / Programación Dinámica con Relajación del Espacio de Estados

Acceder
Title: The learning of recursive algorithms and their functional representation
Language: Inglés
Repository: 65
Subject: ALGORITMOS RECURSIVOS / RECURSION / EPISTEMOLOGIA GENETICA / EDUCACION

Acceder
Title: Multiple job holding: the artist’s labor supply approach
Language: Inglés
Repository: 65
Subject: ARTISTAS / TRABAJO / ECONOMIA

Acceder

« Previous 1 2 3 4 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search