"Il sostegno al software libero è molto più di un criterio di convenienza individuale; è la bandiera che spezza tutte le catene della emarginazione tecnologica del Digital Divide"
 
Cultura Scientifica
  • Linguaggi di programmazione
    • Programmazione funzionale
    • Programmazione a oggetti
    • CAML
    • C++ e Java
    • Prolog
    • Programmazione di sistemi concorrenti e distribuiti
  • Linguaggi formali e compilatori
    • Automi a stati finiti
    • Grammatiche context-free
    • Automi pushdown
    • Teoria dei compilatori
  • Metodi per il trattamento dell'informazione
    • Teoria della calcolabilita' e ricorsivita'
    • Lambda-beta-calcolo
    • Macchine di Turing
    • Programmazione logica
    • Sistemi di riscrittura
 
<< Inizio < Prec. 1 2 3 4 5 Succ. > Fine >>

Pagina 4 di 5