Elenco di testi d’esame o di supporto agli esami in ordine di classificazione Questi volumi si trovano in uno scaffale vicino al Banco del Prestito. È possibile prenderne fino a tre in prestito giornaliero o fine settimana previa iscrizione alla Biblioteca. Gli studenti sono pregati di segnalare eventuali lacune al personale del Front Office. CLASSIFICAZIONE 02/26 02/53 02/MEN/E011 04/HAL/P021 O5C/9 BIS 08/12 bis 08/28 bis 08Z/8 08Z/13 08Z/16 08Z/17 08Z/19 08Z/21 10/23 quater 10/52 bis 10/60 10/APO/T012 13/ATI/M012 14/65 bis 15/62 bis 15Z/20 bis 15Z/LAN/S013 22 /23 26Z/1 26Z/2 26Z/4 bis RIFERIMENTI BIBLIOGRAFICI Introduzione alla logica formale / Gabriele Lolli. - Bologna : Il mulino, [1991]. - 333 p. Logica a informatica / Andrea Asperti, Agata Ciabattoni. - Milano : McGraw-Hill libri Italia, 1997. - XXII, 230 p. Introduzione alla logica matematica / Elliott Mendelson. - Torino : Bollati Boringhieri, 1972. - 353 p. Naive set theory / Paul R. Halmos. – New York \etc.! : Springer, c1974. - VII, 104 p. Graph theory and complex networks : an introduction / Maarten van Steen. - [S.l.] : published by Maarten van Steen, 2010. - XII, 285 p. : ill. Note di algebra : versione 4 (incompleta) / Angelo Vistoli. - Bologna : Centro Copie Bononia, [s.d.]. - 307 p. Elementi di aritmetica modulare / Marilena Barnabei, Flavio Bonetti. - Bologna : Progetto Leonardo, [2006]. - 100 p. Algebra / I. N. Herstein. - Roma : Editori Riuniti, 1982. - XIV, 423 p. Matematica discreta elementare / M. Barnabei, F. Bonetti. - Nuova ed. - Bologna : Pitagora, ©1995. - 203 p. Esercizi di algebra / Edmondo Bedocchi. - Bologna : Pitagora, ©1992. Vol. 1. - 38 p. Esercizi di algebra / Edmondo Bedocchi. - Bologna : Pitagora, c1995. Vol. 2: Teoria dei numeri. - p. 41-76. Algebra / Michael Artin. - Torino : Bollati Boringhieri, 1997. - XIII, 717 p. Esercizi di algebra / Edmondo Bedocchi. - Bologna : Pitagora, ©1998. - 200 p. Introduction to cryptography / Johannes Buchmann. - 2. ed. - New York [etc.] : Springer, c2004. - XVI, 335 p. Aritmetica, crittografia e codici / W. M. Baldoni, C. Ciliberto, G. M. Piacentini Cattaneo. - Milano : Springer, ©2006. - XVI, 518 p. Crittografia : con elementi di teoria dei codici / Wade Trappe, Lawrence C. Washington. - 2. ed. - [Milano] : Pearson Paravia B. Mondadori, 2009. - XV, 528 p. Introduction to analytic number theory / Tom M. Apostol. New York : Springer-Verlag, 1976. - XII, 338 p. Introduction to commutative algebra / M. F. Atiyah, I. G. Macdonald. - Reading [etc.] : Addison-Wesley, c1969. - IX, 128 p. Ideals, varieties, and algorithms : an introduction to computational algebraic geometry and commutative algebra / David Cox, John Little, Donal O'Shea. - 3. ed. - New York : Springer, 2012. - XV, 551 p. Introduzione all'algebra lineare / Rita Fioresi, Marta Morigi. - Rozzano : Casa Editrice Ambrosiana, 2015. - IX, 242 p. Matematica : calcolo infinitesimale e algebra lineare / M. Bramanti, C. D. Pagani, S. Salsa. - 2. ed. - Bologna : Zanichelli, 2004. - X, 645 p. Algebra lineare e le sue applicazioni / Serge Lang. - Torino : Boringhieri, 1974. - 372 p Lie groups : an approach through invariants and representations / Claudio Procesi. New York : Springer, c2007. - XVII, 596 p. Analisi matematica / C. D. Pagani, S. Salsa. - Milano etc.! : Masson ; poi Bologna : Zanichelli. – vol. 1 . 1990. - XI, 528 p. Analisi matematica / C. D. Pagani, S. Salsa. - Milano etc.! : Masson ; poi! Bologna : Zanichelli. – vol. 2 . - Rist. corr. - 1994. - XI, 596 p. Esercizi di analisi matematica 2 26Z/5 bis 26Z/23 26Z/24 quater 26Z/73 26Z/74 bis 26Z/75 26Z/76 26Z/104 26Z/130 26Z/145 26Z/APO/T061 26Z/PIN/B042 26Z/PIN/B052 26Z/PIN/B092 26Z/PIN/B102 28/5 30Z/RUD/W032 34/HIL/E011 34Z/2 34Z/COD/E011 35/18 46/83 bis 1: Funzioni di piu variabili e ottimizzazione : serie numeriche e di funzioni / S. Salsa, A. Squellati. - Milano : Masson, 1995. - 220 p. Esercizi di analisi matematica 2 2: Integrazione : multipla secondo Riemann, su linee e superfici, secondo Lebesgue / S. Salsa, A. Squellati. - Milano : Masson, 1996. - 256 p. Lezioni di analisi matematica 1 / Ermanno Lanconelli. - Bologna : Pitagora, ©1994. - VI, 280 p. Lezioni di analisi matematica 2 / Ermanno Lanconelli. - Bologna : Pitagora, ©1995. - VI, 281 p. Calcolo differenziale 2 : funzioni di più variabili / Robert A. Adams ; ed. italiana a cura di Luigi Quartapelle. - 3. ed. - Milano : Ambrosiana, c2003. - XVIII, 451, [68] p. Esercizi di matematica / Sandro Salsa, Annamaria Squellati. - Bologna : Zanichelli. - v. 1: Calcolo infinitesimale e algebra lineare / Sandro Salsa, Annamaria Squellati. Ristampa coordinata con la 2. ed. di Bramanti, Pagani, Salsa, Matematica. - Bologna : Zanichelli, 2004. - VIII, 262 p. Analisi matematica 1 / Enrico Giusti. - 3. ed. interamente riveduta e ampliata. - Torino : Bollati Boringhieri, 2002. - X, 461 p. : ill. Analisi matematica 2 / Enrico Giusti. - 3. ed. interamente riv. e aggiornata. - Torino : Bollati Boringhieri, 2003. - X, 307 p. : ill. Analysis : an introduction / Richard Beals. - Cambridge University Press, c2004. - IX, 261 p. Calcolo differenziale 1 : funzioni di una variabile reale / Robert A. Adams ; ed. italiana a cura di Luigi Quartapelle. 3. ed. Milano : Ambrosiana, c2003. - XIX, 614, [97] p. Analisi matematica / Michiel Bertsch, Roberta Dal Passo, Lorenzo Giacomelli. - 2. ed. Milano : McGraw Hill, 2011. – XIV, 611 p. Mathematical analysis / Tom M. Apostol. 2. ed Reading (Mass.) : Addison-Wesley, c1974. - XVII, 492 p. Secondo corso di analisi matematica / B. Pini. - Bologna : Cooperativa libraria universitaria, stampa 1972. - 2 v. : ill. 1. 60, 105, 103, 98 p. : ill. Secondo corso di analisi matematica / B. Pini. - Bologna : Cooperativa libraria universitaria, stampa 1972. - 2 v. : ill. 2. 125, 196, 110 p. : ill. Lezioni di analisi matematica di secondo livello / Bruno Pini. - Bologna : CLUEB. - v. 1. 1983. - XV, 804 p. Lezioni di analisi matematica di secondo livello / Bruno Pini. - Bologna : CLUEB. - v. 2. 1986. - VI, 313 p. Measure theory and fine properties of functions / Lawrence C. Evans and Ronald F. Gariepy. Boca Raton \etc.! : CRC, c1992. VIII, 268 p. Analisi reale e complessa / Walter Rudin. - Torino : Boringhieri, 1988. - 451 p. Lectures on ordinary differential equations / E. Hille Reading, Mass. : Addison-Wesley Pub. Co., 1969. - xi, 723 p. Algebra lineare ed equazioni differenziali ordinarie / Cesare Parenti, Alberto Parmeggiani. - Milano [etc] : Springer, 2010. - VIII, 208 p. An introduction to ordinary differential equations / Earl A. Coddington. Englewood Cliffs, N. J. : Prentice-Hall, c1961. - XI, 292 p. Introduction to partial differential equations / Gerald B. Folland. - 2. ed. Princeton, N. J. : Princeton University Press, c1995. - XI, 324 p Functional analysis, Sobolev spaces and partial differential equations / Haim Brezis. New York : Springer, 2011. - XIII, 599 p. : ill. 46/DEI/K011 47/REE/M011 50Z/1 quater 50Z/12 50Z/13 50Z/24 53 /46 55Z/MAU/C011 55Z/SPA/E013 58/42 bis 60/95 60/106 60/121 60/127 60/159 60/219 60/DEF/B011 60/DEF/B021 60G/WIL/D011 62/82 65/18 65/37 65/96 bis 65/135 65/214 65E/60 bis Nonlinear functional analysis / Klaus Deimling. - Berlin <etc.> : Springer-Verlag, c1985. XIV, 450 p. Methods of modern mathematical physics / Michael Reed, Barry Simon. - Boston [etc.] : Academic Press. – vol. 1: Functional analysis, c1972. - XVII, 325 p. : ill. Geometria 1 / Edoardo Sernesi. - 2. ed. riveduta e ampliata. - Torino : Bollati Boringhieri, [2000]. - 502 p. Lezioni di geometria / Silvio Greco, Paolo Valabrega. - Torino : Libreria editrice universitaria Levrotto & Bella. - vol. 1: Algebra lineare, 1999. - IX, 219 p. Lezioni di geometria / Silvio Greco, Paolo Valabrega. - Torino : Libreria editrice universitaria Levrotto & Bella. – vol. 2: Geometria analitica. - 1999. - VI, 303 p. Geometria / Marco Abate. - Milano : McGraw-Hill Libri Italia, 1996. - X, 438 p. Modern differential geometry of curves and surfaces with mathematica / Alfred Gray, Elsa Abbena, and Simon Salamon. 3. ed. Boca Raton [etc.] : Chapman & Hall/CRC, c2006. - 984 p. Algebraic topology / C. R. F. Maunder. - London : Van Nostrand Reinhold, 1970. - IX, 375 p. Algebraic topology / Edwin H. Spanier. New York etc.! : McGraw-Hill, c1966. - XIV, 528 p. An introduction to manifolds / Loring W. Tu. 2. ed. – N. Y. : Springer, c. 2011. - XV, 360 p. Queueing systems / Leonard Kleinrock. - New York : John Wiley & Sons, 1975-1976. - 2 v. 1: Theory, c1975. - 417 p. Introduction to probability models / Sheldon M. Ross. - 8. ed. - Amsterdam [etc.! : Academic press, 2003. - XVII, 755 p. : ill. Probabilità / Nicolò Pintacuda. - Padova : Decibel, 1994. - VI, 186 p. Elementi di probabilità e statistica / F. Biagini, M. Campanino. - Milano : Springer, [2006]. - XI, 236 p. Calcolo stocastico per la finanza / Andrea Pascucci. - Milano [etc.] : Springer, c2008 (stampa 2007). - XV, 517 p. Calcolo delle probabilità e statistica / Paolo Baldi. - 2. ed. - Milano : McGraw-Hill libri Italia, 1998. - VIII, 339 p. Teoria delle probabilità : sintesi introduttiva con appendice critica / Bruno de Finetti. Torino : Einaudi. - 2 volumi. 1 . 1970. - XIV, 347 p. Teoria delle probabilità : sintesi introduttiva con appendice critica / Bruno de Finetti. Torino : Einaudi. - 2 volumi 2 . 1970. - VIII, 349-769 p. Probability with martingales / David Williams. Cambridge [etc.] : Cambridge university press, 1991. - XV, 251 p. Statistica : principi e metodi / Giuseppe Cicchitelli. - 2. ed. Milano ; Torino : Pearson, 2012. - XV, 575 p. Metodi numerici / Roberto Bevilacqua [et al.]. - Bologna : Zanichelli, 1992. - X, 862 p. Analisi numerica : metodi modelli applicazioni / Valeriano Comincioli. - 2. ed. - Milano [etc.] : McGraw-Hill libri Italia, 1995. - XV, 765 p. Rank-deficient and discrete ill-posed problems : numerical aspects of linear inversion / Per Christian Hansen. - Philadelphia : SIAM, c1998 . - XVI, 247 p. Front-end vision and multi-scale image analysis : multi-scale computer vision theory and applications, written in mathematica / B. M. Ter Haar Romeny. [s.d.] : Springer, 2008. - XVIII, 464 p. Matematica numerica / Alfio Quarteroni ... [et al.]. - 4. Ed. - Milano : Springer, 2014. XVII, 529 p. Deblurring images : matrices, spectra, and filtering / Per Christian Hansen, James G. 65E/65 bis 65E/BIN/D013 68C/STE/W011 68M/12 68M/32 Nagy, Dianne P. O'Leary. - Philadelphia : SIAM, 2006. - XIV, 130 p. Calcolo scientifico : esercizi e problemi risolti con MATLAB e Octave / A. Quarteroni, F. Saleri. - 4. ed. - Milano : Springer, 2008. - XIV, 358 p. : ill. Metodi numerici per l'algebra lineare / Dario Bini, Milvio Capovani, Ornella Menchi Bologna : Zanichelli, 1988. - X, 514 p. Advanced programming in the UNIX environment / W. Richard Stevens. - Reading, Massachusetts [etc.] : Addison-Wesley, c1992. - XVIII, 744 p. Distributed systems / edited by Sape Mullender. - 2. ed. - New York : ACM Press ; Wockingham, England : Addison-Wesley, c1993. - XVI, 601 p. : ill. Unix network programming / W. Richard Stevens. - Englewood Cliffs : PTR Prentice hall, c1990. - XI, 772 p. 68M/82 Operating systems : design and implementation / Andrew S. Tanenbaum, Albert S. Woodhull. - 2. ed. – Upper Saddle River, NJ : Prentice-Hall, c1997 XVII, 939 p. 68M/84 bis Computer networks : a system approach / Larry L. Peterson, Bruce S. Davie. - 3rd ed. Amsterdam [etc.] : Morgan Kaufmann Publishers, ©2003. - XXVII, 813 p. : ill. Architettura dei calcolatori : un approccio strutturale / Andrew S. Tanenbaum ; edizione italiana a cura di Ottavio M. D'Antona. - 5. ed. - Milano : Pearson, 2006. - XIX, 745 p. : ill. Reactive systems : modelling, specification and verification / Luca Aceto ... [et al.]. Cambridge : Cambridge University Press, 2007. - XVI, 284 p. Reti di calcolatori / Larry L. Peterson, Bruce S. Davie ; edizione italiana a cura di Marcello Dalpasso. - Milano : Apogeo, [2004]. - XXVI, 693 p. Networks, crowds, and markets : reasoning about a higly connected world / David Easley, Jon Kleinberg. - Cambridge : Cambridge University press, 2010. - xv, 727 p. Wireless communications and networks / William Stallings. - 2. ed. Upper Saddle River, NJ : Pearson Prentice Hall, ©2005. - XIII, 559 p. : Principles of wireless networks : a unified approach / Kaveh Pahlavan, Prashant Krishnamurthy. - New Jersey <etc.> : Prentice Hall, c2002. - XIV, 584 p Computer networks : a systems approach / Larry L. Peterson ; Bruce S. Davie. - 5. ed Burlington, MA : Morgan Kaufmann/ Elsevier, 2012. - xxxi, 884 p. : ill. Reti di calcolatori e Internet : un approccio top-down / James F. Kurose, Keith W. Ross ; [edizione italiana a cura di Sabrina Gaito e Dario Maggiorini]. - 6. Ed. - Milano ; Torino : Pearson, 2013. - XXIV, 760 p. Distributed systems : concepts and design / George Coulouris, Jean Dollimore, Tim Kindberg. - 5. ed. - Harlow [etc.] : Addison Wesley, 2012. - 1063 p. : ill. Introduction to discrete event systems / Christos G. Cassandras, Stephane Lafortune. 2. ed. - New York : Springer, c2008. - XXIII, 769 p. : ill. Guide to Reliable Distributed Systems : Building High-Assurance Applications and Cloud-Hosted Services / Kenneth R. Birman. - London : Springer Verlag, 2012. - XXII, 730 p. Parallel and distributed simulation systems / Richard M. Fujimoto. - New York \etc.! : Wiley, \2000!. -XVII, 300 p. Programming in mathematica / Roman E. Maeder. - 3. ed . - Reading (Mass.) ?etc.? : Addison-Wesley, c1997. - XVI, 366 p. Applied operating system concepts / Abraham Silberschatz, Peter Galvin, Greg Gagne. New York (etc.) : John Wiley & Sons, c2000. XVIII, 840 p. An introduction to programming with Mathematica / Paul R. Wellin, Richard J. Gaylord, Samuel N. Kamin. - 3. ed. - New York [etc.] : Cambridge University Press, 2005. - XX, 550 p. : ill. The art of UNIX programming / Eric Steven Raymond. - Boston [etc.] : Addison-Wesley, 68M01/12 68M01/13 68M12/13 68M12/23 68M12/25 68M12/26 68M12/27 68M12/29 68M14/14 quinquies 68M14/18 68M14/19 68M14/20 bis 68N /141 68N/263 68N10/30 68N15/82 68N15/89 68N15/90 68N15/91 bis 68N15/92 68N15/95 68N25/14 68N25/16 68N25/19 68N30/55 bis 68N30/71 68N30/84 68N30/85 68P/27 68P/37 68P15/24 bis 68P15/25 68P15/26 68P15/31 68P25/1 bis 68P25 4 68P25/7 bis 68P25/8 68P30/4 68N30/55 68P30/6 [2004]. - XXXII, 525 p. : ill. Python for software design : how to think like a computer scientist / Allen B. Downey Cambridge : Cambridge University Press, 2009. - XVI, 251 p. Programmazione di base e avanzata con Java / Walter Savitch ; con la collaborazione di Kenrick Mock ; edizione italiana a cura di Daniela Micucci. - Milano ; Torino : - Pearson, 2014. - XXV, 881 p. : ill. Sviluppare applicazioni con iPhone SDK / Bill Dudney, Chris Adamson. - Milano : Apogeo, 2009. - X, 466 p. The *C++ programming language / Bjarne Stroustrup. - 4. ed. - Upper Saddle River : Addison-Wesley, 2014 (stampa 2013). - XIV, 1346 p. Programming : principles and practice using C++ / Bjarne Stroustrup. - 2. ed. - Upper Saddle River, NJ [etc.] : Addison-Wesley, 2014. - xxxi, 1274 p. Operating systems : internals and design principles / William Stallings. - 5.ed. - Upper Saddle River, Prentice Hall, c2005. - XIV, 818 p. Operating systems : a modern perspective / Gary J. Nutt. - 2. ed. - Reading, MA [etc.] : Addison-Wesley, c2000. - xxvii, 611 p. : ill. Android 4 : [guida per lo sviluppatore] / Massimo Carli. - [Nuova ed. aggiornata]. Milano : Apogeo, 2013. - XVIII, 670 p. Principles of program analysis / Flemming Nielson, Hanne Riis Nielson, Chris Hankin. Berlin [etc.] : Springer, c. - XXI, 452 p. Engineering distributed objects / Wolfgang Emmerich. - Chichester \etc.! : Wiley, 2000. - XIII, 371 p. Software architecture : foundations, theory, and practice / Richard N. Taylor, Nenad Medvidovic, Eric M. Dashofy. - Hoboken : John Wileu & Sons, c2010. - XXIII, 712 p. Object-oriented software engineering : using UML, Patterns, and Java / Bernd Bruegge, Allen H. Dutoit. 3. ed., new international edition. Harlow (UK) : Pearson, 2014. – 718 p. Lezioni di basi di dati / P. Ciaccia, D. Maio. - Bologna : Progetto Leonardo, [1995]. - XII, 479 p. Cryptography : theory and practice / Douglas R. Stinson. Boca Raton [etc.] : CRC, c1995. - 434 p. Basi di dati : modelli e linguaggi di interrogazione / Paolo Atzeni ... [et al.]. - 4. ed Milano [etc.] : McGraw-Hill, 2013. - XV, 496 p. Data warehouse : teoria e pratica della progettazione / Matteo Golfarelli, Stefano Rizzi. - 2. ed. - Milano : McGraw-Hill, [2005]. - XVI, 447 p. : ill. ; 24 cm + 1 CD-ROM Introduction to data mining / Pang-Ning Tan, Michael Steinbach, Vipin Kumar. - Boston [etc.] : Addison Wesley, c2006. - XXI, 769 p. : ill. Algoritmi e strutture di dati / Alan Bertossi, Alberto Montresor. - 3. ed. - Novara : Città Studi, 2014. - XIII, 402 p. Cryptography and network security : principles and practice / William Stallings. - 3. ed. Upper Saddle River (N.J.) : Prentice-Hall, c2003. - XIV, 681 p. ; ill. Foundations of cryptography : basic tools / Oded Goldreich. Cambridge \etc.! : Cambridge University press, 2001. - XIX, 372 p. Introduction to modern cryptography / Jonathan Katz, Yehuda Lindell. - Boca Raton [etc.] : Chapman & Hall/CRC, c2008. - XVIII, 534 p. Crittografia e sicurezza delle reti / William Stallings ; edizione italiana a cura di Luca Salgarelli. - 2. ed. - Milano [etc.] : McGraw-Hill, ©2007 (stampa 2006). - XVIII, 694 p. Computer security / Dieter Gollmann. - Chichester (etc.) : John Wiley & Sons, 1999!. XV, 320 p. : ill. Principles of program analysis / Flemming Nielson, Hanne Riis Nielson, Chris Hankin. Berlin [etc.] : Springer, c1999. - XXI, 450 p. Computer networks : a systems approach / Larry L. Peterson ; Bruce S. Davie. - 5. ed. - 68Q/101 bis 68Q/117 68Q/120 68Q/122 68Q/123 68T/87 68T10/18 68U/111 68U/114 68U/116 68U05/11 68U20/6 bis 68U20/14 Burlington, MA : Morgan Kaufmann/ Elsevier, 2012. – xxxi, 884 p. Types and programming languages / Benjamin C. Pierce. - Cambridge : The MIT Press, c2002. - XXI, 623 p. Strategia, complessità e risorse : strumenti e principi per l'analisi dinamica della strategia aziendale / Edoardo Mollona. - Milano : EGEA, 2008. - 417 p. Progetto di algoritmi e strutture dati in Java / Camil Demetrescu, Umberto Ferraro Petrillo, Irene Finocchi, Giuseppe F. Italiano. - Milano [etc.] : McGraw-Hill, [2007]. - XIX, 433 p. : ill. Algoritmi e strutture dati / Camil Demetrescu, Irene Finocchi, Giuseppe F. Italiano. - 2. ed. - Milano [etc.] : McGraw-Hill, [2008]. - XX, 485 p. Algoritmi paralleli : sincroni, concorrenti, distribuiti / Alan A. Bertossi. Bologna : Pitagora, c2009. - VI, 169 p. Artificial intelligence : a modern approach / Stuart Russell, Peter Norvig. - 3. ed., new international ed. - Harlow : Pearson, 2014. - II, 1091 p. Computational beauty of nature : computer explorations of fractals, chaos, complex systems, and adaptation / Gary William Flake. - Cambridge, MA ; London : Mit press, c1998. - XVIII, 493 p. ; Computational complexity / Christos H. Papadimitriou. Reading, MA \etc.! : Addison-Wesley, c1994. - XV, 523 p. Computational topology : an introduction / Herbert Edelsbrunner, John L. Harer. Providence : American mathematical Society, 2010. - XII, 241 p. Wireless communications / Andrea Goldsmith. - Cambridge [etc.] : Cambridge University press, 2005. - XXVIII, 644 p. Digital multimedia / Nigel Chapman, Jenny Chapman. - 3. ed. - Chichester : John Wiley & Sons, c2009. - XI, 724 p. Simulation modeling and analysis / Averill M. Law, W. David Kelton. - 3. ed. - Boston \etc! : McGraw Hill, 2000. - XXI, 760 p. Discrete-event system simulation / Jerry Banks ...[et al.]. - 5. ed. - Uper Saddle River : Pearson, c2010. - 640 p. 68U37/66 Business process management : concepts, languages, architectures / Mathias Weske. - 2. ed. Berlin ; New York : Springer, 2012. - XV, 403 p. 68U38/69 Wireless communications : principles and practice / Theodore S. Rappaport. - 2. ed. Upper Saddle River, NJ : Prentice Hall PTR, c2002. - XXIII, 707 p. Interazione uomo-macchina / Alan Dix ... et al.!. - Milano : McGraw-Hill, 2004!. - XXI, 653 p. Semantics with applications : an appetizer / Hanne Riis Nielson, Flemming Nielson. London : Springer, c2007. – XII, 274 p. Elementi di didattica della matematica / Bruno D'Amore ; premessa di Colette Laborde. - Bologna : Pitagora, 1999. - XV, 454 p. Diritto di Internet / Giusella Finocchiaro. - 2. ed. - Bologna : Zanichelli, 2008. - VI, 224 p. Mathematica : a problem-centered approach / Roozbeh Hazrat. London [etc.] : Springer, 2010. - XIV, 188 p. L’analisi strategica per le decisioni aziendali / Robert M. Grant. - 4. ed. - Bologna : Il mulino, 2011. - 583 p. Ricerca operativa / Paolo Serafini. - Milano : Springer, c2009. - XVI, 535 p. Meccanica statistica : trattatello / Giovanni Gallavotti. - Roma : [s.n.], 1995 (Firenze : Centro duplicazione offset). - III, 356 p. Metodi matematici della meccanica classica / Vladimir Igorevic Arnold. - Roma : Editori Riuniti ; Mosca : Edizioni Mir, 1988. - 478 p. : ill. Meccanica elementare / Giovanni Gallavotti. - 2. ed. riv. e ampliata. - Torino : Boringhieri, 1986. - 536 p. Esercizi di meccanica razionale : calcolo vettoriale, cinematica del punto ... / Dario 68U38/70 68U40/3 68-00/15 68-00/20 68-01/14 68-01/15 68-01/16 70/32 70Z/ARN/V021 70Z/GAL/G032 70Z/GRA/D066 70Z/GRA/D082 73/25 73/26 73/27 90/127 90/131 90/136 90/DAB/L011 Graffi. - 3. ed. redatta con la collaborazione [di] Carlo Banfi. - Bologna : R. Patron, 1967. - 499 p. Elementi di meccanica razionale / Dario Graffi. - 9. ed. / redatta con la collaborazione del Prof. Renato Nardini. - Bologna : Patron, 1973. - VIII, 510 p. Introduzione alla termomeccanica dei continui / Tommaso Ruggeri. - 2. ed. riveduta e corretta. - Milano : Monduzzi, 2013. - 155 p. Continuum mechanics / I-Shih Liu. - Berlin ; Heidelberg : Springer, 2010. - XII, 297 p. Isogeometric analysis : toward integration of CAD and FEA / J. Austin Cottrell, Thomas J. R. Hughes, Yuri Bazilevs. - Chichester : Wiley, 2009. - XVI, 335 p. : ill. Numerical optimization / Jorge Nocedal, Stephen J. Wright. - 2. ed. - New York : Springer, c2006. - XXII, 664 p. Finanza matematica : teoria e problemi per modelli multiperiodali / Andrea Pascucci, Wolfgang J. Runggaldier. - Milano : Springer, [2009]. - IX, 264 p. PDE and martingale methods in option pricing / Andrea Pascucci. - Milano : Springer : Bocconi university press, 2010. - XVII, 719 p. : ill. Ricerca operativa / L. Daboni ... [et al.] ; con il coordinamento di A. Siciliano. - Bologna : Zanichelli, 1985. - XI, 462 p. : fig. 92/47 Complex adaptive systems : an introduction to computational models of social life / John H. Miller and Scott E. Page Princeton ; Oxford : Princeton University Press, c2007. - xix, 263 p. 94/20 Elements of information theory / Thomas M. Cover, Joy A. Thomas. - 2. ed. - Hoboken : Wiley, c2006. - XXIII, 748 p. Cloud computing : web-based dynamic IT services / Christian Baun, Marcel Kunze ... [et al]. - Heidelberg [etc.] : Springer, c2011. - 96 p. Primo corso di probabilità : itinerario guidato alle idee e alla teoria / Nicolò Pintacuda. Padova : F. Muzzio & c., 1983. - 313 p. Linear partial differential operators / Lars Hormander. - Berlin [etc.] : Springer, 1976. VII, 285 p. Elliptic partial differential equations of second order / David Gilbarg, Neil S. Trudinger. 2. ed . - Berlin [etc.] : Springer-Verlag, 1983.-XIII, 513 p. 94/31 96C/PIN/N031 IV/116 IV /224 quinquies XIIb/73 XIII/43 XVIIIc/42 XVIIIc/49 bis XVIIIc/50 XVIIIc/51 XVIIIc/59 XVIIIc/60 XVIIIc/66 Degree theory / N. G. Lloyd. - Cambridge : Cambridge university press, 1978. - X, 172 p. : ill. Fully nonlinear elliptic equations / Luis A. Caffarelli, Xavier Cabré. Providence : AMS, 1995 . - VI, 104 p. Il nuovo Zingarelli : vocabolario della lingua italiana / di Nicola Zingarelli. - 11. ed. / a cura di Miro Dogliotti e Luigi Rosiello. - Bologna : Zanichelli, ©1988 (stampa 1990). XVI, 2256, 128 p. Dizionario tecnico italiano tedesco / Giorgio Marolli, Orazio Guarnieri. - 2. ed. - Milano : Signorelli, 1967. - 1431 p. Dizionario inglese e italiano. Italian and English dictionary : Concise edition dal Dizionario inglese-italiano, italiano-inglese di Giuseppe Ragazzini / Giuseppe Ragazzini, Adele Biagi. - Bologna : Zanichelli ; London: Longman, [1972]. - XIII,1200 p. Dizionario Hazon Garzanti : inglese - italiano, italiano - inglese : edizione pratica scolastica. - Milano : Garzanti Editore, 1972. Dizionario inglese italiano italiano inglese : adattato e ristrutturazione dell'originale " Advanced learner's dictionary of current english " della Oxford university press / a cura di Malcom Skey. - 9. ed. - Torino : SEI, 1986. - XXIX, 1894 p. American idioms : dictionary of everyday expressions of contemporary American English / by Richard A. Spears ; associate editor: Linda Schinke-Llano. - Bologna : Zanichelli ; Lincolnwood : National textbook company, 1988. - XVI, 463 p. Dizionario tecnico francese-italiano, italiano-francese ... / Renzo Denti. - 5. ed. riv. ed XVIIIc/67 XVIIIc/80 XXXVII/8 bis XXXVIII/62 bis XLII/153 bis LII/12 bis LIV/1 LXXIV/7 LXXVI/102 XCV/91 XCV/177 XCVIII/9 bis XCVIII/120 XCVIII /185 ter XCVIII/211 XCVIII/249 XCVIII/252 CXIII/93 CLX/12 bis CLXXI/7 bis CLXXXII 6 bis CLXXXII/12 bis CLXXXII/34 ter CLXXXVIII/123 D/64 Qc/9 bis aggiornata. - Milano : U. Hoepli, 1991. - 1298 p. Il McGraw-Hill Zanichelli small size : dizionario enciclopedico scientifico e tecnico inglese-italiano, italiano-inglese. - Ed. facs. ridotta fotograficamente. - Bologna : Zanichelli, 1986. - XIV, 2062 p. Concise Oxford english dictionary / edited by Catherine Soanes, Angus Stevenson. - 11. ed. - Oxford : Oxford University Press, c2004. - XX, 1708 p. Les distributions>> \1! / I. M. Guelfand, G. E. Chilov ; traduit par G. Rideau. - Paris : Dunod, 1962. - VII, 376 p. Basic linear partial differential equations / Francois Treves. - New York ; San Francisco ; London : Academic press, 1975. - XVII, 470 p. Galois theory / David A. Cox. - Hoboken : Wiley Interscience, c2004. - XX, 559 p. Theory of ordinary differential equations / Earl A. Coddington, Norman Levinson. New York : McGraw-Hill, 1955 . - XII, 429 p. Theorie elementaire des fonctions analytiques d'une ou plusieurs variables complexes / Henri Cartan ; avec le concours de Reiji Takahashi. - 4. edition Paris : Hermann, c1961. - 231 p. An introduction to probability theory and its applications>> 1 / William Feller. - 2. ed. New York : John Wiley & Sons ; London : Chapman & Hall, ©1957. - XV, 461 p. Probability and measure / Patrick Billingsley. - 3. ed. - New York [etc.] : J. Wiley, ©1995. - XII, 593 p. The energy method, stability, and nonlinear convection / Brian Straughan. - New York etc.! : Springer, c1992. - XII, 242 p. : ill. Heat waves / Brian Straughan. - New York [etc.] : Springer, ©2011. - XII, 318 p. Introduction to Lie algebras and representation theory / J. E. Humphreys. - New York [etc.] : Springer, c1972. - XII, 170 p. Weakly differentiable functions : Sobolev spaces and functions of bounded variation / William P. Ziemer. - New York : Springer, c1989. - XVI, 308 p. Using algebraic geometry / David A. Cox, John Little, Donal O'Shea. - 2. ed. New York : Springer, c2005. - XII, 572 p. Algebra / Serge Lang. Revised 3. ed. New York [etc.] : Springer, c2002. - XV, 914 p. Classical Fourier analysis / Loukas Grafakos. - 2. ed. - New York : Springer, c2008. - XVI, 489 p. Distributions and operators / Gerd Grubb. New York : Springer, c2009. - XII, 461 p. Probabilità : variabili casuali e processi stocastici / Hwei Hsu. - Milano : McGraw-Hill libri Italia, 1998. - VII, 332 p. Undergraduate algebraic geometry / Miles Reid. - Cambridge [etc.] : Cambridge university press, 1988. - VIII, 129 p. Representation and control of infinite dimensional systems>> 2: / Alain Bensoussan ... et al.!. - Boston etc.! : Birkhauser, c1993. - XVIII, 343 p. Mathematical control theory : deterministic finite dimensional systems / Eduardo D. Sontag. - New York [etc.] : Springer, c1990. - XIII, 396 p. Introduction to numerical analysis / J. Stoer, R. Bulirsch ; translated by R. Bartles, W. Gautschi, and C. Witzgall. - 3. ed. - New York [etc.] : Springer, c2002. - XV, 744 p. Ordinary differential equations with applications / Carmen Chicone. - 2. ed. - New York : Springer, c2006. - XIX, 636 p. Lectures on linear partial differential equations / Gregory Eskin. - Providence : American Mathematical Society, 2011. - XVII, 410 p. La caffettiera del masochista : il design degli oggetti quotidiani / Donald Norman. Nuova ed. riveduta e ampliata. - Firenze ; Milano : Giunti, 2015. - 363 p. Fisica : principi e applicazioni / Douglas C. Giancoli ; edizione italiana a cura di Paolo Qc/10 Qc/14 Qc/15 Qc/16 online online online online online Cavatorta e Lanfranco Cicala. - Milano : CEA, 2000. - XXV, 1124 p. : ill. La fisica di Feynman : vol. 1. Meccanica, radiazione, calore. Bologna : Zanichelli, 2001 Fondamenti di fisica / James S. Walker. - Bologna : Zanichelli, 2005. - 3 v. : ill. 1A: Meccanica, termologia - 1 v. (paginazione varia) : ill. Fondamenti di fisica / James S. Walker. - Bologna : Zanichelli, 2005. - 3 v. : ill. 1B: Elettromagnetismo, onde, relatività - 1 v. (paginazione varia) : ill. Fondamenti di fisica / James S. Walker. - Bologna : Zanichelli, 2005. - 3 v. : ill. 2: Fisica atomica e subatomica. - VII, 120, 48, [16] p. : ill. Milne, Fields and Galois Theory < http://www.jmilne.org/math/CourseNotes/FT.pdf> Bolondi Fandino Pinilla, Metodi e strumenti per la didattica della Matematica <http://www.dm.unibo.it/rsddm/it/libri/2012/207%20%20208%20bolondi%20e%20fa ndino%20Edises.pdf> Vazquez, An introduction to the mathematical theory of the porous medium equation < https://www.uam.es/personal_pdi/ciencias/jvazquez/BKPME2006six.pdf> Loli Piccolomini e Messina, Statistica e calcolo con R <https://www.bookrepublic.it/book/9788838693984-statistica-e-calcolo-con-r/> Kerns, Introduction to probability and statistics using R < https://cran.r-project.org/web/packages/IPSUR/vignettes/IPSUR.pdf)>