EIFFE-L 1.5

Programmi correlati

• slc Gratuito

  Il calcolo simbolico di Lambda è un formalismo logico basato sul calcolo lambda e sulla logica combinatoria, in cui esiste un solo tipo di oggetto, che può rappresentare termini o qualità. Usa le notazioni di calcolo di de Br

• OnkoS - Latein Gratuito

  OnkoS - il programma latino-vocabolario-formazione che ha vinto il premio "Jugend forscht Sonderpreis Informatik 1999" diventa open source. Bella GUI Win32, precompilato con le parole latine più comuni, dizionario, test del v

• Zoorbar Gratuito

  Zoorbar è un'applicazione per computer progettata per gestire e digitalizzare le collezioni di Storia Naturale. - Registrazione di tutte le identificazioni dei campioni. Si basa su MS-Access. Crediti e maggiori informazioni s

• ug Gratuito

  Ug è un programma per generare nomi utente pseudo-realistici utilizzando un elenco di parole BNC (British National Corpus) categorizzato. Combina parole usando strategie predefiniti come aggettivo-sostantivo o aggettivo-congi

• zzz Gratuito

  Questo programma è un software open source gratuito sia per uso personale che commerciale, quindi la scelta perfetta per coloro che desiderano un'alternativa per programmi a pagamento più noti.

• Calculon Gratuito

  Calculon si concentrerà sulla possibilità per gli utenti di costruire un'alternativa open source a una calcolatrice TI89 di Texas Instruments, con il software Calculon e anche con una guida hardware creata su questo sito.

• Electronic Laboratory Notebook Gratuito

  eLN, un sistema di notebook da laboratorio elettronico basato sul web, sicuro, completamente configurabile, modulare ed espandibile, progettato per soddisfare le esigenze della tua azienda.

• palex Gratuito

  Palex è un sistema di ricerca di sequenze biologiche a due fasi. La biblioteca conterrà funzioni per la ricerca di modelli, palindromi e strutture in sequenza dna.

• Music Collection Manager Gratuito

  Music Collection Manager NON identifica la musica in base al tag o al nome file. ASCOLTA la musica! Sbarazzati facilmente dei tuoi duplicati nella tua collezione.

• Mahori Gratuito

  La trascrizione musicale siamese tradizionale è in forma di sequenza di alfabeti o numeri thailandesi. Questo programma legge la trascrizione musicale dai file di testo e suona la musica trascritta. Questo potrebbe aiutare i