Libri pubblicati da afferenti al Dimi
A 25 Year Perspective on Logic Programming

Autore: Agostino Dovier, Enrico Pontelli
Editore: Springer
Data pubblicazione: luglio 2010
Visualizza la scheda del libro
Descrizione: This book celebrates the 25th anniversary of GULP—the Italian Association for Logic Programming. Authored by Italian researchers at the leading edge of their fields, it presents a state-of-the-art survey of logic programming, making it a useful reference for both researchers and students. The volume contains 14 invited papers, each giving a detailed analysis of a specific field of logic programming and providing both a historical perspective and a precise discussion of current research. The book closes with a chapter reviewing in detail the main applications of logic programming developed in Italian researchers in the last 25 years, illustrating successful work done and potential directions for future developments.
Problemi d'Esame - Programmazione Orientata agli Oggetti

Autore: Vitaliano Milanese
Editore: Diade
pagine: 187
Data pubblicazione: ottobre 2009
Visualizza la scheda del libro
Descrizione: Il volume costituisce una raccolta commentata di testi d'esame per il corso di Programmazione Orientata agli Oggetti, assegnati agli studenti di Tecnologie Web e Multimediali (TWM) dell'Università di Udine a partire dall' a.a. 2004-05.
Pur trattandosi di un volume specifico per il corso di laurea in TWM, ma adatto più in generale ad affrontare le difficoltà di un generico corso di Programmazione basata sull'impiego di Classi e Oggetti, gli esercizi sono stati raggruppati per argomenti. Questi includono: classi concrete, classi astratte, interfacce, ereditarietà di classe e implementazione di interfacce; classi di modellazione per componenti di interfacce grafiche, classi di ascolto per tali componenti e classi di controllo per dispositivi di interazione; classi di trasformazioni affini e di modellazione di forme geometriche; classi interne per la realizzazione di oggetti protetti; classi di modellazione di contenitori (liste, mappe, insiemi); design pattern; thread, comunicazione fra thread e metodologie di sincronizzazione.
La struttura dell’organizzazione
Indagine sull’uso dei sistemi informativi aziendali nella piccola e media impresa

Autore: Paolo Vatri, Maurizio Pighin, Anna Marzona
Editore:Aracne Editrice S.r.l.
Data pubblicazione:
Visualizza la scheda del libro
Descrizione: I sistemi informativi aziendali sono diventati di fatto la struttura portante dell’organizzazione aziendale, influenzandola e, in parte, determinandola. Le possibilità dell’azienda di leggere la propria dinamica e le reazioni del mercato, di seguire in modo efficiente i propri processi, di controllare costantemente le proprie azioni, sono legate alla coerenza dell’organizzazione ed alla fluidità con cui le informazioni circolano al suo interno. Fluidità e coerenza che sono tanto più solide e semplici quanto più l’organizzazione è definita e appoggiata ad un sistema informativo computerizzato, progettato ed implementato consapevolmente.
Ci siamo chiesti quanto, nelle PMI, questa consapevolezza fosse diffusa: in questo libro presentiamo i risultati di un’indagine nelle aziende della provincia di Udine. Il lavoro è composto da una prima parte di inquadramento delle caratteristiche dei sistemi informativi aziendali e da una seconda che offre una panoramica del contesto economico locale e descrive l’indagine condotta.
Ricerca Operativa

Visualizza la scheda del libro
Descrizione: Il volume tratta alcuni fra i temi più importanti della Ricerca Operativa, traendo spunti da alcuni problemi reali di carattere gestionale e cercando di dare al lettore un metodo di modellizzazione e di risoluzione, così da fornire quella professionalità che poi permetterà di risolvere casi reali abbastanza complessi. A questo riguardo la Programmazione lineare e la Programmazione lineare intera svolgono nel testo un ruolo centrale, come “utensili” principali del processo risolutivo. I problemi proposti, inizialmente presentati in forma semplice sono poi modellati in modo sempre più complesso. Gli strumenti analitici ed informatici per progettare e risolvere i modelli vengono spiegati facendo riferimento ai problemi stessi.
Rivolto a professori universitari, studenti, professionisti nel settore della pianificazione e della gestione.
algebra lineare e geometria
esercizi e complementi

