Libri di Van
Bibliografia di Van: tutti i libri in vendita online pubblicati nella collana Didattica E Ricerca Manuali
Architettura degli elaboratori Vanneschi Marco - Pisa University Press, 2013 - Didattica E Ricerca. Manuali
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.
Fondamenti di meccanica del volo spaziale Mengali Giovanni Quarta Alessandro A. - Pisa University Press, 2013 - Didattica E Ricerca. Manuali
La meccanica del volo spaziale è la disciplina che studia il moto dei satelliti artificiali e delle sonde interplanetarie. Partendo da una descrizione fisica dei vari problemi in pioto, in questo volume vengono forniti gli elementi necessari perché il lettore sia in grado di familiarizzare con i concetti fondamentali riguardanti sia il moto orbitale che la dinamica ed il controllo dei satelliti. In particolare viene dettagliatamente descritta la meccanica kepleriana classica e fornita un'ampia panoramica sulle manovre orbitali, sulle perturbazioni orbitali e sull'analisi di missione. Il volume contiene anche una descrizione delle principali tecniche di stabilizzazione passiva ed un introduzione alla dinamica ed al controllo attivo dei satelliti. Sono inoltre presenti numerosi esempi che, oltre a dimostrare la possibilità pratica di applicare le metodologie descritte da un punto di vista teorico, hanno lo scopo di fare acquisire l'indispensabile dimestichezza con i valori numerici che assumono le varie quantità in gioco. Il taglio dell'opera è di carattere applicativo e molti degli argomenti trattati sono esposti in maniera tale da poter essere facilmente tradotti in algoritmi da implementare su un elaboratore elettronico e da approfondire mediante simulazione.