Il libro e la naturale continuazione di ‘Introduzione alla complessita computazionale’. Il libro inizia affrontando il problema della primalita e della difficile identificazione della sua precisa complessita computazionale, per portarci all'analisi delle relazioni tra determinismo e casualita. Vengono poi presentati modelli di calcolo. Essempi ed esercizi aiutano il lettore ad impadronirsi degli strumenti matematici che vengono introdotti. Il testo puo essere utilizzato per corsi universitari avanzati (in particolare del corso di laurea in Informatica) e per corsi di dottorato. Inoltre si propone come riferimento per i ricercatori del settore e di aree affini.