Autori: Domenico Freni, Jung Kyu Canci
Editore: PEARSON EDUCATION
Data pubblicazione: gennaio 2008
ISBN: 88-719-2439-8
Visualizza la scheda del libro
Descrizione: Il testo è rivolto agli studenti che intraprendono per la prima volta lo studio dell'Algebra lineare o della Geometria in una qualunque facoltà scientifica. Nel volume sono state raccolte le soluzioni di 182 esercizi, alcuni dei quali sono stati proposti nei temi d'esame delle prove scritte di Algebra lineare dei corsi di laurea in Ingegneria meccanica e Ingegneria civile dell'Università di Udine. Si è pensato di suddividere il volume in due parti. Nella prima, oltre a richiamare le definizioni e gli enunciati delle proposizioni e dei teoremi principali, vengono elencati i testi di tutti gli esercizi. Nella seconda vengono svolte e commentate, nella maniera più semplice possibile, le soluzioni di tutti gli esercizi. Infine, nell'ultimo capitolo, si trovano elencati un congruo numero di esercizi non svolti che il lettore può provare a risolvere come verifica del proprio grado di preparazione.
Contenuti principali: INSIEMI, RELAZIONI E FUNZIONI - STRUTTURE ALGEBRICHE FONDAMENTALI - SPAZI VETTORIALI - MATRICI - DETERMINANTE - SISTEMI LINEARI - APPLICAZIONI LINEARI - AUTOVALORI E AUTOVETTORI. DIAGONALIZZAZIONE - FORME BILINEARI E FORME QUADRATICHE- SPAZI EUCLIDEI.
L'algoritmo del parcheggio

Autori: Furio Honsell
Editore: Mondadori
Data pubblicazione: maggio 2007
ISBN: 88-045-6725-7
Visualizza la scheda del libro
Descrizione: Ci si bagna di più correndo o camminando? Esiste un metodo ottimale per scegliere il parcheggio migliore? È proprio vero che "non c'è due senza tre"? Perché l'erba (e il semaforo) del vicino è sempre più verde? E soprattutto, che cosa c'entra Briatore con il concetto di media armonica? La matematica non era mai sembrata così vicina. E così divertente. Furio Honsell, accademico ineccepibile e divulgatore spiazzante, si diverte a ribaltare i pregiudizi di chi crede che i numeri siano quella roba noiosa e inutile confinata in qualche brutto ricordo scolastico. Dimostrandoci che facciamo matematica tutti i giorni, anche (e soprattutto) senza accorgercene. Basta seguire la giornata del signor lo Che Sononegatoperlamatematica (che per comodità verrà chiamato solo con le iniziali, signor I.C.S.) per scoprire la matematica, la fisica e l'informatica che si nascondono dietro tanti nostri gesti quotidiani: dall'ordine col quale ci laviamo i denti al modo in cui scegliamo gli spiccioli per pagare il caffè. Senza considerare i calcoli di probabilità che si annidano dentro una schedina del totocalcio o nel gioco dei pacchi, i procedimenti per dividere una torta in modo equo e quelli per capire, con buona pace degli organizzatori e della questura, quante erano veramente le persone scese in piazza. Stordendo piacevolmente i lettori con problemini come quelli che hanno appassionato i telespettatori di "Che tempo che fa", Honsell ci invita a scoprire il bello e possibile della matematica, il mistero nascosto dietro molte domande apparentemente banali, il godimento che regala ogni piccola scoperta. "L'algoritmo del parcheggio" è un libretto pieno di ironia e passione, di spunti e sorprese (comprese le geniali illustrazioni di Bruno Bozzetto), che ha tutti, ma proprio tutti, i numeri per diventare un classico della divulgazione.
Creare siti web multimediali
Fondamenti per l'analisi e la progettazione

Autori: Giorgio Brajnik, Elio Toppano
Editore: PEARSON - Addison Wesley
Data pubblicazione: maggio 2007
ISBN: 88-719-2330-8
Visualizza la scheda del libro
Descrizione: Creare siti web multimediali ha il grande merito di presentare in maniera unitaria e sistematica i tre aspetti fondamentali legati alla progettazione dei siti: l’architettura informativa, la metodologia di progettazione e l’usabilità. Il libro presenta un modello concettuale di sito web e lo analizza secondo tre
punti di vista strettamente correlati: il contenuto, l’architettura informativa e la presentazione. Il modello concettuale proposto, novità assoluta rispetto a qualsiasi altra pubblicazione sul tema, fornisce un inquadramento originale dell’argomento, permette di organizzare temi classici - architettura dell’informazione, usabilità, accessibilità - in
modo coerente, unitario, approfondito e fondato, supporta la progettazione e l’analisi del funzionamento di un sito web da diverse prospettive concettuali ed è accessibile anche a un pubblico non specialistico.
Programmazione Web lato server

