Algoritmi: Lo spirito dell’informatica

Content: 
Front Matter....Pages I-XXII
Front Matter....Pages 3-3
Introduzione e revisione storica....Pages 5-22
Algoritmi e dati....Pages 25-60
I linguaggi e i paradigmi di programmazione....Pages 63-95
Front Matter....Pages 97-97
Metodi algoritmici....Pages 99-119
La correttezza degli algoritmi....Pages 121-155
L’efficienza degli algoritmi....Pages 157-189
Front Matter....Pages 191-191
Inefficienza e intrattabilit� ....Pages 193-230
Non computabilit� e indecidibilit� ....Pages 233-265
L’universalit� algoritmica e la sua robustezza....Pages 267-308
Front Matter....Pages 311-311
Parallelismo, Concorrenza e modelli alternativi....Pages 313-357
Algoritmi probabilistici....Pages 359-381
Crittografia e Interazioni affidabili....Pages 383-404
Front Matter....Pages 407-407
Ingegneria del software....Pages 409-430
Sistemi reattivi....Pages 433-460
Algoritmi e Intelligenza....Pages 463-489
Poscritto....Pages 491-492
Soluzioni....Pages 493-531
Note bibliografiche....Pages 533-601
Back Matter....Pages 603-616