[Specialistica] - Proposta di tesi Proff. Ornaghi,Provetti
Posted by Joda on 13-12-2006 09:42
Benchmarking di un algoritmo per ragionamento automatico e verifica formale di sistemi su architettura Beowulf.

Gli skill desiderati sono:
-ambiente linux, programmazione in C,
-Corso di Algoritmi e se possibile Intelligenza artificiale e Teoria dei grafi.
-interesse per una tesi di ricerca

Proposta di Tesi Specialistica
Powered by: vbHome (lite) v3.8 and vBulletin v2.3.1
Copyright © 2000 - 2002 Jelsoft Enterprises Limited