Sistema Bibliotecario di Ateneo Biblioteca di Scienze Biblioteca di Scienze Nuove acquisizioni 1 luglio – 31 agosto 2013 ACM conference on computer and communications security, 15., Alexandria, Va, 2008 CCS'08 : proceedings of the 15th ACM Conference on Computer and communications security : Alexandria, Virginia, USA, October 27-31, 2008 / editors Eleanor E.B. Campbell, Mats Larsson. - New York, N.Y. : Association for computing machinery, c2008. : c2008. XIV, 576 p. : ill. ; 28 cm. ISBN 9781595938107 1. Elaboratori elettronici - Sicurezza di funzionamento - Congressi - Alexandria, Va. - 2008 2. Telecomunicazioni - Sistemi - Misure di sicurezza - Congressi - Alexandria, Va. - 2008 I. Syverson, Paul II. Jha, Somesh III. Zhang, Xiaolan 005.8 v-005.8 ACM Albeverio, Sergio A. Mathematical theory of Feynman path integrals / Sergio A. Albeverio, Raphael J. Høeghnd Krohn, Sonia Mazzucchi. - 2 corr. and enlarged ed. - Berlin Heidelberg : Springer, c2008. X, 175 p. ; 24 cm. - (Lecture notes in mathematics ; 523). Bibliogr.: p. [141]-171. ISBN 9783540769545 1. Integrali di Feynman I. Høegh-Krohn, Raphael II. Mazzucchi, Sonia 515.43 v-515.43 ALB (01) Bagarello, Fabio Quantum dynamics for classical systems : with applications of the number operator / Fabio Bagarello. - Hoboken, N.J. : Wiley, [2013]. - xv, 228 p. : ill. ; 25 cm. Bibliogr.: p. 219-224. ISBN 9781118370681 1. Teoria dei quanti - Modelli matematici 2. Scienze sociali - Metodi matematici 300.153012 v-300.153012 BAG Beghini, Marco Lezioni ed esercitazioni di tecnica delle costruzioni meccaniche / Marco Beghini. - Pisa : Il Campano, 2013. - 2 v. (xiii, 1135 p.) : ill. ; 24 cm. - (Arnus university books). ISBN 9788865281581 1. Ingegneria meccanica 2. Strutture - Analisi 621.81 v-CORSO IND 173 (I-II) Benham, P.P. Mechanics of engineering materials / P.P. Benham, R.J. Crawford, C.G. Armstrong. - 2. ed. Harlow : Longman, 1996. - XIII, 627 p. : ill. ; 25 cm. ISBN 0582251648 1. Materiali 2. Resistenza dei materiali I. Crawford, Roy J. II. Armstrong, C.G. 620.112 v-CORSO IND 166 Boffi, Sigfrido Da Laplace a Heisenberg : un'introduzione alla meccanica quantistica e alle sue applicazioni / Sigfrido Boffi. - Pavia : Università di Pavia. Biblioteca delle scienze, 2010. - xii, 591 p. ; 24 cm. - (Dispense online). ISBN 9788890382475 1. Meccanica quantistica Via Sommarive, 5 – 38123 Povo (Trento), Italy - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Ateneo Biblioteca di Scienze 530.12 v-530.12 BOF Bolzern, Paolo Fondamenti di controlli automatici / Paolo Bolzern, Riccardo Scattolini, Nicola Schiavoni. - 3. ed. - Milano [etc.] : McGraw-Hill, 2013. - XX, 601 p. : diagr. ; 27 cm. - (Collana di istruzione scientifica. Serie di automatica) (Web site). ISBN 9788838664342 1. Controlli automatici I. Scattolini, Riccardo II. Schiavoni, Nicola 629.8312 v-CORSO IND 171 Church, George M. Regenesis : how synthetic biology will reinvent nature and ourselves / George Church and Ed Regis. - New York, N.Y. : Basic books, 2012. - IX, 284 p. : ill. ; 24 cm. ISBN 9780465021758 1. Biologia molecolare 2. Genetica molecolare I. Regis, Edward 572.86 v-CORSO BIO 085 Cohen, Hennig Gas turbine theory / H.I.H Saravanamuttoo, G.F.C. Rogers, H.Clinton. - 6th ed. - Harlow : Pearson education, c2008. - Vii, 491 p. : ill. ; 24 cm. ISBN 9780132224376 1. Turbine a gas I. Rogers, Gordon Frederick Crichton II. Saravanamuttoo, H.I.H 621.433 v-CORSO IND 170 Dalla geometria di Euclide alla geometria dell'universo : geometria su sfera, cilindro, cono, pseudosfera / Ferdinando Arzarello ... [et al.]. - Milano : Springer, 2012. - XI, 195 p. : ill. ; 24 cm. - (Convergenze / [Springer]). ISBN 9788847025738 1. Geometria I. Arzarello, Ferdinando 516. v-516 DAL Diekmann, Odo Mathematical tools for understanding infectious diseases dynamics / Odo Diekmann, Hans Heesterbeek, and Tom Britton. - Princeton, N.J. : Princeton university press, 2013. - XIV, 502 p. : ill. ; 25 cm. - (Princeton series in theoretical and computational biology). ISBN 9780691155395 1. Epidemiologia - Modelli matematici I. Heesterbeek, Hans II. Britton, Tom 614.4 v-614.4 DIE Dijk, Gerrit van Distribution theory : convolution, Fourier transform, and Laplace transform / Gerrit van Dijk. Berlin, Boston, Mass. : Gruyter, Walter de, & Co., c2013. - VIII, 105 p. ; 24 cm. - (Graduate lectures). ISBN 9783110295917 1. Distribuzione - Teorie 2. Trasformate di Fourier 3. Trasformate di Laplace 515.782 v-515.782 DIJ Efendiev, Messoud Evolution equations arising in the modelling of life sciences / Messoud Efendiev. - Basel : Birkhäuser, 2013. - X, 217 p. : ill. ; 24 cm. - (International series of numerical mathematics ; 163). ISBN 9783034806145 1. Biologia - Modelli matematici 570.15118 v-570.15118 EFE Via Sommarive, 5 – 38123 Povo (Trento), Italy - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Ateneo Biblioteca di Scienze European society for mathematics and the arts Mathematics and modern art : proceedings of the First ESMA conference held in Paris, July 19 - 22, 2010 / Claude Bruter, ed. - Berlin Heidelberg : Springer, c2012. - viii, 178 p. : ill. ; 24 cm. - (Springer proceedings in mathematics, ISSN 2190-5614 ; 18). ISBN 9783642244964 1. Arte e matematica - Congressi - Parigi - 2010 2. Elaboratori elettronici - Grafica Congressi - Parigi - 201 I. Bruter, Claude P. 700.105 v-700.105 EUR Ghoussoub, Nassif Functional inequalities : new perspectives and new applications / Nassif Ghoussoub, Amir Moradifam. - Providence, R.I. : American mathematical society, 2013. - XXIV, 299 p. : ill. ; 28 cm. - (Mathematical surveys and monographs ; 187). ISBN 9780821891520 1. Disequazioni I. Moradifam, Amir 512.97 v-512.97 GHO Goebel, Rafal Hybrid dynamical systems : modeling, stability, and robustness / Rafal Goebel, Ricardo G. Sanfelice, and Andrew R. Teel. - Princeton, N.J. Oxford : Princeton university press, 2012. Xi, 212 p. : ill. ; 24 cm. ISBN 9780691153896 1. Sistemi dinamici I. Teel, Andrew R. II. Sanfelice, Ricardo G. 515.39 v-CORSO IND 168 Hibbeler, R.C. Mechanics of materials / R.C. Hibbeler. - 8th ed. - Upper Saddle River, N.J. : Pearson education, c2011. - xxii, 866 p., [2]c. di tav. : ill. ; 24 cm. ISBN 9789810685096 1. Materiali - Resistenza alla fatica 620.112 v-CORSO IND 167 Isidori, Alberto Sistemi di controllo / Alberto Isidori. - Roma : Siderea, 1992. - 361 p.. : ill. ; 24 cm. 1. Sistemi di controllo automatici 629.8 v-CORSO IND 169 Kesavan, S. Nonlinear functional analysis : a first course / S. Kesavan. - Delhi : Hindustan, 2011. - X, 176 p. : ill. ; 25 cm. - (Texts and readings in mathematics ; 28). ISBN 9789380250106 1. Analisi funzionale non lineare 515.7248 v-515.7248 KES Krantz, Steven George A guide to functional analysis / Steven G. Krantz. - Washington, D.C. : Mathematical association of America, 2013. - X, 135 p. : ill. ; 20 cm. - (Dolciani mathematical expositions ; 49). ISBN 9780883853573 1. Analisi funzionale 515.7 v-515.7 KRAN Krantz, Steven George Via Sommarive, 5 – 38123 Povo (Trento), Italy - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Ateneo Biblioteca di Scienze The implicit function theorem : history, theory, and applications / Steven G. Krantz; Harold R. Parks. - Boston, Mass. [etc.] : Birkhäuser, 2013. - XII, 163 p. : ill. ; 26 cm. - (Modern Birkhäuser classics). ISBN 9781461459804 1. Teorema delle funzioni implicite I. Parks, Harold R. 515.8 v-515.8 KRA (01) Krantz, Steven George Real analysis and foundations / Steven G. Krantz. - 3rd ed. - Boca Raton, Fla. [etc.] : CRC press, c2014 (stampa 2013). - xviii, 412 p. ; 25 cm. - (Textbooks in mathematics). Glossario: p. 383-401. ISBN 9781466587311 1. Analisi matematica 2. Funzioni di variabile reale 515.8 v-515.8 KRA (02) Kurose, James F. Computer networking : a top-down approach feauturing the Internet / James F. Kurose, Keith W. Ross. - 6th ed., international ed. - Harlow : Pearson education, c2012. - 864 p. : ill. ; 24 cm. ISBN 9780273768968 1. Internet (Rete di elaboratori) I. Ross, Keith W. 004.6 v-004.6 KUR (01) MacCluer, Barbara D. Elementary functional analysis / Barbara D. MacCluer. - New York, N.Y. : Springer, 2009. x, 207 p. ; 24 cm. - (Graduate texts in mathematics ; 253). ISBN 9781441927538 1. Analisi funzionale 515.7 v-515.7 MAC Matematica finanziaria e attuariale / Elisabetta Allevi ... [et al.]. - Milano Torino : Pearson Italia, 2012. X, 226 p. ; 27 cm. (Matematica / [Pearson]). ISBN 9788871927848 1. Matematica finanziaria 2. Matematica attuariale I. Allevi, Elisabetta 332.0151 v-332.0151 MAT Ramon Llull : from the Ars magna to artifical intelligence / Alexander Fidora, Carles Sierra (Eds.). Barcelona : Institut d'investigacio en intelligència artificial. Barcelona : Consejo superior de investigaciones cientificas, 2011. - 146 p. : ill. ; 21 cm. Bibliogr.: p. [137]-138. ISBN 9788469451854 1. Linguaggi formali - Storia 2. Macchine - Teoria - Storia 3. Logica - Storia 4. Lullo, Raimondo I. Fidora, Alexander II. Sierra, Carles 189.4 v-189.4 RAM Rang, Humphrey P. Rang and Dale's pharmacology / Humphrey P. Rang, M. Maureen Dale. - 7. ed. - Edinburgh [etc.] : Churchill Livingstone, 2012. - XXII, 777 p. : ill. ; 30 cm. ISBN 9780702034718 1. Farmacologia I. Dale, M. Maureen 615.1 v-CORSO BIO 086 Romanovski, Valery G. Via Sommarive, 5 – 38123 Povo (Trento), Italy - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Ateneo Biblioteca di Scienze The center and cyclicity problems : a computational approach / by Valery G. Romanovski, Douglas S. Shafer. - Boston, Mass. [etc.] : Birkhäuser, c2009. - xv, 330 p. : ill. ; 24 cm. Altro titolo: Limit analysis of structures at thermal cycling /. - Bibliogr.: p. 313-321. ISBN 9780817647261 1. Sistemi dinamici 2. Equazioni differenziali ordinarie 3. Polinomi I. Shafer, Douglas S. II. Tit.: Limit analysis of structures at thermal cycling 512.9422 v-512.9422 ROM Roos, André M. de Population and community ecology of ontogenetic development / André M. de Roos, Lennart Persson. - Princeton, N.J. : Princeton university press, 2013. - XII, 535 p. : ill. ; 25 cm. - (Monographs in population biology ; 51). ISBN 9780691137575 1. Popolazione (Biologia) - Modelli matematici 2. Ontogenesi I. Persson, Lennart 591.788 v-591.788 ROO Smith, William Fortune Scienza e tecnologia dei materiali / William F. Smith. - Milano [etc.] : McGraw-Hill, 1995. XII, 776 p. : ill. ; 23 cm. - (Collana di istruzione scientifica. Serie di tecnologia). Tit. orig.: Foundation of materials science and engineering. ISBN 8838607095 1. Materiali da costruzione 620.11 v-620.11 SMI Stallings, William Computer security : principles and practice / William Stallings, Lawrie Brown ; with contributions by Mick Bauer, Michael Howard. - 2nd ed., international ed. / contributions by Arup Kumar Bhattacharjee, Soumen Mukherjee. - Boston, Mass. [etc.] : Pearson , c2012. 810 p. : ill. ; 24 cm. - (Always learning). Bibliogr.: p. 778-795. ISBN 9780273764496 1. Elaboratori elettronici - Misure di sicurezza I. Howard, Michael, programmatore II. Bauer, Mick III. Brown, Lawrie 005.8 v-CORSO INF 207 Tao, Terence Compactness and contradiction / Terence Tao. - Providence, R.I. : American mathematical society, 2013. - XII, 256 p. : ill. ; 25 cm. ISBN 9780821894927 1. Matematica - Saggi 2. Logica matematica 510. v-510 TAO (01) Teschl, Gerald Ordinary differential equations and dynamical systems / Gerald Teschl. - Providence, R.I. : American mathematical society, c2012. - xi, 356 p. : diagr. ; 24 cm. - (Graduate studies in mathematics ; 140). Bibliogr.: p. 345-347. ISBN 9780821883280 1. Sistemi dinamici 2. Equazioni differenziali ordinarie 515.352 v-515.352 TES Tonti, Enzo Gradiente rotore divergenza / Enzo Tonti, Elisa Nuzzo. - Bologna : Pitagora, c2007. - XX, 371 p. : ill. ; 24 cm. Bibliogr.: p. 359-366. ISBN 8837116284; ISBN 9788837116286 Via Sommarive, 5 – 38123 Povo (Trento), Italy - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Ateneo Biblioteca di Scienze 1. Teoria dei campi 2. Fisica matematica 3. Campi vettoriali 4. Operatori differenziali I. Nuzzo, Elisa 530.14 v-530.14 TON Transducers '07, Lyon & Eurosensors XXI : the 14th International conference on solid-state sensors, actuators and microsystems : Cité I Centre des Congrès, Lyon, France, June 10-14, 2007 : digest of technical papers /. - Piscataway, N.J. : IEEE, c2007. - 2 v. (xlviii, 2616 p.) : ill. ; 30 cm. In calce al front.: IEEE catalog number 07TH8933. ISBN 1424408415 1. Trasduttori - Congressi - Lyon - 2007 2. Attuatori - Congressi - Lyon - 2007 I. Eurosensors, 21., Lyon, 2007 II. International conference on solid-state sensors, actuators and microsystems, 14., Lyon, 2007 621.381532 v-621.381532 TRA (I-II) Turk, Christopher Effective writing : improving scientific, technical and business communication / Christopher Turk, John Kirkman. - London : Taylor & Francis, 1988. - 257 p. : ill. ; 22 cm. ISBN 9780419146605 1. Scritti scientifici - Composizione I. Kirkman, John 808.0665 v-808.0665 TUR Villani, Cédric Il teorema vivente : la mia più grande avventura matematica / Cédric Villani ; illustrazioni di Claude Gondard ; traduzione di Paolo Bellingeri. - Milano : Rizzoli, 2013. : 2013. - 282, [1] p. : ill. b/n ; 19 cm. Tit. orig.: Théorème vivant. ISBN 9788817063630 1. Matematica - Storia - Sec.21. 2. Villani, Cédric 510.92 -510.92 VIL Via Sommarive, 5 – 38123 Povo (Trento), Italy - Tel. +39 0461/881510, Fax +39 0461/882050