Autori: Vincenzo Della Mea, Luca Di Gaspero, Ivan Scagnetto
Editore: APOGEO
Data pubblicazione: Gennaio 2007
ISBN: 88-503-2610-6
Visualizza la scheda del libro
Descrizione: La programmazione lato server comprende l'insieme di tecniche che consentono di realizzare siti dinamici e applicazioni web interattive. La componente fondamentale di queste applicazioni è la possibilità di accedere a basi di dati tramite interfacce web; ne sono esempi i motori di ricerca e i siti di commercio elettronico.
Questo volume introduce alla programmazione web lato server utilizzando due tecnologie tra le più diffuse, PHP e Java Enterprise Edition, e approfondisce i temi di interesse più generale come l'utilizzo dei sistemi di gestione di basi di dati.
Il testo, dopo un richiamo alle tecniche di base del Web, ai linguaggi di markup (XML, XHTML) e ai fogli di stile CSS, introduce ai principi delle tecnologie lato server e descrive i linguaggi di scripting PHP e Java Server Pages.
Sono inoltre approfondite le tecniche proprie di Java 2 Enterprise Edition, in particolare le servlet e il pattern di programmazione Model-View-Controller.
Infine, sono presentate alcune tecnologie di recente sviluppo: Web Service, RSS e AJAX.
La trattazione è completata da articolati casi di studio che guidano il lettore alla realizzazione di diverse applicazioni: gallerie di immagini, blog, negozi virtuali.
Dall'intuizione alla conoscenza

Titolo: Dall'intuizione alla conoscenza
Autori: Tiziano Burelli, Anna Marzona, Maurizio Pighin
Editore: ARACNE
Data pubblicazione: 2007
ISBN: 88-548-0984-5
Visualizza la scheda del libro
Descrizione: Da un decennio l’informatica aziendale propone strumenti per facilitare il processo decisionale. Un sistema informatico può essere di grande supporto nella conoscenza effettiva delle dinamiche aziendali ed affiancarsi all’intuito e all’esperienza del manager.
Programmazione di applicazioni grafiche in JAVA

Autori: S. Mazzanti, V. Milanese
Editore: APOGEO
Data pubblicazione: Ottobre 2006
ISBN: 88-503-2397-2
Visualizza la scheda del libro
Descrizione: La rapida diffusione del linguaggio Java ha comportato una corrispondente ampia proliferazione di testi sull’argomento. La maggior parte di essi appare incentrata sul linguaggio in sé, analizzato nella sintassi e nella sua specificità orientata alla programmazione ad oggetti, oppure, con respiro più ampio, sull’impiego di Java quale strumento didattico per l’acquisizione dei concetti e delle tecniche base della programmazione. Un aspetto trattato in modo marginale è invece quello della flessibilità e della semplicità nella realizzazione di applicazioni distribuibili in rete con pesante impiego della grafica.
Linguaggio, storia e didattica della matematica

Autori: Giorgio T. Bagni
Editore: Pitagora
Data pubblicazione: 2006
ISBN: 88-371-1627-6
Visualizza la scheda del libro
Descrizione: La didattica della matematica è una disciplina costituitasi scientificamente in epoca recente, ma i problemi che essa affronta hanno radici antiche; come antica è la possibilità di caratterizzare e di motivare la riflessione educativa tenendo conto di posizioni filosofiche e degli sfondi storici e sociali. Un’apertura di questo genere coinvolge l’epistemologia, uno dei temi principali della riflessione filosofica moderna e contemporanea: quando si parla di didattica, dunque dei processi di insegnamento-apprendimento, ci si riferisce all’acquisizione della conoscenza e di conseguenza a questioni epistemologiche. La riflessione sviluppata in questo studio mira a evidenziare ed a discutere alcuni dei collegamenti che importanti posizioni filosofiche (ad esempio l’ermeneutica, definita da G. Vattimo “come quella filosofia che si sviluppa lungo l’asse Heidegger-Gadamer”) hanno con la didattica della matematica ed a proporre agli studiosi un panorama stimolante di idee e di considerazioni.
Introduzione alle TECNOLOGIE WEB

Autori: Vito Roberto, Marco Frailis, Alessio Gugliotta, Paolo Omero
Editore: Mc Graw Hill
Data pubblicazione: gennaio 2005
ISBN: 88 386 6181-2
Visualizza la scheda del libro
Descrizione: Il testo presenta un’ampia panoramica sulle tecnologie del WWW. È strutturato in due parti: Percorsi nel WWW ed Esercitazioni.La prima parte presenta i temi e i principi-base del WWW;
* il Web come servizio di rete;
* lo spazio ipermediale;
* i linguaggi di rappresentazione;
* i linguaggi di programmazione;
* le architetture;
* i problemi di sicurezza nel Web;
* gli scenari applicativi.
Corso integrato di matematica per le scienze naturali ed applicate

