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

Year: 2014 Year: 1995 Year: 1202 Document Type: Sin Especificar

Sort by Score Title Year -

1-2 from 2 results (0.009 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: Simulated annealing for communication network :reliability improvement
Language: in
Repository: 65
Subject: NETWORK RELIABILITY / COMBINATORIAL OPTIMIZATION / SIMULATED ANNEALING / CONFIABILIDAD EN REDES / OPTIMIZACION COMBINATORIA

Acceder

« Previous 1 Next »