Pisa University Press: Didattica e Ricerca. Manuali

Il volume, concepito per docenti e studenti universitari di lingua e traduzione tedesca, descrive una scelta di strutture less

Il volume contiene un'esposizione dei principali argomenti la cui conoscenza è ritenuta opportuna dall'autore per affrontare p

Questo libro presenta un'introduzione all'elaborazione di segnali numerici (Digital Signal Processing - DSP)

"Ecostoria" è lo studio degli insediamenti umani, comunque configurati. Poiché abitare e organizzarsi sul territorio è una necessità per tutti, l'ecostoria è la storia di tutti e soprattutto delle civiltà, dei ceti, dei popoli e perfino degli individui che non potrebbero altrimenti avere una storia riconoscibile. Il metodo ecostorico consente di indagare con rigore oggetti altrimenti non confrontabili, dall'architettura vernacolare al paesaggio, dalle cattedrali all'edilizia delle periferie urbane. Nel volume sono raccolti saggi che riassumono mezzo secolo di esperienza in questo settore di studi, prima e dopo che il termine "ecostoria" entrasse nell'ufficialità.

La meccanica del volo spaziale è la disciplina che studia il moto dei satelliti artificiali e delle sonde interplanetarie

Questo volume ricalca il contenuto dei corsi classici dell'Algebra di base, sviluppando in particolare l'introduzione all'arit

Questo testo è una breve introduzione alla cosiddetta "vecchia teoria dei quanti", cioè all'insieme di idee, ipotesi e modelli che portarono alla nascita della moderna Meccanica Quantistica. Il testo è stato scritto con un duplice scopo: da una parte, fornire allo studente che inizia a studiare Meccanica Quantistica una breve panoramica delle problematiche e delle idee che hanno portato alla formulazione di questa nuova meccanica; dall'altra, offrire allo studente più esperto l'occasione per riflettere sui problemi che hanno generato la teoria, alla luce di quanto appreso nei sui studi.

Il testo raccoglie più di novanta esercizi, per la maggior parte svolti e commentati, sull'analisi dei circuiti elettrici lineari ed è rivolto agli studenti dei corsi di Laurea in Ingegneria dove è previsto l'insegnamento di Elettrotecnica. Il volume è articolato in 6 capitoli presentando in successione esercizi sui circuiti resistivi, a regime sinusoidale, a regime periodico non sinusoidale e aperiodici, quindi esercizi relativi alla rappresentazione ingresso-uscita di un circuito ed infine esercizi sui circuiti due porte. Ogni capitolo è suddiviso in tre sezioni. In particolare nella sezione A gli esercizi sono svolti in modo esteso mettendo in evidenza laddove necessario o semplicemente utile gli aspetti teorici connessi. In tale sezione compaiono anche argomenti ed esercizi di approfondimento. Nella sezione B è invece fornita solo la traccia della soluzione dell'esercizio proposto mentre nella sezione C la soluzione è lasciata allo studente. In questo modo il testo si propone come ausilio didattico per l'apprendimento e la comprensione dell'Elettrotecnica circuitale. Il volume fa riferimento a "Lezioni di Elettrotecnica" del Prof. Marco Raugi, pubblicato da Pisa University Press (2012). Di tale testo è stata adottata l'impostazione, privilegiando una esposizione il più possibile semplice e chiara ed esplicitando i vari passaggi matematici connessi alla risoluzione degli esercizi proposti.