Autori: Paolo Baiti e Lorenzo Freddi
Editore: Forum
Data pubblicazione: 2005
ISBN: 88 8420 283-3
Visualizza la scheda del libro
Descrizione: Caratteristica principale di questo libro, che propone un corso universitario di matematica, è quella di non limitarsi al solo testo cartaceo, ma di rendere disponibile, on-line e su cd-rom, materiale integrativo continuamente aggiornato e consistente nella risoluzione degli esercizi proposti nel testo, in capitoli aggiuntivi e presentazioni multimediali utilizzabili dal docente nella didattica o dallo studente per ripassare o approfondire alcuni argomenti. Per questo motivo il volume costituisce un prodotto completo ed adattabile a diverse esigenze didattiche. In esso viene presentata una rapida sintesi dei concetti fondamentali, proposti in una veste organica e funzionale all’applicazione della matematica alle scienze naturali. Ampio spazio è dato perciò alla discussione di modelli fisici e biologici che introducono, esemplificano o applicano tali concetti.
SISTEMI INFORMATIVI AZIENDALI
Struttura e applicazioni

Autori: Maurizio Pighin, Anna Marzona
Editore: PEARSON - Prentice Hall
Data pubblicazione: 2005
ISBN:88-719-2244-1
Visualizza la scheda del libro
Descrizione: Il testo ha l’obiettivo di integrare l’attuale bibliografia disponibile sul mercato italiano, offrendo uno strumento che descrivendo la struttura di un sistema informativo aziendale, ne dettagli i processi coinvolti, ne individui i moduli funzionali e la sottostante organizzazione concettuale dei dati.
Il testo si articola in 13 capitoli seguiti da un case study industriale. I primi due capitoli inquadrano in generale le necessità informative dell'azienda, distinguendo tra informazione per il supporto operativo ed informazione per il supporto decisionale. I capitoli successivi - dal 3 al 10 - descrivono i sistemi operazionali, soffermandosi in particolar modo sulla struttura dei sistemi ERP. Gli ultimi tre capitoli descrivono i sistemi informazionali (data warehouse e strumenti di analisi e mining dei dati) e forniscono alcune esemplificazioni di strutture multidimensionali utilizzabili in azienda per l'analisi delle diverse aree. Il case study illustra il sistema informativo realmente in uso in una azienda di media dimensione caratterizzata da un’elevata complessità dei flussi produttivi e commerciali, emblematica delle piccole e medie industrie che costituiscono il tessuto produttivo italiano.
Laboratorio di programmazione in Java

Autori: Paolo Coppola, Stefano Mizzaro
Editore: APOGEO
Data pubblicazione: Febbraio 2004
ISBN: 88-503-2145-7
Visualizza la scheda del libro
Descrizione: La programmazione è una disciplina eminentemente pratica, nella quale è impossibile imparare senza "fare". Questo libro propone al lettore un vero e proprio percorso guidato costituito da più di 400 esercizi e da quasi 200 pagine di soluzioni e commenti. L'enfasi è posta sugli aspetti basilari e concettuali della programmazione strutturata e orientata agli oggetti, non sul linguaggio Java, che invece viene considerato un utile strumento per imparare.
La Personalizzazione dei contenuti Web: e-commerce, i-access, e-government

Autori: Carlo Tasso, Paolo Omero
Editore: FRANCO ANGELI
Data pubblicazione: 2002
ISBN: 88-464-3523-0
Visualizza la scheda del libro
Descrizione: Da qualche anno si sono sempre più diffusi i siti ed i portali Web capaci di adattare automaticamente i propri contenuti (informazioni, beni o servizi) alle esigenze e preferenze personali dei singoli navigatori. Tale Personalizzazione è realizzata costruendo profili individuali delle caratteristiche degli utenti, permettendo quindi di filtrare le informazioni e di raccomandare servizi e prodotti in base alla loro effettiva attinenza con gli interessi dello specifico utente. L'accesso ad un sito Web diventa così un'esperienza personalizzata.
Ottimizzazione

Autore: Paolo Serafini
Editore: Zanichelli, Bologna
pagine: 548
Data pubblicazione: giugno 2000
ISBN: 88-08-9059
Visualizza la scheda del libro
Descrizione: L'ottimizzazione affronta il problema di come risolvere modelli matematici che descrivono sistemi gestionali complessi, tramite tecniche algoritmiche. Questo testo intende fornire quelle competenze professionali necessarie per progettare tali sistemi, con una chiara consapevolezza della portata dei modelli e degli algoritmi utilizzabili. Il volume si articola in una parte iniziale dedicata ai presupposti matematici e informatici (teoria dei grafi, complessità computazionale e analisi convessa) e in una seconda parte contenente i principali argomenti dell'ottimizzazione: teoria della dualità, programmazione lineare (metodo del simplesso e algoritmi ai punti interni), reti di flusso, programmazione dinamica, ottimizzazione combinatoria, combinatoria poliedrale, programmazione lineare intera (algoritmi sia esatti che euristici) e programmazione non lineare. La materia è esposta cercando di inquadrare i diversi risultati in una teoria coerente ed unificante, secondo una progressione dai problemi facili verso quelli più difficili. Il libro è corredato da molti esempi e da una serie di esercizi inseriti all'interno del testo.
