Software analisi logica
Link sponsorizzati
-
SWIF - Quaderno di Logica
Risorse sulla logica pura e applicata filosofia della logica ed aree di ricerca attigue.
-
Manuale Prolog
Questo manuale online tratta sia gli aspetti teorici della logica formale (calcolo proposiazionale logica dei predicati risoluzione di problemi etc) che l'utilizzo del Prolog per programmare sistemi intelligenti (come ad esempio l'analisi del linguaggio naturale).
-
Logica Sistemi
Realizza software personalizzati e siti web vende hardware Presentazione dei servizi offerti e delle creazioni form per contatti e recapiti.
-
Logica Informatica S.a.s.
Presenta profilo aziendale servizi per utenza privata imprese ed enti locali distribuzione software e fornitura installazione e configurazione reti internet.
-
ZenShare
Software web based per le esigenze di comunicazione aziendale interna e di gestione documentale in logica Intranet/Extranet.
-
Softing Consulting
Forniture software consulenza informatica analisi e sviluppo software gestionale progettazione e realizzazione reti locali.
-
GMSL
Distribuisce e supporta software di analisi controllo qualità e visualizzazione Profilo servizi offerti e prodotti software distribuiti.
-
Serin Informatica
Progettazione sistemi informativi analisi e sviluppo software soluzioni e servizi in area internet software gestionali e corsi di formazione.
-
GeoStru Software S.a.s.
Vende programmi per l'analisi strutturale e per la geotecnica Permette di scaricare alcuni software gratis o in versione dimostrativa.
-
Logica e conoscenza
Sito della scuola di storia e filosofia della logica organizzata dalla SILFS dal Laboratorio di Scienze Cognitive di Rovereto e dal Dipartimento di Filosofia di Genova Offre materiali selezionati online in italiano e inglese.
-
Aedes Software S.a.s.
Presenta programmi per l'analisi strutturale di edifici esistenti la progettazione di costruzioni in muratura l'analisi agli elementi finiti il calcolo di solai misti in legno e calcestruzzo.
-
Math.it
Propone per i piu' piccoli giochi di aritmetica logica e geometria per le superiori verifiche autocorrettive di analisi e geometria analitica lezioni interattive di goniometria tutorial ed esercizi risolti sullo studio di funzioni costruzioni geometriche interattive con Cabri II.
-
Smartlite Software
Proposti i software didattici WinAsks e WebQuiz per la creazione la gestione e l'analisi di questionari test quiz e sondaggi a video su carta e tramite Internet E' disponibile una versione trial liberamente scaricabile.
-
PersonalWorkSystem
Software per analisi tecnica in lingua italiana.
-
Spectra
Produce sistemi per le misure di acustica e di vibrazione software di analisi e software previsionali per lo studio dei problemi e la simulazione di possibili soluzioni Prodotti servizi aggiornamenti eventi documenti pubblicazioni link.
-
Lecit Consulting
Presenta società di consulenti indipendenti per la definizione e l'analisi di architetture di sistemi software Forniscono servizi per la realizzazione di sistemi di impresa per l'analisi costi/benefici e per la gestione di progetti di sviluppo.
-
InFormaL s.a.s.
Fornisce consulenze specializzate nell'ambito dell'architettura del software studi di fattibilità e project management analisi progettazione e sviluppo di software Servizi nell'area sicurezza e reti L'azienda inoltre realizza una propria distribuzione Linux.