Il volume fornisce agli studenti del corso di Laurea Infermieristica (ma esso è fruibile anche dagli studenti dei Corsi di Lau

Questo libro ha l'obiettivo di studiare l'architettura degli elaboratori secondo un approccio integrato e strutturato. Ogni argomento viene trattato sviluppando metodologie le più formali possibile e modelli di costo, e, al tempo stesso, facendo riferimento alle tecnologie disponibili e a quelle previste nel breve-medio termine, eventualmente discutendo possibili evoluzioni nel lungo termine. Il testo è suddiviso in quattro parti: Fondamenti e strutturazione firmware, Macchina Assembler e processi, Architettura Base di Elaboratori General-Purpose, Architetture parallele. Oltre che utilizzabile da professionisti e ricercatori, il testo contiene materiale per più corsi sull'architettura dei sistemi di elaborazione, e può essere utilizzato in modo del tutto modulare selezionando facilmente specifici capitoli o parti di essi. La trattazione fa ampio uso di esempi ed esercizi svolti. Le propedeuticità necessarie sono quelle di una preparazione di base a livello universitario nei settori della matematica, della programmazione e degli algoritmi. Rispetto alla prima edizione sono sviluppati a fondo i temi delle gerarchie di memoria, architetture ILP scalari e superscalari, in-order vs out-of-order, VLIW, multithreading, multicore, cache coherence.

Questo libro è indirizzato prevalentemente agli studenti di Fondamenti di Meccanica teorica e Applicata e di Meccanica Applicata alle Macchine, e può essere adottato in vari Corsi di Laurea. E stato scritto con l'intenzione di fornire gli elementi di base in una panoramica abbastanza ampia dei vari argomenti oggetto della Meccanica. Particolare importanza è data alla comprensione del fenomeno fisico e al tempo stesso sono fornite formule ed equazioni fondamentali relative ai vari argomenti, chiariti anche mediante alcuni esercizi significativi. Allo scopo di dare anche un taglio applicativo ali opera, sono subito introdotti concetti fondamentali legati a macchine e meccanismi e al collegamento fra i loro elementi. Aspetti connessi al movimento sono quindi trattati in un capitolo sulla cinematica, mentre quelli legali agli accoppiamenti fra corpi, con i connessi problemi di attrito e usura, sono approfonditi nei successivi capitoli riguardatiti la meccanica dei contatti in assenza e in presenza di lubrificante. Elementi essenziali di componenti per la trasmissione del moto, in particolare fra alberi rotanti, sono poi trattati in un capitolo specifico seguito dai due capitoli finali sulla dinamica delle macchine e dei sistemi vibranti.

Dalla introduzione: "Si può senz'altro affermare che la teoria dei gruppi è entrata a far parte di quel corredo matematico più

Il manuale di Geotecnica è stato progettato e scritto per gli allievi dei corsi di studio dell'area di Ingegneria Civile e di Scienze della Terra. Tuttavia il manuale è anche concepito come strumento per l'esercizio dell'attività professionale. Il primo Tomo riguarda alcuni concetti fondamentali, l'idraulica dei terreni, i modelli di comportamento, i metodi di analisi e le indagini. Il secondo Tomo riguarda invece la progettazione geotecnica delle opere di sostegno, rilevati, scavi e opere di fondazione ed è corredato da una serie di esercitazioni progettuali. Il primo Tomo è quindi concepito per gli allievi delle Lauree (triennali) mentre il secondo Tomo è fondamentalmente concepito per gli allievi delle Lauree Magistrali.

In questo secondo volume del testo "Architettura dei Calcolatori", dal titolo specifico "Struttura hardware del Processore PC,

Con l'introduzione dei nuovi ordinamenti, l'insegnamento dell'Algebra di base nei corsi di laurea in matematica è stato in alcuni casi suddiviso in due moduli semestrali. La materia rimane però essenzialmente unitaria, ed il secondo modulo, anche quando è formalmente separato dal primo, non può prescindere da esso, ma anzi lo arricchisce e lo completa. Questo volume ricalca il contenuto dei corsi classici dell'Algebra di base che si sono tenuti negli ultimi anni all'Università di Pisa, sviluppando in particolare la teoria dei gruppi, la teoria degli anelli, la teoria dei campi e delle estensioni algebriche e la teoria di Galois. Inoltre sono stati inseriti due capitoli, uno relativo ai fondamenti del calcolo combinatorio ed uno allo studio delle cardinalità, per dare un quadro di riferimento più completo. Rispetto ad altre, la presente trattazione si contraddistingue forse per due aspetti: il primo, l'introduzione iniziale di un approccio concreto all'algebra astratta, partendo cioè dagli esempi di più immediata comprensione, come l'aritmetica modulare ed i polinomi, per addolcire la difficoltà del percorso degli studenti verso l'astrazione; il secondo, il particolare rilievo che si cerca di dare, dopo le enunciazioni teoriche, all'uso ed alle applicazioni dei risultati dimostrati, in virtù della convinzione che non si conosce la matematica finché non la si sa "usare".

In questo primo volume del testo "Architettura dei Calcolatori", dal titolo specifico "Struttura software del processore PC, Assembler e corrispondenza fra C++ e Assembler", viene anzitutto presentato il cosiddetto Processore PC (schematizzazione dei processori con architettura x86-32), con riferimento sia alle istruzioni della Arithmetic and Logic Unit per numeri naturali e interi, sia a quelle della Floating Point Unit per numeri reali. Viene quindi illustrato il linguaggio Assembler con riferimento al sistema operativo Unix e all'ambiente di programmazione GNU/GCC. La parte preponderante del testo è dedicata a illustrare le modalità con le quali si realizzano in Assembler i principali costrutti linguistici del linguaggio C++ (che si suppone noto), con particolare riferimento alle funzioni/operatori globali e alle funzioni/operatori membro di classi. Alcuni dei più significativi programmi che compaiono nel presente volume sono disponibili al sito internet: ing.unipi.it/LibroCalcolatori. Essi possono essere scaricati, evitando in tal modo una loro riscrittura, che spesso introduce insidiosi errori di battitura.

In questo terzo volume del testo "Architettura dei Calcolatori", dal titolo specifico "Aspetti Architetturali Avanzati e Nucleo di Sistema Operativo". viene utilizzato il processore PC (illustrato nei primi due volumi del testo), anzitutto per trattare tematiche avanzate (memoria virtuale, protezione, multiprogrammazione) con riferimento ai Personal Computer. Viene quindi descritto un nucleo di sistema operativo (con processi, primitive di nucleo e primitive di I/O), che consente di trattare gli aspetti di interfaccia tra hardware e software, verificando sperimentalmente le funzionalità dei costrutti software basilari, e di gestire le più importanti interfacce presenti nei Personal Computer. Il nucleo descritto nel testo è stato effettivamente realizzato, utilizzando come strumenti di programmazione i linguaggi Assembler e C++ dell'ambiente GNU/GCC, e può essere eseguito utilizzando l'emulatore QEMU. Esso è disponibile al sito internet: ing.unipi.it/LibrooCalcolatori.

Il volume presenta alcuni rilevanti problemi decisionali di ottimizzazione a risorse limitate che sorgono nell'analisi di sist

Il testo intende costituire un supporto didattico per l'apprendimento dell'Elettrotecnica