Biblioteca Polo di Scienze Sistema Bibliotecario di Trento Biblioteca di Scienze Nuove acquisizioni 1-15 marzo 2011 2nd Meeting of the North American Chapter of the Association for computational linguistics : June 2-7, 2001 Carnegie Mellon University, Pittsburgh, Pennsylvania, USA / Associations for computational linguistics. - New Brunswick, NY : Association for computational linguistics, c2001. - 2 v. : diagr. ; 28 cm. [1]: Proceedings of the conference. - XVI, 246 p. [2]: Exhibits day presentation abstracts student research workshop proceedings demonstration notes. - VIII, 103 p. ISBN 1558607757; ISBN 1558607765 1. Linguaggio - Elaborazione dei dati - Congressi - Pittsburg, Pa. - 2001 I. Association for computational linguistics. North American chapter 410.285 v-410.285 MEE v-410.285 MEE (01) Aarts, Emile H.L. Simulated annealing and Boltzmann machines : a stochastic approach to combinatorial optimization and neural computing / Emile Aarts, Jan Korst. - Chichester [etc.] : Wiley, c1989. - XII, 272 p. : ill. ; 24 cm. - (Wiley-interscience series in discrete mathematics and optimization). ISBN 0471921467 1. Calcolo combinatorio 2. Elaboratori elettronici neuronali 3. Ottimizzazione (Matematica) I. Korst, Jan 511.6 v-511.6 AAR Abduction, belief and context in dialogue : studies in computational pragmatics / edited by Harry Bunt, William Black. - Philadelphia, Pa. Amsterdam : Benjamins, 2000. - VI, 471 p. : ill. ; 23 cm. (Natural language processing ; 1). ISBN 9027249830 1. Discorso - Analisi - Elaborazione dei dati 2. Pragmatica - Elaborazioned dei dati I. Black, William II. Bunt, Harry 306.44 v-306.44 ABD Advances in neural information processing systems 3 / edited by Richard P. Lippmann, John E. Moody, David S. Touretzky. - San Mateo, Calif. : Kaufmann, c1991. - XVIII, 1060, [3] p. : ill. ; 24 cm. ISBN 1558601848 1. Circuiti neuronali - Saggi 2. Elaboratori elettronici neuronali - Saggi I. Lippmann, Richard P. II. Touretzky, David S. III. Moody, John E. 006.3 v-006.3 ADV (01) (III) Advances in neural information processing systems I / [edited by] David S. Touretzky. - San Mateo, Calif. : Kaufmann, c1989. - VIII, 819 p. : ill. ; 24 cm. ISBN 1558600159 1. Circuiti neuronali - Saggi 2. Elaboratori elettronici neuronali - Saggi I. Touretzky, David S. 006.3 v-006.3 ADV (01) (I) v-006.3 ADV (02) (I) v-006.3 ADV (03) (I) acq_scienze_1mar11.doc- Pagina 1 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze Aiardi, Beatrice Algoritmi di bump hunting in basi dati multidimensionali / relatori : prof. Luciano Tubaro, dott. Cesare Furlanello ; correlatori : prof. Andrea Pugliese ; laureanda : Aiardi Beatrice. - 119 p. : ill. ; 30 cm. Manoscritto. - Verso delle c. bianco. - Dattiloscritto. - Tesi di laurea - Università degli studi di Trento, Facoltà di scienze matematiche fisiche e naturali, a. acc. 1999-2000. 1. Algoritmi - Tesi di laurea 2. Archivi di dati - Gestione - Tesi di laurea 511.8 v-511.8 AIA AIPR workshop, 22., Washington, D.C., 1993 Interdisciplinary computer vision: applications and changing needs : 22nd AIPR Workshop, 13-15 October 1993, Washingont, DC / J. Michael Selander. - Bellingham, Wash. : SPIE-The International society for optical engineering, c1994. - VII, 237 p. : ill. ; 28 cm. (Proceedings of SPIE-The International society for optical engineering ; 2103). Il secondo sottotit. precede il tit. ISBN 0819413909 1. Congressi - Washington, D.C. - 1993 2. Immagini ottiche - Elaborazione - Tecniche digitali - Congressi - 1993 I. Selander, J. Michael 006.37 v-006.37 AIP Aleksander, Igor Designing intelligent systems : an introduction / Igor Aleksander. - London : Kogan Page, 1984. - 166 p. : ill. ; 22 cm. - (New technology modular series). ISBN 1850912521 1. Intelligenza artificiale 006.3 v-006.3 ALE Aleksander, Igor An introduction to neural computing / Igor Aleksander and Helen Morton. - London [etc.] : Chapman & Hall, c1990. - XIX, 240 p. : ill. ; 24 cm + 1 opuscolo. ISBN 0412377802 1. Elaboratori elettronici neuronali 2. Intelligenza artificiale I. Morton, Helen 006.3 v-006.3 ALE v-006.3 ALE (01) Algorithmic learning theory : 14th international conference, ALT 2003 : Sapporo, Japan, October 17-19, 2003 : proceedings / Ricard Gavaldà, Klaus P. Jantke, Eiji Takimoto (eds.). - Berlin [etc.] : Springer, c2003. - XI, 312 : diagr. ; 24 cm. - (Lecture notes in computer science, ISSN 03029743 ; 2842). Nome del congresso dall'introduzione. ISBN 3540202919 1. Algoritmi - Congressi - Sapporo - 2003 2. Apprendimento meccanico - Congressi Sapporo - 2003 I. Gavaldà, Ricard II. Takimoto, Eiji III. Jantke, Klaus Peter IV. International conference on algorithmic learning theory, 14., Sapporo, 2003 006.31 v-006.31 ALG (01) Allen, John Patrick Brierley Anatomy of LISP / John Allen. - New York, N.Y. [etc.] : McGraw-Hill, 1978 copyr. - XVIII, 446 p. ; 25 cm. - (McGraw-Hill computer science series) (McGraw-Hill series in artificial intelligence). ISBN 007001115X acq_scienze_1mar11.doc- Pagina 2 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze 1. Elaboratori elettronici - Linguaggio Lisp 005.133 v-005.133 ALL Aloimonos, John Integration of visual modules : an extension of the Marr paradigm / John (Yiannis) Aloimonos, David Shulman. - Boston, Mass. [etc.] : Academic press, 1989. - XVI, 322 p. : ill. ; 24 cm. ISBN 0120530201 1. Immagini ottiche - Elaborazione - Tecniche digitali 2. Intelligenza artificiale 3. Percezione visiva I. Shulman, David 006.3 v-006.3 INTEG Alur, Deepak Core J2EE patterns : best practices and design strategies / Deepak Alur, John Crupi, Dan Malks. - Upper Saddle River, N.J. : Prentice-Hall, c2001. - XXVI, 459 p. : diagr. ; 24 cm. (Java 2 platform, enterprise edition series). ISBN 0130648841 1. Elaboratori elettronici - Linguaggio Java I. Crupi, John II. Malks, Dan 005.2762 v-005.2762 ALU (01) Ames, Andrea L. VRML 2.0 sourcebook / Andrea L. Ames, David R. Nadeau, John L. Moreland. - Second edition. - New York, N.Y. [etc.] : Wiley, c1997. - XXXIII, 654 p. : ill. ; 24 cm + CD-ROM in tasca. ISBN 0471165077 1. Elaboratori elettronici - Linguaggio VRML 2. Elaboratori elettronici - Grafica 3. Sistemi ipertestuali 4. Realtà virtuale I. Moreland, John L. II. Nadeau, David R. 006. v-006 AME Analytic solutions of partial differential equations / edited by L. Cattabriga. - Paris : Société mathématique de France, 1981. - 262 p. ; 24 cm. - (Astérisque ; 89-90/81). 1. Equazioni alle derivate parziali I. Cattabriga, Lamberto 515.353 v-515.353 ANA Annual knowledge-based software engineering conference, 6., Syracuse, 1991 Proceedings 6th annual knowledge-based software engineering conference, Syracuse, New York, September 22-25, 1991. – Los Alamitos, Calif. [etc.] : IEEE computer society, c1991. IX, 245 p. ; 28 cm. ISBN 0818626054 1. Congressi - Syracuse, N.Y. - 1991 2. Elaboratori elettronici - Programmazione Congressi - 1991 3. Intelligenza artificiale - Congressi - 1991 006.3 v-006.3 ANN (01) Annual SNePS workshop, 1., Buffalo, N.Y., 1989 Current trends in SNePS - Semantic network processing system : first Annual SNePS workshop : Buffalo, NY, November 13, 1989 : proceedings / D. Kumar (ed.). - Berlin [etc.] : Springer, c1990. - [4], 162 p. : ill. ; 25 cm. - (Lecture notes in computer science ; 437). ISBN 3540526269 acq_scienze_1mar11.doc- Pagina 3 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze 1. Congressi - Buffalo, N.Y. - 1989 2. Elaborazione dei dati in tempo reale - Congressi 1989 3. Intelligenza artificiale - Congressi - 1989 4. Ragionamento - Congressi - 1989 I. Kumar, Deepak 006.3 v-006.3 ANN Anthropological perspectives on technology / edited by Michael Brian Schiffer. - Albuquerque, N.M. : University of New Mexico press, 2001. - XIV, p. : ill. ; 29 cm. - (Amerind foundations new world studies series ; 5). ISBN 0826323693 1. Tecnologia - Aspetti socio-culturali I. Schiffer, Michael Brian 306.46 v-306.46 ANT Anzai, Yuichiro Pattern recognition and machine learning / Yuichiro Anzai. - Boston, Mass. [etc.] : Academic press, 1992. - XVI, 407 p. : ill. ; 24 cm. Tit. orig.: Ninshiki to gakushu ISBN 0120588307 1. Forma - Percezione 2. Apprendimento meccanico 006.37 v-006.37 ANZ Aoun, Joseph Generalized binding : the syntax and logical form of wh-interrogatives / Joseph Aoun. Dordrecht Riverton : Foris, 1986. - XVII, 173 p. ; 24 cm. - (Studies in generative grammar ; 26). ISBN 906761087* 1. Interrogazione (Grammatica) - Sintassi 2. Lingua inglese - Forme interrogative 3. Lingua cinese - Forme interrogative 4. Lingua francese - Forme interrogative 415. v-415 AOU Apt, Krzysztof R. Principles of constraint programming / Krzysztof R. Apt. - Cambridge : Cambridge university press, 2003. - XII, 407 p. : ill. ; 25 cm. ISBN 0521825830 1. Ottimizzazione (Calcolo combinatorio) 2. Elaboratori elettronici - Programmazione 3. Soluzione di problemi – Elaborazione elettronica dei dati 005.11 v-005.11 APT v-005.11 APT (01) Artificial intelligence and mathematical theory of computation : papers in honor of John McCarthy / edited by Vladimir Lifschitz. - Boston, Mass. [etc.] : Academic press, 1991. - XIV, 475 p., ritr. ; 24 cm. ISBN 0124500102 1. Calcolo numerico 2. Elaboratori elettronici - Programmazione 3. Intelligenza artificiale I. Lifschitz, Vladimir II. McCarthy, John 006.3 v-006.3 ART (02) Artificial intelligence, simulation, and modeling / edited by Lawrence E. Widman, Kenneth A. Loparo, Norman R. Nielsen. - New York, N.Y. [etc.] : Wiley, c1989. - XVII, 556 p. : ill. ; 24 cm. - (A Wiley-interscience publication). acq_scienze_1mar11.doc- Pagina 4 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze ISBN 0471605999 1. Elaboratori elettronici - Modelli di simulazione 2. Intelligenza artificiale I. Loparo, Kenneth A. II. Widman, Lawrence EdwardIII. Nielsen, Norman R. 006.3 v-006.3 ART (05) Artificial intelligence : the AI trends annual report 1992 : a comprehensive report and management sourcebook / publisher Harvey P. Newquist III. - Scottsdale : Relayer Group, c1992. - 1 v. (pag. varia) ; 28 cm. 1. Intelligenza artificiale - Repertori - 1992 I. Newquist, Harvey P. 006.3 v-006.3 ART (09) Associative networks : representation and use of knowledge by computers / edited by Nicholas V. Findler. - Orlando, Fla. [etc.] : Academic press, 1979 copyr. - XVII, 462 p. ; 24 cm. ISBN 0122563808 1. Apprendimento - Modelli matematici 2. Elaboratori elettronici - Linguaggi - Semantica 3. Linguistica - Elaborazione dei dati 4. Teoria dell'informazione 5. Intelligenza artificiale I. Findler, Nicholas V. 006.3 v-006.3 ASS Associazione italiana di acustica. Gruppo di fonetica sperimentale Metodologie di analisi e di descrizione delle caratteristiche prosodiche e intonative dell'italiano : atti delle 5e Giornate di studio del gruppo di fonetica sperimentale : Istituto per la ricerca scientifica e tecnologica Povo (TN), 17-18 novembre 1994 / a cura di Gianni Lazzari. - [Trento : Istituto trentino di cultura], 1995 (stampa 1996). - 125 p. : tab., diagr. ; 24 cm. - (Collana degli atti dell'Associazione italiana di acustica ; 22). In cop.: AIA Associazione italiana di acustica. 1. Congressi - Trento - 1994 2. Lingua italiana - Fonetica sperimentale - Congressi - 1994 3. Lingua italiana - Metrica - Analisi - Metodi - Congressi - 1994 I. Lazzari, Gianni II. Associazione italiana di acustica 451. v-451 ASS Associazione italiana di computer graphics Computer graphics, CAD, elaborazione di immagini : sistemi ed applicazioni : atti del 3° convegno nazionale della Associazione italiana di computer graphics / a cura di Alessandro Polistina. - Milano : Jackson, 1983 copyr. - XIV, 512 p. : ill. ; 21 cm. ISBN 8870561488 1. Elaboratori elettronici - Impiego nella progettazione 2. Elaboratori elettronici - Grafica I. Polistina, Alessandro 006.6 v-006.6 ASS Auditory analysis and perception of speech / edited by G. Fant, M.A.A. Tatham. - London [etc.] : Academic press, 1975. - 564 p. : ill. ; 24 cm. Atti del congresso tenuto a Leningrado nel 1973. ISBN 0122485505 1. Congressi - Leningrad - 1973 2. Elaboratori elettronici - Riconoscimento della voce umana - Congressi - 1973 3. Fonetica -Congressi - 1973 4. Percezione acustica Congressi - 1973 I. Fant, C. Gunnar M. II. Tatham, M.A.A. 412. acq_scienze_1mar11.doc- Pagina 5 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze v-412 AUD Auld, Bertram Alexander Acoustic fields and waves in solids / B.A. AULD. - 2. ed. - Malabar, Fla. : Krieger, 1990. - 2 v. (VIII, 435; IX, 421 p.) : ill. ; 24 cm. ISBN 0898747821 (1.v.)*; ISBN 089874783X (2.v.)* 1. Corpi - Proprietà acustiche 2. Onde sonore 3. Onde elastiche 534.22 v-534.22 AUL (01) (I-II) Australian joint artificial intelligence conference, 2., Adelaide, 1988 AI '88 : 2nd Australian joint artificial intelligence conference Adelaide, Australia, November 15-18, 1988 : proceedings / C.J. Barter, M.J. Brooks (Eds.). - Berlin [etc.] : Springer, 1990. VIII, 462 p. : tab. ; 24 cm. - (Lecture notes in computer science ; 406). ISBN 3540520627 1. Congressi - Adelaide - 1988 2. Intelligenza artificiale - Congressi - 1988 I. Barter, Christopher J. I. Brooks, Michael J. 006.3 v-006.3 AUS (01) Australian joint conference on artificial intelligence, 14., Adelaide, 2001 AI 2001 : advances in artificial intelligence : 14th Australian joint conference on artificial intelligence, Adelaide, Australia, December 10-14, 2001 : proceedings / Markus Stumptner, Dan Corbett, Mike Brooks (eds.). - Berlin [etc.] : Springer, c2001. - XII, 666 p. : ill. ; 24 cm. (Lecture notes in computer science ; 2256). Altro titolo: Advances in artificial intelligence. ISBN 3540429603 1. Intelligenza artificiale - Congressi - Adelaide (AT) - 2001 I. Brooks, Mike II. Stumptner, Markus III. Corbett, Dan IV. Tit.: AI 2001 006.3 v-006.3 AUS Automated reasoning : essays in honor of Woody Bledsoe / edited by Robert S. Boyer. - Dordrecht [etc.] : Kluwer academic, c1991. - XI, 365 p. : ritr. ; 25 cm. - (Automated reasoning series ; 1). ISBN 0792314093 1. Dimostrazione automatica di teoremi 2. Intelligenza artificiale I. Bledsoe, Woody W. II. Boyer, Robert S. 006.3 v-006.3 AUT Aït-Kaci, , Hassan Warren's abstract machine : a tutorial reconstruction / Hassan Ait-Kaci. - Cambridge, Mass. London : MIT press, 1991. - XVI, 114 p. ; 23 cm. - (Logic programming / [MIT]). ISBN 0262510588 1. Elaboratori elettronici - Linguaggio Prolog 2. Elaboratori elettronici - Programmazione logica 006.3 v-006.3 AIT Balcázar, José Luis Structural complexity II / José Luis Balcazar, Josep Diaz, Joaquim Gabarro. - Berlin [etc.] : Springer, c1990. - IX, 283 p. : ill. ; 25 cm. - (EATCS monographs on theoretical computer science ; 22). ISBN 3540520791 1. Complessità di calcolo 2. Algoritmi I. Díaz, Josep II. Gabarró, Joaquim acq_scienze_1mar11.doc- Pagina 6 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze 511.8 v-511.8 BAL (01) Ballard, Dana Harry Computer vision / Dana H. Ballard, Christopher M. Brown. - Englewood Cliffs, N.J. : PrenticeHall, 1982 copyr. - XX, 523 p. : ill. ; 25 cm. ISBN 0131653164 1. Immagini ottiche - Elaborazione - Tecniche digitali 2. Elaboratori elettronici - Grafica I. Brown, Christopher M. 006.37 v-006.37 BAL (01) v-006.37 BAL Bar-Shalom, Y. Bar-Shalom, Yaakov Estimation, with application to Tracking and Navigation Yaakov Bar-Shalom, X. Rong Li, Thiagalingam Kirubarajan. -Estimation with applications to tracking and navigation / Yaakov Bar-Shalom, X. Rong Li, Thiagalingam Kirubarajan. - New York, N.Y. [etc.] : Wiley, c2001. XXIII, 558 p. : diagr. ; 25 cm. ISBN 047141655X*; ISBN 9780471416555 1. Automi - Movimenti 2. Sistemi di controllo automatici 3. Teoria della stima I. Kirubarajan, Thiagalingam II. Li, X.-Rong 681.2 v-621.2 BAR Bar-Shalom, Y. Bar-Shalom, Yaakov Estimation, with application to Tracking and Navigation Yaakov Bar-Shalom, X. Rong Li, Thiagalingam Kirubarajan. -Estimation with applications to tracking and navigation / Yaakov Bar-Shalom, X. Rong Li, Thiagalingam Kirubarajan. - New York, N.Y. [etc.] : Wiley, c2001. XXIII, 558 p. : diagr. ; 25 cm. ISBN 047141655X*; ISBN 9780471416555 1. Automi - Movimenti 2. Sistemi di controllo automatici 3. Teoria della stima I. Kirubarajan, Thiagalingam II. Li, X.-Rong 681.2 v-621.2 BAR Barton, G. Edward, jr. Computational complexity and natural language / G. Edward Barton, jr., Robert C. Berwick, Eric Sven Ristad. - Cambridge, Mass. London : MIT press, 1987. - XII, 335 p. ; 24 cm. (Bradford books) (Computational models of cognition and perception). ISBN 0262022664 1. Grammatica - Modelli matematici 2. Linguistica - Elaborazione dei dati I. Berwick, Robert C. II. Ristad, Eric Sven 415. v-415 BAR Bennett, Simon Object-oriented systems analysis and design using UML / Simon Bennett, Steve McRobb and Ray Farmer. - London [etc.] : McGraw-Hill, c1999. - XVII, 516 p. : ill. ; 25 cm. ISBN 0077094972 1. Sistemi - Analisi 2. Elaboratori elettronici - Programmazione orientata agli oggetti 3. UML I. Farmer, Ray II. McRobb, Steve 005.12 v-005.12 BEN v-005.12 BEN (01) v-005.12 BEN (02) Bentivogli, Luisa Relazioni lessicali e semantiche nella costruzione di un lessico computazionale multilingue: problematiche tecniche e filosofiche : tesi di laurea in filosofia del linguaggio / presentata da acq_scienze_1mar11.doc- Pagina 7 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze Luisa Bentivogli ; relatore: Maurizio Matteuzzi ; correlatori: Dino Buzzetti, Emanuele Pianta. [3], 220 p. : ill. ; 30 cm. Tesi di laurea - Università degli studi di Bologna, Facoltà di Letteree Filosofia del Liguaggio, a. acc. 1997-'98, Sessione III 1. Lessico - Elaborazione dei dati - Tesi di laurea 2. Linguaggio - Archivi di dati - Tesi di laurea I. Buzzetti, Dino II. Pianta, Emanuele III. Matteuzzi, Maurizio 413.028 v-413.028 BEN Benveniste, Albert Algorithmes adaptatifs et approximations stochastiques : théorie et applications à l'identification, au traitement du signal et à la reconnaissance des formes / Albert Benveniste, Michel Metivier, Pierre Priouret. - Paris [etc.] : Masson, 1987. - XIII, 367 p. ; 24 cm. (Techniques stochastiques). ISBN 2225812217 1. Approssimazioni - Teoria 2. Algoritmi 3. Processo stocastico I. Métivier, Michel II. Priouret, Pierre 511.4 v-511.4 BEN Benvenuti, Feliciano Disegno della amministrazione italiana : linee positive e prospettive / Feliciano Benvenuti. Padova : CEDAM, 1996. - XIX, 524 p. ; 25 cm. - (Diritto e amministrazione ; 1). ISBN 8813196660 1. Diritto amministrativo 342.4506 v-342.4506 BEN Bianchi, Nevio Rimborsi spese e fringe benefits in azienda : compensi in natura a lavoratori dipendenti, rimborsi spese a dipendenti, collaboratori coordinati e continuativi, professionisti ... / Nevio Bianchi, Edoardo Cintolesi, Stefano Civitareale. - Milano : Giuffrè, 1997. - VIII, 234 p. ; 24 cm. - (Cosa & come. Tributi). ISBN 8814064288 1. Stipendi e competenze accessorie - Tributi - Legislazione I. Cintolesi, Edoardo II. Civitarese Matteucci, Stefano 343.4505242 v-343.4505 BIA Bibel, Wolfgang Automated theorem proving / Wolfgang Bibel. - 2., revised ed. - Braunschweig Wiesbaden : Vieweg, 1987. - XIV, 288 p. ; 23 cm. (Artificial intelligence / [Vieweg]). ISBN 3528185201 1. Intelligenza artificiale 006.3 v-006.3 BIB Biological and molecular aspects of atrial factors : proceedings of a director's sponsors-UCLA symposium held at Steamboat Springs, Colorado, January 17-23, 1988 / editor Philip Needleman. - New York, N.Y. : Liss, Alan R., c1988. - XVI, 282 p. : ill. ; 24 cm. (UCLA symposia on molecular and cellular biology. New series ; 81). ISBN 0845126806 1. Congressi - Steamboat Springs, Co. - 1988 2. Natriuretic peptidi atriali - Effetti fisiologici Congressi - 1988 I. Needleman, Philip 612.015756 acq_scienze_1mar11.doc- Pagina 8 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze v-612.015756 BIO Biological effects and medical applications of electromagnetic energy / Om P. Gandhi, editor. Englewood Cliffs, N.J. : Prentice-Hall, 1990. - XVIII, 573 p. : ill. ; 24 cm. - (Prentice Hall biophysics and bioengineering series). ISBN 0130827282 1. Campo elettromagnetico - Effetti fisiologici 2. Radiazioni non ionizzanti - Impiego terapeutico I. Gandhi, Om P. 612.01448 v-612.01448 BIO Bolter, Jay David Remediation : understanding new media / Jay David Bolter and Richard Grusin. Cambridge, Mass. London : MIT press, 2001. Bibliogr.: p. <276>284. ISBN 0262522799 1. Comunicazioni di massa - Innovazione tecnologica I. Grusin, Richard 302.234 v-302.234 BOL Bordelois, Ivonne Generative studies in spanish syntax / Ivonne Bordelois, Heles Contreras, Karen Zagona. Dordrecht Riverton : Foris, 1986. - XIV, 211 p. ; 24 cm. - (Studies in generative grammar ; 27). ISBN 9067651419 1. Lingua spagnola - Sintassi I. Contreras, Heles II. Zagona, Karen T. 465. v-465 BOR Borer, Hagit Parametric syntax : case studies in Semitic and Romance languages / Hagit Borer. Dordrecht Cinnaminson, N.J. : Foris, 1984. - IX, 260 p. ; 24 cm. - (Studies in generative grammar ; 13). ISBN 9067650250 1. Lingue neolatine - Sintassi 2. Lingue semitiche - Sintassi 3. Sintassi v-415 BOR Bosch, Peter Agreement and anaphora : a study of the role of pronouns in syntax and discourse / Peter Bosch. - London [etc.] : Academic press, 1983. - XIII, 260 p. ; 24 cm. - (Cognitive science series). ISBN 0121188205 1. Discorso - Analisi - Elaborazione dei dati 2. Sintassi 3. Pronome 415. v-415 BOS Bott, Ed Usare Microsoft Windows XP oltre ogni limite : la guida all'uso / [Ed Bott, Carl Siechert]. Milano : Mondadori informatica. [S.l.] : Microsoft press, 2002. - XXVIII, 963 p. : ill. ; 24 cm + 1 CD-ROM. - (Guide all'uso). Nome degli AA. dalla cop. - Tit. orig.: Microsoft Windows XP Inside Out. ISBN 8883313259 1. Microelaboratori elettronici - Sistema operativo Windows XP I. Siechert, Carl 005.4 v-005.432 BOT acq_scienze_1mar11.doc- Pagina 9 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Biblioteca Polo di Scienze Sistema Bibliotecario di Trento Box, Don Essential XML : beyond markup / Don Box, Aaron Skonnard, John Lam. - Harlow [etc.] : Addison-Wesley, c2000. - XVIII, 368 p. ; 24 cm. 1. Elaboratori elettronici - Linguaggio XML 2. Siti Web - Programmazione I. Lam, John II. Skonnard, Aaron 005.72 v-OO5.72 BOX Bracewell, Ronald Newbold The Fourier transform and its applications / Ronald N. Bracewell. - 2. ed., revised. - New York, N.Y. [etc.] : McGraw-Hill, 1986. - XX, 474 p. : tab. nei risg. ; 22 cm. - (McGraw-Hill series in electrical engineering. Circuits and systems). ISBN 0070070156 1. Analisi armonica 2. Trasformate di Fourier 515.723 v-515.723 BRA (02) Bradfield, Julian Charles Verifying temporal properties of systems / Julian Charles Bradfield. - Boston, Mass. [etc.] : Birkhäuser, c1992. - VI, [2], 113 p. : tab. ; 25 cm. - (Progress in theoretical computer science). ISBN 0817636250; ISBN 3764336250 1. Dimostrazione automatica di teoremi 2. Reti di Petri 511.3 v-511.3 BRA Bratko, Ivan Prolog programming for artificial intelligence / Ivan Bratko. - Wokingham [etc.] : AddisonWesley, 1986 copyr. - XVII,423 p. ; 24 cm. - (International computer science series). ISBN 0201142244 1. Elaboratori elettronici - Linguaggio Prolog 2. Intelligenza artificiale - Elaborazione dei dati 006.3 v-006.3 BRA v-006.3 BRA (01) Brewka, Gerhard Nonmonotonic reasoning : an overview / Gerhard Brewka, Juergen Dix, and Kurt Konolige. Stanford, Calif. : CSLI, c1997. - X, 179 p. ; 23 cm. - (CSLI lecture notes ; 73). ISBN 1881526836 1. Intelligenza artificiale 2. Logica formale 3. Ragionamento I. Dix, Jürgen II. Konolige, Kurt 006.3 v-006.3 BRE v-006.3 BRE (01) Brinkmann, Ron The art and science of digital compositing / Ron Brinkmann. - San Francisco, Calif. : Morgan Kaufmann. San Diego, Calif. : Academic press, c1999. - XVIII, [2], 364 p., [20] c. di tav. : ill. ; 24 cm + 1 CD ROM. ISBN 0121339602 1. Immagini - Elaborazione - Tecniche digitali 2. Elaboratori elettronici - Grafica 006.6 v-006.6 BRI Bruce, Vicki Recognising faces / Vicki Bruce. - Hove [etc.] : Erlbaum, Lawrence, Associates, 1989. - X, 154 p. : ill. ; 23 cm. - (Essays in cognitive psychology). Bibliogr.: p. 135-147. ISBN 0863771424 acq_scienze_1mar11.doc- Pagina 10 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze 1. Faccia - Percezione 152.14 v-152.14 BRU (01) Bunt, Harry C. Cooperative multimodal communication : second international conference, CMC'98 : Tilburg, The Netherlands, January 28-30, 1998 : selected papers / Harry Bunt, Robbert-Jan Beun (eds.). - Berlin [etc.] : Springer, c2001. - VIII, 249 p. : ill. ; 24 cm. - (Lecture notes in computer science ; 2155). ISBN 3540428062 1. Uomo e elaboratore elettronico - Congressi - Tilburg - 1998 I. Beun, Robbert-Jan 004.019 v-004.019 BUN Busia, Giuseppe La privacy negli enti locali : guida pratica all'applicazione della normativa sui dati personali / Giuseppe Busia, Antonello Cherchi ; presentazione di Stefano Rodotà. - Milano : Il sole 24 ore Pirola, 2001. - XXII, 352 p. ; 24 cm + 1 CD. - (Autonomie locali). ISBN 8832443953 1. Diritto alla riservatezza - Enti locali 2. Diritto alla riservatezza - Legislazione I. Cherchi, Antonello II. Rodotà, Stefano 342.4509 v-342.4509 BUS Bussani, Mauro La colpa soggettiva : modelli di valutazione della condotta nella responsabilità extracontrattuale / Mauro Bussani. - Padova : CEDAM, 1991. - XII, 264 p. ; 24 cm. - (Le monografie di Contratto e impresa ; 21). ISBN 8813175590 1. Colpa aquiliana 2. Responsabilità extracontrattuale 346.4503 v-346.4503 BUS Bussani, Mauro Proprietà-garanzia e contratto : formule e regole nel leasing finanziario / Mauro Bussani. Rist. riv. - Trento : Università di Trento. Dipartimento di scienze giuridiche, 1995. - XLIII, 216 p., ; 24 cm. - (Quaderni del Dipartimento di scienze giuridiche dell'Università degli studi di Trento ; 4). ISBN 8886135173 1. Leasing - Diritto 346.4504 v-346.4504 BUS CADE-20 Workshop on Emperically successful classical automated reasoning, Tallin, 2005 The CADE-20 workshop on Emperically successful classical automated reasoning / Bernd Fischer, Stephan Schulz, Geoff Sutcliffe. - [S.l. : s.n.], 2005. - 1 v. (pagin. varia) : tab. ; 31 cm. Workshop tenuto nell'ambito del 20th International conference automated deduction, Tallinn, Estonia : CADE 2005. - In cop.: ESCAR. - Altro titolo: ESCAR. 1. Dimostrazione automatica di teoremi - Congressi - Tallin - 2005 2. Logica simbolica Congressi - Tallin - 2005 I. Fischer, Bernd II. Schulz, Stephan III. Geoff, Sutcliffe 006.33 v-006.33 CAD (09) Calculemus acq_scienze_1mar11.doc- Pagina 11 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze 99 : systems integrated computation and deduction : Trento, Italy, July 11-12, 1999 : preliminary proceedings / guest editors Alessandro Armando, Tudor Jebelean. - [S.l.] : Elsevier, c1999. : c1999. - 177 p. : ill. ; 30 cm + 1 fasc. - (Electronic notes in theoretical computer science). Dati dalla cop. - In calce alla cop.: The 1999 federated logic conference. 1. Algebra - Elaborazione dei dati - Congressi - 1999 2. Dimostrazione automatica di teoremi - Congressi - 1999 3. Congressi - Trento - 1999 I. Armando, Allesandro II. Jebelean, Tudor 511.3028551 v-511.302855 CAL The calculemus Autumn School 2002 : course notes / Christoph Benzmüller and Regine Endsuleit (eds.). [S.l. : s.n.], <2002?>. - 1 v. : ill. ; 30 cm. - (Seki report, ISSN 1437-4447 ; SR 7/02). Paginaz. con varie frequenze. - Sulla cop.: Universität des Saarlandes, Fachbereich Informatik. - Solo Pt. I. 1. Dimostrazione automatica di teoremi 2. Logica simbolica I. Benzmüller, Christoph II. Endsuleit, Regine 511.3028551 v-511.302855 CAL (02) Canadian society for computational studies of intelligence Advances in artificial intelligence : 11th Biennial conference of the Canadian society for computational studies of intelligence, AI '96 : Toronto, Ontario, Canada, May 21-24, 1996 : proceedings / Gordon McCalla (Ed.). - Berlin [etc.] : Springer, c1996. - XII, 456 p. : tab., diagr. ; 24 cm. - (Lecture notes in computer science ; 1081). Altro titolo: AI '96. ISBN 3540612912 1. Congressi - Toronto - 1996 2. Intelligenza artificiale - Congressi - 1996 I. McCalla, Gordon II. Tit.: Advances in artificial intelligence III. Tit.: AI '96 006.3 v-006.3 CAN Cannavò, Leonardo Sociologie della conoscenza scientifica : dal paradigma organizzativo ai programmi cognitivi e comunicativi / Leonardo Cannavò. - Roma : Euroma, 1984. - 208 p. : ill. ; 24 cm. 1. Scienze - Sociologia 306.45 v-306.45 CAN Carnessali, Giuseppe Sistema di supporto alla elicitazione di preferenze / relatore : dott. Massimo Zancanaro ; responsabili esterni : dott. Angelo Susi, dott. Paolo Avesani ; candidato : Giuseppe Carnessali. - 165 p. ; 30 cm. Manoscritto. - Dattiloscritto. - Verso delle c. bianco. - Tesi di laurea - Università degli studi di Trento, Facoltà di ingegneria dell'informazione e dell'organizzazione, a. acc. 2002-2003. 1. Sistemi di supporto alle decisioni - Tesi di laurea 006.33 v-006.33 CAR Carter, David, 1958 Interpreting anaphors in natural language texts / David Carter. - Chichester : Horwood. New York, N.Y. [etc.] : Halsted, 1987. - 290 p. ; 25 cm. - (Ellis Horwood series in artificial intelligence). ISBN 0470210095; ISBN 0745802508 1. Anafora (Grammatica) 2. Linguistica - Elaborazione dei dati 006.35 acq_scienze_1mar11.doc- Pagina 12 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze v-006.35 CAR Cassese, Sabino Manuale di diritto pubblico / Sabino Cassese, Rita Perez. - Roma : NIS, 1995. - 476 p. ; 22 cm. - (Studi superiori NIS ; 242). Indici normativo e analitico. ISBN 8843003054 1. Diritto pubblico I. Perez, Rita 342.45 v-342.45 CAS (01) Catelani, Alessandro Il pubblico impiego / Alessandro Catelani. - 2. ed. - Padova : CEDAM, 1995. - XV, 323 p. ; 25 cm. - (Trattato di diritto amministrativo / diretto da Giuseppe Santaniello ; 21). Tratt.di dir.amm. - 21: Il pubblico impiego / A. Catelani. ISBN 8813191588 1. Impiego pubblico 342.45068 v-342.4506 CAT Cerebral cortex / edited by Alan Peters and Edward G. Jones. - New York, N.Y. London : Plenum press, 1984-1991. - 9 v. in 10 tt. : ill. ; 26 cm. 1: Cellular components of the cerebral cortex. - 1984. - XIV, 565 p. ISBN 0306415445 1. Corteccia cerebrale I. Jones, Edward G. II. Peters, Alan 612.825 v-612.825 CER (I) Cerebral cortex / edited by Edward G. Jones and Alan Peters. - New York, N.Y. London : Plenum press, 1984-1991. - 9 v. in 10 tt. : ill. ; 26 cm. 2: Functional properties of cortical cells. - 1984. - XIII, 340 p. ISBN 0306417553 1. Corteccia cerebrale I. Jones, Edward G. II. Peters, Alan 612.825 v-612.825 CER (II) Cerebral cortex / edited by Alan Peters and Edward G. Jones. - New York, N.Y. London : Plenum press, 1984-1991. - 9 v. in 10 tt. : ill. ; 26 cm. 4: Association and auditory cortices. - 1985. - XVI, 359 p. ISBN 0306420406 1. Corteccia cerebrale I. Jones, Edward G. II. Peters, Alan 612.825 v-612.825 CER (IV) Cerebral cortex / edited by Edward G. Jones and Alan Peters. - New York, N.Y. London : Plenum press, 1984-1991. - 9 v. in 10 tt. : ill. ; 26 cm. 6: Further aspects of cortical function, including hippocampus. - 1987. - XIV, 464 p. ISBN 0306425033 1. Corteccia cerebrale I. Jones, Edward G. II. Peters, Alan 612.825 v-612.825 CER (VI) Cerebral acq_scienze_1mar11.doc- Pagina 13 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze cortex / edited by Edward G. Jones and Alan Peters. - New York, N.Y. London : Plenum press, 1984-1991. - 9 v. in 10 tt. : ill. ; 26 cm. 8: Comparative structure and evolution of cerebral cortex. - 1990. - 2 v. ISBN 0306434776; ISBN 0306436353 1. Corteccia cerebrale I. Jones, Edward G. II. Peters, Alan 612.825 v-612.825 CER (VIII.1-2) Cerebral cortex / edited by Alan Peters and Edward G. Jones. - New York, N.Y. London : Plenum press, 1984-1991. - 9 v. in 10 tt. : ill. ; 26 cm. 9: Normal and altered states of function. - 1991. - XVI, 535 p. ISBN 0306436485 1. Corteccia cerebrale I. Jones, Edward G. II. Peters, Alan 612.825 v-612.825 CER (IX) Cerebral cortex / edited by Alan Peters and Edward G. Jones. - New York, N.Y. London : Plenum press, 1984-1991. - 9 v. in 10 tt. : ill. ; 26 cm. 7: Development and maturation of cerebral cortex. - 1988. - XVIII, 518 p. ISBN 0306428814 1. Corteccia cerebrale I. Jones, Edward G. II. Peters, Alan 612.825 v-612.825 CER (VII) Cerebral cortex / edited by Edward G. Jones and Alan Peters. - New York, N.Y. London : Plenum press, 1984-1991. - 9 v. in 10 tt. : ill. ; 26 cm. 5: Sensory-motor areas and aspects of cortical connectivity. - 1986. - XVIII, 510 p. ISBN 0306421747 1. Corteccia cerebrale I. Jones, Edward G. II. Peters, Alan 612.825 v-612.825 CER (V) Cerebral cortex / edited by Alan Peters and Edward G. Jones. - New York, N.Y. London : Plenum press, 1984-1991. - 9 v. in 10 tt. : ill. ; 26 cm. 3: Visual cortex. - 1985. - XIII, 424 p. ISBN 0306420252 1. Corteccia cerebrale I. Jones, Edward G. II. Peters, Alan 612.825 v-612.825 CER (III) Chapman, William H. Introduzione alla fonetica pratica / William H. Chapman. - Roma : Officina, 1972. - 82 p. : ill. ; 21 cm. - (Linguistica / [Officina Edizioni] ; 2). Tit. orig.: Introduction to practical phonetics. - Tit. orig.: Introduction to practical phonetics. 1. Fonetica 412. v-412 CHA Charniak, Eugene Artificial intelligence programming / Eugene Charniak, Christopher K. Riesbeck, Drew V. McDermott. - Hillsdale, N.J. : Erlbaum, Lawrence, Associates, 1980. - XII, 323 p. ; 24 cm. ISBN 0898590043 acq_scienze_1mar11.doc- Pagina 14 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze 1. Elaboratori elettronici - Linguaggio Lisp 2. Intelligenza artificiale - Elaborazione dei dati I. McDermott, Drew V. II. Riesbeck, Christopher 006.3 v-006.3 CHA (01) v-006.3 CHA (02) Charniak, Eugene Introduction to artificial intelligence / Eugene Charniak, Drew McDermott. - Reading, Mass. [etc.] : Addison-Wesley, 1985 copyr. - XVII, 701 p. ; 25 cm. ISBN 0201119455 1. Intelligenza artificiale I. McDermott, Drew V. 006.3 v-006.3 CHA v-006.3 CHA (03) Chivers, R.C. Audio visual aids in medical physics & clinical engineering / R.C. Chivers & K.E.G. Shaughnessy ; a guide compiled for the training sub-committee of the Hospital physicists' association. - London : Hospital physicists' association, 1983. - III, 124 p. ; 21 cm. 1. Mezzi audiovisivi - Impiego in medicina I. Shaughnessy, K.E.G. 610.28 v-610.28 CHI Chomsky, Noam The logical structure of linguistic theory / Noam Chomsky. - Chicago, Ill. London : University of Chicago press, 1985. - 592 p. ; 23 cm. ISBN 0226104362 1. Grammatica generativa 2. Lingua inglese - Grammatica generativa 415. v-415 CHO (01) Chomsky, Noam Barriers / Noam Chomsky. - Cambridge, Mass. London : MIT press, c1986. - 102 p. ; 24 cm. - (Linguistic inquiry monographs ; 13). ISBN 0262530678 1. Grammatica generativa 415. v-415 CHO (02) Church, Kenneth Ward Phonological parsing in speech recognition / Kenneth W. Church. - Boston, Mass. [etc.] : Kluwer academic, 1987. - XV, 261 p. ; 26 cm. - (The Kluwer international series in engineering and computer science. Vlsi, computer architecture and digital signal processing ; 38). ISBN 0898382505 1. Elaboratori elettronici - Riconoscimento della voce umana 2. Linguaggio - Elaborazione dei dati 3. Fonetica 006.454 v-006.454 CHU Cleaveland, J. Craig Program generators with XML and Java / J. Craig Cleaveland. - Upper Saddle River, N.J. : Prentice-Hall, c2001. - XXVIII, 415 p. : diagr. ; 24 cm + 1 CD-ROM. ISBN 0130258784 1. Elaboratori elettronici - Programmazione - Generatori automatici di programmi 2. Elaboratori elettronici - Linguaggio XML 3. Elaboratori elettronici - Linguaggio Java 005.72 v-005.72 CLE acq_scienze_1mar11.doc- Pagina 15 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze Cognition and symbolic structures: the psychology of metaphoric transformation / edited by Robert H. Haskell. - Norwood, N.J. : Ablex publishing corporation, c1987. - XV, 304 p. ; 24 cm. ISBN 0893913685 1. Analogia (Filosofia) - Aspetti psicologici 2. Metafora - Aspetti psicologici 3. Simbolismo (Psicologia) 4. Conoscenza - Psicologia I. Haskell, Robert E. 153. v-153 COG (01) Cognitive science and the understanding of emotions / [guest editor] Keith Oatley. - Hove [etc.] : Erlbaum, Lawrence, Associates, 1987. - P. [209]-352 ; 23 cm. - (Cognition and emotion ; 1/1987, 3). Dati dalla cop. ISBN 0863770916 1. Conoscenza - Modelli matematici 2. Emozione - Psicologia I. Oatley, Keith 152.4 v-152.4 COG (01) Les collocation : analyse et traitement / Francis Grossmann et Agnès Tutin (eds). - Amsterdam : Editions De Werelt, 2003. - 142 p. : diagr. ; 24 cm. - (Travaux et recherches en lingnguistique. Serie E, Lexicologie et lexicographie, ISSN 1572-042X ; 1). Bibliogr.: 135-142 p. 1. Lessicologia I. Grossmann, Francis II. Tutin, Agnès 413.028 v-413.028 COL v-413.028 COL (01) Colloqui sui rapporti tra fisica e medicina, Levico Terme-Roncegno Terme, 1964 Atti dei Colloqui sui rapporti tra fisica e medicina promossi dal Ministero della sanità della Repubblica italiana : Levico-Roncegno Terme, 14-19 settembre 1964 / con la presidenza di G. Lenarduzzi, A. Rostagni ; redazione a cura di C. Valdagni, G.F. Pistolesi. - Trento : Saturnia, 1965. - 647 p. : ill. ; 25 cm. Altro titolo: Colloqui sui rapporti tra fisica e medicina. 1. Congressi - Levico Terme-Roncegno Terme - 1964 2. Fisica - Applicazioni alla medicina - Congressi - 1964 I. Lenarduzzi, Guerrino II. Rostagni, Antonio III. Tit.: Atti dei Colloqui sui rapporti tra fisica e medicina promossi dal Ministero della sanità della Repubblica italiana 610.28 v-610.28 COL Colloquium negation : syntax and semantics, Ottawa, 1995 Negation and polarity : syntax and semantics : selected papers from the Colloquium negation : syntax and semantics, Ottawa, 11-13 may 1995 / edited by Danielle Forget ... [et al.]. Amsterdam Philadelphia, PA : Benjamin, 1997. - VIII, 365 p. : ill. ; 23 cm. - (Amsterdam studies in the theory and history of linguistic science. Series 4., Current issues in linguistic theory ; 155). ISBN 9027236607 1. Congressi - Ottawa - 1995 2. Negazione (Grammatica) - Congressi - 1995 3. Grammatica comparata - Sintassi - 1995 I. Forget, Danielle 415. v-415 COL Computational models of discourse / edited by Michael Brady and Robert C. Berwick ; contributors James Allen...[et al]. - 3. rist. - Cambridge, Mass. London : MIT press, 1986. - 403 p. : tab. ; 24 cm. (The MIT press series in artificial intelligence). acq_scienze_1mar11.doc- Pagina 16 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze Bibliogr.: p. 373-389. ISBN 0262021838 1. Elaboratori elettronici - Linguaggi - Semantica 2. Intelligenza artificiale 3. Linguistica Elaborazione dei dati I. Allen, James F. II. Brady, Michael III. Berwick, Robert C. 006.35 v-006.35 COMP Comrie, Bernard Tense / Bernard Comrie. - Repr. - Cambridge [etc.] : Cambridge university press, 1990. - X, 139 p. ; 23 cm. - (Cambridge textbooks in linguistics). ISBN 0521281385 1. Grammatica comparata - Tempi 2. Verbi 415. v-415 COM Confalonieri, Marco Impresa & computer : utilizzo del computer da parte di imprese e professionisti : aspetti giuridici fiscali e contabili / Marco Confalonieri, Paola Fratino. - Milano : De Lillo, 1995. - 191 p. ; 24 cm. ISBN 8878330396 1. Aziende - Gestione - Automazione - Aspetti giuridici 2. Elaboratori elettronici - Impiego nella gestione aziendale I. Fratino, Paola 346.450664 v-346.4506 CON Conference on artificial intelligence in medicine in Europe, 9., Protaras, Cyprus, 2003 Artificial intelligence in medicine : 9th Conference on artificial intelligence in medicine in Europe, AIME 2003 : Protaras, Cyprus, October 18-22, 2003 : proceedings / Elpida Keravnou ... [et al.] (eds.). - Berlin [etc.] : Springer, c2003. - XIII, 385 p. : tab., diagr. ; 24 cm. - (Lecture notes in computer science ; 2780). : AIME 2003. 1. Elaboratori elettronici - Impiego in medicina - Congressi - Protaras, Cipro - 2003 2. Sistemi esperti - Impiego in medicina - Congressi - Protaras, Cipro - 2003 I. Barahona, Pedro II. Dojat, Michel III. Keravnou, Elpida T. IV. Tit.: Artificial intelligence in medicine V. Tit.: AIME 2003 610.28563 v-610.28563 CON Conference on Cellular automata for research and industry, 3., Trieste, 1998 Cellular automata : research towards industry : ACRI'98-proceedings of the third conference on Cellular Automata for research and industry, Trieste, 7-9 October 1998 / S. Bandini, R, Serra and F. Suggi Liverani (eds). - London : Springer, c1998. - X, 282 p. : ill. ; 24 cm. Altro titolo: ACRI'98. ISBN 1852330481 1. Automi cellulari - Congressi - 1998 2. Congressi - Trieste - 1998 I. Bandini, Stefania II. Suggi Liverani, Furio III. Serra, Roberto 511.3 v-511.3 CON (03) Conference on Computational natural language learning, 13., Boulder, Colo., 2009 Proceedings of the thirteenth conference on Computational natural language learning (CoNLL) : June 4-5, 2009 Boulder, Colorado / conference chairs: Suzanne Stevenson and Xavier Carreras. - Stroudsburg, Pa. : Association for computational linguistics, c2009. - 1 v. (varie sequenze) : ill. ; 28 cm. In testa al front.: CoNLL-2009. - Altro titolo: CoNLL-2009. ISBN 9781932432299 acq_scienze_1mar11.doc- Pagina 17 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze 1. Elaboratori elettronici - Impiego in linguistica - Congressi - Boulder, Colo. - 2009 2. Linguistica - Elaborazione dei dati - Congressi - Boulder, Colo. - 2009 I. Carreras, Xavier II. Stevenson, Suzanne III. Tit.: Proceedings of the thirteenth conference on Computational natural language learning (CoNLL) : June 4-5, 2009 Boulder, Colorado 410.285 v-410.285 CON Conference on formal grammar, 7., Trento, 2002 Proceedings of FGTrento 2002 : the 7th conference on formal grammar : ITC-irst, University of Trento : Trento, Italy, 3-4 August 2002 / editors Gerhard Jäger .. <et al.> ; local organization Luisa Bentivogli. - [S.l. : s.n.], <2002?>. - 160 p. : ill. ; 29 cm. In calce al front.: Co-located with ESSLLI 2002. 1. Grammatica - Modelli matematici - Congressi - Trento - 2002 2. Linguistica Elaborazione dei dati - Congressi - Trento - 2002 I. Jäger, Gerhard 410.285 v-410.285 CONF v-410.285 CONF (01) Conferenza TIPI : tecnologie informatiche nella promozione della lingua italiana : 25 - 26 giugno 2002. [S.l. : s.n.], 2002. - 85 p. ; 30 cm. Dati dalla cop. 1. Lingua italiana - Elaborazione dei dati - Congressi - Roma - 2002 458.00285 v-458.0028 CON Connectionist models : proceedings of the 1990 summer school / David S. Touretzky... [et al.]. - San Mateo, Calif. : Kaufmann, 1991. - XI, 404 p. : ill. ; 28 cm. ISBN 1558601562 1. Congressi - San Diego, Calif. - 1990 2. Elaboratori elettronici neuronali - Congressi 1990 3. Intelligenza artificiale – Congressi - 1990 I. Touretzky, David S. 006.3 v-006.3 CONN Connections and symbols / edited by Steven Pinker and Jacques Mehler. - 2nd print. - Cambridge, Mass. London : MIT press, 1988. - 255 p. : ill. ; 23 cm. - (Bradford books) (Cognition special isssues). Già pubbl. in: Cognition : international journal of cognitive science, vol. 28. ISBN 0262660644 1. Connessioni (Psicologia) 2. Linguaggio - Psicologia 3. Conoscenza 4. Simbolismo (Psicologia) I. Mehler, Jacques II. Pinker, Steven 153. v-153 CON Cooper, Keith D. Engineering a compiler / Keith D. Cooper and Linda Torczon. - San Francisco, Calif. [etc.] : Kaufmann, c2004. - XXX, 801 p.. ; 24 cm. Bibliogr.: p. [703]-724. ISBN 155860698X 1. Compilatori (Informatica) I. Torczon, Linda 005.453 v-005.453 COO v-005.453 COO (01) The Core language engine / edited by Hiyan Alshawi. - Cambridge, Mass. London : MIT press, 1992. XVI, 322 p. ; 24 cm. - (ACL-MIT press series in natural language processing). acq_scienze_1mar11.doc- Pagina 18 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze ISBN 0262011263 1. Lingua inglese - Traduzioni 2. Linguistica - Elaborazione dei dati I. Alshawi, Hiyan 428.02 v-428.02 COR Craig, Iain D. Formal specification of advanced Al architectures / Iain D. Craig. - New York, N.Y. [etc.] : Horwood, c1991. - XV, 319 p. : ill. ; 25 cm. - (Ellis Horwood series in artificial intelligence). ISBN 0133252000 1. Elaboratori elettronici - Linguaggio Z 2. Intelligenza artificiale - Elaborazione dei dati 3. Sistemi esperti 006.3 v-006.3 CRA Current issues in parsing technology / edited by Masaru Tomita. - Boston, Mass. [etc.] : Kluwer academic, 1991. - XIX, 297 p. : tab. ; 24 cm. - (The Kluwer international series in engineering and computer science. Natural language processing and machine translation). ISBN 0792391314 1. Intelligenza artificiale 2. Linguaggio - Elaborazione dei dati I. Tomita, Masaru 006.35 v-006.35 CUR (01) Database and expert systems applications : 10th international conference, DEXA'99 : Florence, Italy, August 30-September 3, 1999 : proceedings / Trevor Bench-Capon, Giovanni Soda, A Min Tjoa (eds.). - Berlin [etc.] : Springer, c1999. - XVIII, 1105 p. : ill. ; 24 cm. - (Lecture notes in computer science ; 1677). Altro titolo: DEXA 99. ISBN 3540664483 1. Archivi di dati - Gestione - Congressi - 1999 2. Congressi - Firenze - 1999 3. Sistemi esperti - Congressi - 1999 I. Bench-Capon, T.J.M. II. Tjoa, A Min III. Soda, Giovanni 005.74 v-005.74 DATA (02) v-005.74 DATA (03) De Pretis, Daria Valutazione amministrazione e discrezionalità tecnica / Daria De Pretis. - Padova : CEDAM, 1995. - XI, 416 p. ; 24 cm. (Pubblicazioni del Dipartimento di scienze giuridiche dell'Università di Trento ; 21). Indice degli autori. ISBN 8813192118 1. Amministrazione pubblica - Discrezionalità 2. Definizioni giuridiche - Interpretazione Diritto amministrativo - Germania 342.45 v-342.45 DEP Di Trocchio, Federico Le bugie della scienza : perchè e come gli scienziati imbrogliano / Federico Di Trocchio. - 2. ed. - Milano : Club degli editori, 1993. - 364 p. ; 23 cm. Bibliogr.: p. [337]-351. 1. Scoperte scientifiche - Falsificazioni 509. v-509 DIT Diamonds and defaults : studies in pure and applied intensional logic / edited by Maarten de Rijke. Dordrecht [etc.] : Kluwer academic, c1993.- IX, 388 p. : ill. ; 23 cm. - (Synthese library ; 229). acq_scienze_1mar11.doc- Pagina 19 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze ISBN 0792323424 1. Modalità (Logica) I. Rijke, Maarten De 511.3 v-511.3 DIA Diffey, B.L. Evaluation of ultraviolet radiation hazards in hospitals / by B.L. Diffey and F.C. Langley. London : Institute of physical sciences in medicine, c1986. - VII, 84 p. : ill. ; 21 cm. - (Report of the Institute of physical sciences in medicine ; 49). ISBN 0904181448 1. Attinoterapia - Misure di sicurezza I. Langley, F.C. 612.014484 v-612.014484 DIF Dizionario sulla frequenza delle parole d'uso della lingua italiana. - Firenze : Accademia Aliprandi, 1994. - II, 401 p. ; 30 cm. 1. Lingua italiana - Lessico - Spogli di frequenza 453. v-453 DIZ Doedens, Crist-Jan Text databases : one database model and several retrieval languages / Crist-Jan Doedens. Amsterdam Atlanta, Ga. : Rodopi, 1994. - 314 p. : ill. ; 22 cm. - (Language and computers ; 10). ISBN 9051837291 1. Linguaggio - Archivi di dati 2. Linguaggio - Elaborazione dei dati 410.285 v-410.285 DOE Donà, Antonia Aggiornamento di dati interdipendenti nei multidatabase : modello formale e metodo di calcolo : tesi di laurea / di: Antonia Donà ; relatore: Roberto Giacobazzi ; correlatore: Luciano Serafini. - [10], 144 p. : ill. ; 30 cm. Università degli Studi di verona, Facoltà di Scienze Matematiche, fisiche e naturali, Corso di Laurea in Informatica, a. acc. 1998-1999. 1. Archivi di dati - Elaborazione distribuita 2. Archivi di dati - Gestione I. Giacobazzi, Roberto II. Serafini, Luciano 005.758 v-005.758 DON Dragotti, Gianfranco Come ottenere la concessione di un brevetto : invenzioni industriali, modelli industriali, protezione e sfruttamento in Italia, brevetto europeo, brevetto comunitario, deposito e iter delle domande / Gianfranco Dragotti. - Milano : Giuffrè, 1995. - X, 189 p. : tab., fig. ; 24 cm + 2 audiocassette. - (Cosa & come. Azienda). ISBN 8814050813 1. Brevetti d'invenzione - Guide pratiche 346.450486 v-346.4504 DRA Duchi, Enrica Risoluzione automatica di ambiguità mediante la similarità semantica: applicazione in un sistema di information retrieval / Enrica Duchi ; relatore: Alfio Andronico ; correlatore: Bernardo Magnini. - [3], II, 104 c. : ill. ; 30 cm. Manoscritto. - Verso delle c. bianco. - Tesi di laurea - Università degli studi di Siena, Facoltà di scienze matematiche fisiche e naturali, Corso di laurea in matematica, a. acc. 1997-98. acq_scienze_1mar11.doc- Pagina 20 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze 1. Informazione - Recupero - Sistemi - Tesi di laurea 2. Linguaggio - Elaborazione dei dati Tesi di aurea 3. Linguaggio - Archivi di dati - Tesi di laurea I. Andronico, Alfio II. Magnini, Bernardo 410.285 v-410.285 DUC Duffy, David A. Principles of automated theorem proving / David A. Duffy. - Chichester [etc.] : Wiley, 1991. XVIII, 243 p. ; 24 cm. ISBN 0471927848 1. Soluzione di problemi - Elaborazione elettronica dei dati 511.3 v-511.3 DUF Durney, Carl H. Basic introduction to bioelectromagnetics / Carl H. Durney, Douglas A. Christensen. - Boca Raton, Fla. [etc.] : CRC press, c2000. - 169 p. : ill. ; 26 cm. ISBN 0849311985 1. Elettromagnetismo - Effetti fisiologici I. Christensen, Douglas A. 612.01442 v-612.01442 DUR Ebbinghaus, Heinz-Dieter Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas. - New York, N.Y. [etc.] : Springer, 1984. - IX, 216 p. ; 25 cm. (Undergraduate texts in mathematics). Tit. orig.: Einfuhrung in die mathematische Logik. ISBN 0387908951 1. Logica simbolica I. Flum, Jörg II. Thomas, Wolfgang 511.3 v-511.3 EBB (01) v-511.3 EBB (02) Eclipse modeling framework : a developer's guide / Frank Budinsky ... [et al.] ; [foreword by Sridhar Iyengar]. - Boston, Mass. [etc.] : Addison-Wesley, c2004. - 720 p. : ill. ; 24 cm. - (The eclipse series). ISBN 0131425420 1. Software - Sviluppo 2. Elaboratori elettronici - Linguaggio Java I. Budinsky, Frank 005.1 v-005.1 ECL Encyclopedia of data warehousing and mining / John Wang. - Hershey, PA. [etc.] : Idea Group, c2006. - 2 v. (lx, 1248, 34 p. compless) : ill. ; 29 cm. ISBN 1591405572 1. Archivi di dati - Enciclopedie e dizionari 2. Archivi di dati e conoscenza I. Wang, John 005.74 v-CONS 005.74 ENC (I-II) Enzensberger, Hans Magnus Drawbridge Up : mathematics, a cultural anathema / Hans Magnus Enzensberger ; translated by Tom Artin ; [Illustrationen von Karl Heinrich Hofmann]. - Natick, Mass. : Peters, A.K., c1999. - 47, [1] p. : ill. ; 19 cm. Tit. orig.: Zugbruecke ausser betrieb : die mathematik im Jenseits der Kultur : eine Aussenansicht. - Testo tedesco a fronte.. ISBN 1568810997 1. Matematica - Aspetti sociali 510. acq_scienze_1mar11.doc- Pagina 21 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze v-510 ENZ Ershov, Yuri L. Mathematical logic / Yu. L. Ershov, E.A. Palyutin ; translated from the russian by Vladimir shokurov. - Moskva : Mir, 1984. – 303 p. ; 21 cm. Tit. orig.: Matematjceskaja logjka. 1. Logica matematica I. Palyutin, Eugeny A. 511.3 v-511.3 ERS Euralex international congress on lexicography, 6., Amsterdam, 1994 Euralex 1994 : proceedings : papers submitted to the 6th EURALEX international congress on lexicography in Amsterdam, The Netherlands / Willy Martin ... [et al.]. - [S.l. : s.n.], c1999. - 628 p. : diagr. ; 24 cm. ISBN 9090075372 1. Lessicografia - Elaborazione dei dati - Congressi - Amsterdam - 1994 I. Martin, Willy 413.028 v-413.028 EUR Eurolan summer scholl on Human language technology, 4., Ia¥si, 1999 Eurolan'99 : 4th Eurolan summer school on Human language technology : Ia¥si 19-31 of July / Dan Cristea ... [et al.] (editors). - Ia¥si : Universitatea "Alexandru Ioan Cuza". Facultatea de Informatica, 1999. - 1 v. (varie sequenze) : ill. ; 30 cm. - (Technical report / Facultatea de informaticša, Universitatea Alexandru Ioan Cuza ; 02/99). 1. Congressi - Iasi - 1999 2. Linguaggio - Elaborazione elettronica - Congressi - 1999 3. Linguaggio - Archivi di dati - Congressi - 1999 I. Cristea, Dan 410.285 v-410.285 EUR (01) European association for machine translation 11th Annual conference of the European association for machine translation : proceedings : June 19 & 20, 2006, Oslo University (Norway). - [S.l. : s.n.], c2006. - vi, 252 p. ; 30 cm. Altro titolo: EAMT 2006. ISBN 8273682943 1. Traduzione automatica - Congressi - Oslo - 2006 418.020285 v-418.0202 EUR European conference on principles and practice of knowledge discovery in databases, 7., Dubrovnik, 2003 Knowledge discovey in databases : PKDD 2003 : 7th European Conference on principles and practice of knowledge discovery in databases : Cavtat-Dubrovnik, Coatia, September 22-26, 2003 : proceedings / Nada Lavrašc, Dragan Gamberger, Ljupšc Todorovski, Hendrik Blockeel (Eds.). - Berlin [etc.] : Springer, c2003. - XVI, 508 p. : diagr. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 2838). Bibliogr. ISBN 3540200851 1. Archivi di dati e conoscenza - Congressi - Dubrovnik - 2003 I. Lavrašc, Nada 006.3 v-006.3 EUR (02) v-DEPO 00985 European conference on principles and practice of knowledge discovery in databases, 8., Pisa, 2004 Knowledge discovey in databases : PKDD 2004 : 8th European Conference on principles and practice of knowledge discovery in databases : Pisa, Italy, September 20-24, 2004 : proceedings / Jean-François Boulicaut ... [et al.] (Eds.). - Berlin [etc.] : Springer, c2004. XIX, 560 p. : diagr. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 3202). acq_scienze_1mar11.doc- Pagina 22 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze ISBN 3540231080 1. Archivi di dati e conoscenza - Congressi - Pisa - 2004 I. Boulicaut, Jean-François II. Tit.: PKDD 2004 006.3 v-006.3 EUR (04) European conference on Principles and practice of knowledge discovery in databases, 9., Porto, 2005 Knowledge discovey in databases : PKDD 2005 : 9th European Conference on Principles and practice of knowledge discovery in databases : Porto, Portugal, October 3-7, 2005 : Proceedings / Alípio Jorge ... [et al.] (eds.). - Berlin [etc.] : Springer, c2005. - XXIII, 719 p. : diagr. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 3721). ISBN 3540292446 1. Archivi di dati e conoscenza - Congressi - Porto - 2005 I. Jorge, Alípio II. Tit.: PKDD 2005 006.3 v-006.3 EUR (03) European solid-state circuit conference, 31., Grenoble, 2005 Proceedings of ESSCIRC 2005 : 31st European solid-state circuit conference : Grenoble, France, 12-16 September 2005 / edited by Laurent Fesquet ... (et al.). - [S.l.] : IEEE, c2005. [4], XVIII, 538 p. : ill. ; 31 cm. In testa al front.: Essderc, Esscirc. ISBN 0780392051 1. Circuiti integrati - Congressi - Grenoble - 2005 2. Semiconduttori - Congressi - Grenoble 2005 I. Fesquet, Laurent 621.395 v-621.395 EUR European workshop on Case-based reasoning, 2., Chantilly, 1994 Second European workshop on case-based reasoning (EWCBR 94) : presentations and posters / Mark Keane, Jean-Paul Haton, Michel Manago (Eds.). - Paris : Acknosoft, [1994?]. - IV, 381 p. : ill. ; 30 cm. 1. Congressi - Chantilly - 1994 2. Sistemi esperti - Congressi - 1994 3. Sistemi di supporto alle decisioni - Congressi - 1994 I. Haton, Jean-Paul II. Keane, Mark T. III. Manago, Michel 006.33 v-006.33 EUR European workshop on Natural language generation, 4., Pisa, 1993 The fourth European workshop on Natural language generation : Pisa, 28-30 April 1993, Hotel Mediterraneo. - [S.l. : s.n.], [1993?]. - 178, [15] p. ; 30 cm. Preprint. 1. Congressi - Pisa - 1993 2. Linguaggio - Elaborazione dei dati - Congressi - 1993 410.285 v-410.285 EUR Farneti, Giuseppe Gestione e contabilità dell'ente locale / Giuseppe Farneti. - Rimini : Maggioli, 1996. - 474 p. ; 24 cm. - (Svimap network ; 5). ISBN 8838707758 1. Enti locali - Gestione finanziaria - Controllo 352.10945 v-352.10945 FAR Fetzer, James H. acq_scienze_1mar11.doc- Pagina 23 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze Artificial intelligence: its scope and limits / James H. Fetzer. - Dordrecht [etc.] : Kluwer academic, c1990. - XVII, 338 p. ; 23 cm. - (Studies in cognitive systems ; 4). ISBN 0792305485 1. Intelligenza artificiale 006.3 v-006.3 FET FLoC workshop Finite model theory and its applications, Trento, 1999 Proceedings of the FLoC workshop finite model theory and its applications : Trento, Italy, July 1, 1999. - [S.l. : s.n.], [1999?]. – 1 v. ; 30 cm. Dati dalla cop. - In testa al front.: The 1999, Federated logic conference. - Paginaz. a varie frequenze. 1. Congressi - Trento - 1999 2. Logica - Teoria dei modelli - Congressi - 1999 511.3 v-511.3 FLO (02) FLoC workshop Gröbner bases and rewriting techniques, Trento, 1999 Proceedings of the FLoC workshop Grobner bases and rewriting techniques : Trento, Italy, June 30 - July 1, 1999. - [S.l. : s.n.], [1999?]. - 1 v. ; 30 cm. Dati dalla cop. - In testa alla cop.: The 1999, Federated logic conference. - Paginaz. a varie frequenze. 1. Analisi numerica - Elaborazione elettronica dei dati - Congressi - 1999 2. Congressi Trento - 1999 3. Moduli (Algebra) - Congressi - 1999 4. Elaboratori elettronici - Funzioni di sostituzione dei dati - Congressi - 1999 512.24 v-512.24 FLO FloC workshop intuitionistic modal logics and applications, Trento, 1999 Proceedings of the FLoC workshop intuitionistic modal logics and applications : Trento, Italy, July 6, 1999. - [S.l. : s.n.], [1999?]. - [6] p. ; 30 cm. Dati dalla cop. - In testa alla cop.: The 1999, Federated logic conference. 1. Congressi - Trento - 1999 2. Modalità (Logica) - Congressi - 1999 3. Insiemi - Teoria assiomatica - Congressi - 1999 511.3 v-511.3 FLO (03) Floreano, Dario Bio-inspired artificial intelligence : theories, methods and technologies / Dario Floreano, Claudio Mattiussi. - Cambridge, Mass. London : MIT press, c2008. - xiv, 659 p. : ill. ; 24 cm. (Intelligent robots and autonomous agents). Bibliogr.: p. [587]-649. ISBN 9780262062718 1. Automi 2. Sistemi autoadattanti 3. Reti neurali (Informatica) 4. Intelligenza artificiale Elaborazione dei dati I. Mattiussi, Claudio 006.3 v-006.3 FLO Fontana, Anna Maria Manuale dei contratti di ricerca con l'Unione europea : istituzioni di diritto e tecnica dei contratti di ricerca / Anna maria Fontana, Roberto Cippitani. - Padova : CEDAM, 2000. - 295 p. ; 24 cm. ISBN 8813225547 1. Ricerca scientifica - Contratti - Diritto comunitario I. Cippitani, Roberto 341.753 v-341.753 FON Forte, Pierpaolo acq_scienze_1mar11.doc- Pagina 24 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze La nuova tutela del diritto d'autore : la riforma della normativa sul diritto d'autore e sull'ordinamento della SIAE (Legge 18 agosto 2000, n.248 e DM 4 giugno 2001) / Pierpaolo Forte. - Milano : Il sole 24 ore Pirola, 2001. - X, 191 p. ; 24 cm. - (Attualità legislativa). Con appendice legislativa. ISBN 8832443910 1. Diritti d'autore - Legislazione I. Italia 346.4504 v-346.4504 FOR Foundations of artificial intelligence / edited by David Kirsh. - Cambridge, Mass. London : MIT press, 1992. - 358 p. ; 26 cm. - (Bradford books) (Special issues of artificial intelligence: an international journal). ISBN 0262610752 1. Intelligenza artificiale I. Kirsh, David 006.3 v-006.3 FOU (01) Foundations of real-world intelligence / edited by Yoshinori Uesaka, Pentti Kanerva, Hideki Asoh. Stanford, Calif. : CSLI, c2001. - XII, 316 p. : diagr. ; 23 cm. Bibliogr.: p. 308-311. ISBN 1575863383 1. Intelligenza artificiale 2. Reti neurali I. Asoh, Hideki II. Uesaka, Yoshinori4edt III. Kanerva, Pentti 006.3 v-006.3 FOU Foundations of software science and computation structures : 6th international conference, FOSSACS 2003 : held as part of the Joint european conferences on theory and practice of software, ETAPS 2003 : Warsaw, Poland, April 7-11, 2003 : proceedings / Andrew D. Gordons (eds.). - Berlin [etc.] : Springer, c2003. - XII, 440 p. : ill. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 2620). Altro titolo: ETAPS 2003. - Altro titolo: FOSSACS 2003 ISBN 3540008977 1. Software - Congressi - Warszawa - 2003 I. Gordon, Andrew D. 005.1 v-005.1 FOU (04) Foundations of software science and computation structures : 8th international conference, FOSSACS 2005 : held as part of the Joint european conferences on theory and practice of software, ETAPS 2005 : Edinburgh, UK, April 4-8, 2005 : proceedings / Vladimiro Sassone (Ed.). Berlin [etc.] : Springer, c2005. - XIII, 519 p. : ill. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 3441). Altro titolo: ETAPS 2005. - Altro titolo: FOSSACS 2005. ISBN 3540253882 1. Software - Congressi - Edinburgh - 2005 I. Sassone, Vladimiro 005.1 v-005.1 FOU (05) Foundations of software technology and theoretical computer science : 23rd conference, Mumbai, India : December 15-17, 2003 : proceedings / Sparitosh K. Pandya, Jaikumar Radhakrishnan (Eds.). - Berlin [etc.] : Springer, c2003. - XIII, 446 p. ; 24 cm. - (Lecture notes in computer science ; 2914). acq_scienze_1mar11.doc- Pagina 25 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze Precede il tit.: FSTTCS 2003. - Altro titolo: FSTTCS 2003. - Bibliogr. 1. Informatica - Congressi - Bombay - 2003 2. Software - Congressi - Bombay - 2003 I. Pandya, Paritosh K. II. Radhakrishnan, Jaikumar 005. v-005 FOU From pixels to features III : frontiers in handwriting recognition / edited by S. Impedovo, J.C. Simon. - Amsterdam [etc.] : North-Holland, 1992. - XIII, 515 p. ; 25 cm. ISBN 0444896651 1. Immagini ottiche - Elaborazione - Tecniche digitali 2. Scrittura - Elaborazione elettronica I. Impedovo, Sebastiano II. Simon, Jean Claude 006.37 v-006.37 FRO (02) Gallino, Luciano Mente, comportamento e intelligenza artificiale / Luciano Gallino. - Milano : Edizioni di Comunità, 1984. - 77, [2] p. ; 20 cm. - (Paperback / [Edizioni di Comunità]). ISBN 8824502113 1. Intelligenza artificiale 2. Sistemi esperti 3. Mente 006.3 v-006.3 GAL Gans, Peter Data fitting in the chemical sciences by the method of least squares / Peter Gans. Chichester [etc.] : Wiley, 1992. - XII, 258 p. : ill. ; 24 cm. ISBN 0471934127 1. Curva interpolante 2. Minimi quadrati 511.42 v-511.42 GAN Gendered practices in language / edited by Sarah Benor ... <et al.>. - Stanford, Calif. : CSLI, c2002. IX, 412 p. : ill. ; 23 cm. ISBN 1575863189 1. Linguaggio - Sociologia 2. Linguaggio e sesso I. Benor, Sarah 306.44 v-306.44 GEN Gevarter, William B. Intelligent machines : an introductory perspective of artificial intelligence and robotics / William B. Gevarter. - Englewood Cliffs, N.J. : Prentice-Hall, 1985. - XVI, 282 p. : tab. ; 24 cm. ISBN 0134688104 1. Automi 2. Intelligenza artificiale 006.3 v-006.3 GEV Giornate di studio del gruppo di fonetica sperimentale (A.I.A.), 11., Padova, 2000 Multimodalità e multimedialità nella comunicazione : atti delle XI giornate di studio del Gruppo di fonetica sperimentale (A.I.A.) : Palazzo del Bo, Archivio Antico e Aula Nievo, 2930 novembre, 1 dicembre 2000 / a cura di Emanuela Magno Caldognetto e Piero Cosi. Padova : Unipress, 2001. - VI, 253 p. : ill. ; 24 cm. - (Collana degli atti dell'Associazione italiana di acustica ; 28). ISBN 8880981536 acq_scienze_1mar11.doc- Pagina 26 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze 1. Elaboratori elettronici - Riconoscimento della voce umana - Congressi - Padova - 2000 2. Linguaggio - Elaborazione dei dati - Congressi - Padova - 2000 410.285 v-410.285 GIO Gliozzo, Alfio Massimiliano Semantic domains in computational linguistics / Alfio Massimiliano Gliozzo; advisor: Dr. Carlo Strapparava. - xviii, 206 p. : ill. ; 21 cm. Manoscritto. - PhD Dissertation, International Doctorate School in information and communication technologies, DIT- University Trento. 1. Linguistica - Elaborazione dei dati - Tesi di dottorato 2. Semantica - Elaborazione dei dati - Tesi di dottorato 410.285 v-410.285 GLI Goldblatt, Robert Topoi : the categorial analysis of logic / Robert Goldblatt. - 2nd print., revised ed. Amsterdam [etc.] : North-Holland, 1986. - XVI, 551 p. ; 23 cm. - (Studies in logic and the foundations of mathematics ; vol. 98). ISBN 0444867112 1. Categoria (Matematica) 2. Topoi 3. Logica - Teoria dei modelli 512.55 v-512.55 GOLDB (01) Goldblatt, Robert Logics of time and computation / Robert Goldblatt. - Stanford, Calif. : CSLI, c1987. - IX, 131 p. ; 23 cm. - (CSLI lecture notes ; 7). 1. Computabilità - Teoria 2. Linguaggio - Modelli matematici 3. Logica matematica 511.3 v-511.3 GOLD (01) Golumbic, Martin Charles Algorithmic graph theory and perfect graphs / Martin Charles Golumbic. - 2nd. ed. Amsterdam [etc.] : Elsevier, 2004. - xxvi, 314 p. : ill. ; 25 cm. - (Annals of discrete mathematics / [Elsevier] ; 57). ISBN 0444515305 1. Teoria dei grafi 511.5 v-511.5 GOL (02) v-511.5 GOL (03) Goulekas, Karen E. Visual effects in a digital world / Karen E. Goulekas. - San Diego, Calif. : Kaufmann, c2001. X, 600 p., [16] c. di tav. : ill. ; 24 cm. Bibliogr.: p. 593-600. ISBN 0122937856 1. Elaboratori elettronici - Grafica - Dizionari 2. Immagini - Elaborazione - Tecniche digitali Dizionari 006.60321 v-CONS 006.6032 GOU A grammar writer's cookbook / Miriam Butt ... [et. al.]. - Stanford, Calif. : CSLI, 1999. - XII, 244 p. : tab. ; 23 cm. ISBN 1575861704 1. Grammatica comparata 2. Linguistica - Elaborazione dei dati I. Butt, Miriam 415.0285 v-415.0285 GRA acq_scienze_1mar11.doc- Pagina 27 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze rammatical representation / J. Guéron, H.G. Obenauer, J.Y. Pollock (eds.). - Dordrecht Cinnaminson, N.J. : Foris, 1985. - VI, 362 p. ; 25 cm. (Studies in generative grammar ; 22). ISBN 906765115X 1. Grammatica generativa I. Gueron, Jacqueline II. Pollock, Jean-Yves III. Obenauer, Hans Georg 415. v-415 GRA Halliday, Michael Alexander Kirkwood Cohesion in English / M.A.K. Halliday, Ruqaiya Hasan. - 7. impr. - London New York, N.Y. : Longman, 1985. - XV, 374 p. ; 22 cm. -(English language series ; 6). ISBN 0582550416 1. Lingua inglese - Semantica 2. Lingua inglese - Stilistica I. Hasan, Ruqaiya 425. v-425 HAL Halvorsen, Per-Kristian Situation semantics and semantic interpretation in constraint-based grammars / Per-Kristian Halvorsen. - Stanford, Calif. : CSLI, c1987. - 13 p. ; 28 cm. - (CSLI report ; 101/87). Verso delle c. bianco. 1. Discorso - Analisi semantica 412. v-412 HAL Handbook for language engineers / edited by Ali Farghaly. - Stanford, Calif. : CSLI, 2003. - XI, 442 p. : ill. ; 23 cm. - (CSLI lecture notes ; 164). ISBN 1575863960 1. Linguistica - Elaborazione dei dati I. Farghaly, Ali 410.285 v-410.285 HAN Handbook of graph grammars and computing by graph transformation / edited by H. Ehrig, G, Engels, H.J. Kreowski, G. Rozenberg. – Singapore [etc.] : World scientific, c1999-2003. - v. : ill. ; 22 cm. 2: Applications, languages and tools. - XIX, 698 p. - 1 CD-ROM 1: Foundations / edited by Grzegorz Rozenberg. -2003. - XV, 553 p. ISBN 9810228848 (1.v.); ISBN 9810240201 (2.v.)* 1. Teoria dei grafi - Elaborazione dei dati 2. Logica matematica I. Ehrig, Hartmut II. Rozenberg, Grzegorz 511.3 v-511.3 HAN (03) (I-II) Handbook of image and video processing / editor Al Bovik. - San Diego, Calif. [etc.] : Academic press, c2000. - XV, 891 p., [24] c. di tav. : ill. ; 29 cm. - (Academic press series in communications, networking, and multimedia). ISBN 0121197905 1. Immagini - Elaborazione - Tecniche digitali 2. Sistemi multimediali I. Bovik, Al 006.6 v-006.6 HAN Handbook acq_scienze_1mar11.doc- Pagina 28 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze of natural language processing / edited by Robert Dale, Hermann Moisl, Harold Somers. New York, N.Y. Basel : Dekker, c2000. - XVIII, 943 p. : diagr. ; 26 cm. ISBN 0824790006 1. Linguaggio - Elaborazione elettronica - Manuali I. Dale, Robert II. Somers, Harold III. Moisl, Hermann 006.35 v-06.35 HAN Handbook of pattern recognition and image processing / edited by Tzay Y. Young, King-Sun Fu. Orlando, Fla. [etc.] : Academic press, 1986. - XX, 705 p. : ill. ; 25 cm. - (Handbooks in science and technology). ISBN 0127745602 1. Forma - Riconoscimento - Sistemi 2. Immagini ottiche - Elaborazione I. Fu, King Sun II. Young, Tzay Y. 006.4 v-006.4 HAN Harrington, Steven Computer graphics : a programming approach / Steven Harrington. - New York, N.Y. [etc.] : McGraw-Hill, 1983. - XV, 448 p. : tab. ; 24 cm. ISBN 0070267510 1. Elaboratori elettronici - Grafica 2. Elaboratori elettronici - Programmazione 006.66 v-006.66 HAR Harrison, Michael A. Introduction to formal language theory / Michael A. Harrison. - Reading, Mass. [etc.] : Addison-Wesley, c1978. - XIV, 594 p. ; 24 cm. - (Addison-Wesley series in computer science). ISBN 0201029553 1. Linguaggi formali 511.3 v-511.3 HARR Haspelmath, Martin Indefinitive pronouns / Martin Haspelmath. - Oxford : Clarendon, 1997. - XVI, 364 p. : ill. ; 24 cm. - (Oxford studies in typology and linguistic theory). Bibliogr.: p. 330-353. ISBN 0198235607 1. Grammatica comparata - Pronomi 415. v-415 HAS Herbrand, Jacques Logical writings / Jacques Herbrand ; edited by Warren D. Goldfarb ; a translation of the "Ecrits logiques" edited by Jean van Heijenoort. - Dordrecht [etc.] : Reidel, c1971. - VII, 312 p. : ill. ; 23 cm. Tit. orig.: Ècrits logiques. ISBN 9027701768 1. Logica matematica I. Goldfarb, Warren D. 511.3 v-511.3 HER (01) Herburger, Elena acq_scienze_1mar11.doc- Pagina 29 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze What counts : focus and quantification / Elena Herburger. - Cambridge, Mass. : MIT press, c2000. - X, 166 p. ; 23 cm. - (Linguistic inquiry monographs ; 36). Bibliogr.: p. [155]-160. ISBN 026258185X 1. Focus (Linguistica) 2. Grammatica comparata 3. Semantica 415. v-415 HER Hillis, W. Daniel The connection machine / W. Daniel Hillis. - 3. print. - Cambridge, Mass. London : MIT press, 1986. - XIII, 190 p. : tab. ; 23 cm. - (The MIT press series in artificial intelligence). ISBN 0262081571 1. Intelligenza artificiale 006.3 v-006.3 HIL (01) Hirsch, Morris W. Differential equations, dynamical systems, and linear algebra / Morris W. Hirsch and Stephen Smale. - San Diego, Calif. [etc.] : Academic press, c1974. - XI, 358 p. ; 24 cm. - (Pure and applied mathematics / [Academic press] ; 60). ISBN 0123495504 1. Equazioni differenziali 2. Sistemi dinamici 3. Algebra lineare I. Smale, Stephen 515.35 v-515.35 HIR v-515.35 HIR (02) v-CORSO MAT 106 Hoekstra, Teun Transitivity : grammatical relations in government-binding theory / Teun Hoekstra. - 2nd print. - Dordrecht Providence : Foris, 1987. - XII, 311 p. ; 24 cm. - (Linguistic models / [Foris] ; 6). ISBN 9067650145 1. Grammatica 2. Linguistica 415. v-415 HOE Hoffman, Mika Christine The syntax of argument-structure-changing morphology / by Mika Christine Hoffman. Cambridge, Mass. : MIT press, 1991. – 245 p. ; 22 cm. Sul front: Submitted to the Department of linguistics and philosophy in partial fulfillment of the requirements for the degree of doctor of philosophy at the Massachussetts Institute of technology. 1. Grammatica comparata - Sintassi 2. Lingue bantù - Morfologia 496.39 v-496.39 HOF Hornstein, Norbert Logic as grammar / Norbert Hornstein. - 2. print. - Cambridge, Mass. London : MIT press, 1986. - X, 176 p. ; 24 cm. - (Bradford books). Sottotit. di cop.: an approach to meaning in natural language. 1. Grammatica 2. Semantica 3. Linguaggio e logica 415. v-415 HOR Horvath, Julia Focus in the theory of grammar and the syntax of Hungarian / Julia Horvath. - Dordrecht Riverton : Foris, 1986. - VIII, 241 p. ; 24 cm. - (Studies in generative grammar ; 24). ISBN 9067651222 1. Lingua ungherese - Grammatica 2. Lingua ungherese - Sintassi 494.5115 acq_scienze_1mar11.doc- Pagina 30 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze v-495.5115 HOR Human language technology conference, New York, N.Y., 2006 Human language technology conference of the North American chapter of the Association of Computational Linguistics : June 4-9, 2006 New York, New York, USA / Robert C. Moore, General Chair. - Stroudsburg, Pa. : Association for computational linguistics, c2006. - 2 v. : graf. ; 28 cm. In testa al front.: HLT-NAACL 2006. - Altro titolo: HLT-NAACL 2006. [1] : Proceedings of the main conference. - xxxviii, 497 p. [2] : Companion volume : short papers, doctoral consortium, demonstrations ... - vi, 310 p. 1. Linguaggio - Elaborazione elettronica - Congressi - New York, N.Y. - 2006 I. Moore, Robert C. II. Association of computational linguistics. North American chapter III. Tit.: Human language technology conference of the North American chapter f the Association of Computational Linguistics 410.285 v-410.285 HUM v-410.285 HUM (01) Härdle, Wolfgang Applied nonparametric regression / Wolfgang Hardle. - Cambridge [etc.] : Cambridge university press, 1990. - XV, 333 p. : tab. ; 24 cm. - (Econometric society monographs ; 19). Stampato negli Stati Uniti d'America. - Bibliogr.: p. 305-323. - Indice dei nomi. ISBN 0521382483 1. Analisi della regressione 519.536 v-519.536 HAR IEEE IEEE standard for information technology : test methods for measuring conformance to POSIX / sponsor, Technical committee on operating systems and application environments of the IEEE computer society... - New York, N.Y. : IEEE, c1991. - X, 47 p. ; 30 cm. - (Ieee standard ; 1003.3-91). ISBN 1559371048 1. Elaboratori elettronici - Sistemi operativi - Standardizzazione 005.430218 v-005.4302 IEE Ieee international workshop on program comprehension, 12., Bari, 2004 Proceedings 12th Ieee International workshop on program comprehension : IWPC 2004, 2426 June 2004, Bari, Italy. - Los Alamitos, Calif. [etc.] : IEEE computer society, c2004. - xiii, 271 p.ill. ; 28 cm. ISBN 0769521495 1. Software - Ingegneria - Congressi - Bari - 2004 005.16 v-005.16 IEE IEEE international workshop on source code analysis and manipulation, 2., Montreal, 2002 Proceedings second IEEE international workshop on source code analysis and manipulation : 1 October 2002, Montreal, Canada : SCAM 2002 / sponsored by Institute of electrical and electronics engineers (IEEE). - Los Alamitos, Calif. [etc.] : IEEE computer society, C2002. X, 183 p. : diagr. ; 28 cm. Secondo sottotit. precede il tit. - : SCAM 2002. ISBN 0769517935 1. Software - Sviluppo - Congressi - Montreal - 2002 I. Tit.: Proceedings second IEEE international workshop on source code analysis and manipulation 005.12 acq_scienze_1mar11.doc- Pagina 31 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze v-005.12 IEE IEEE international workshop on web site evolution theme: architecture, 5., Amsterdam, 2003 Proceedings fifth IEEE international workshop on web site evolution theme : architecture : Amsterdam, The Netherlands, 22 September 2003 / edited by Kenny Wong. - Los Alamitos, Calif. [etc.] : IEEE computer society, c2003. - VI, 4, 109 p. ; 28 cm. WSE 2003. ISBN 0769520162 1. Siti web - Programmazione - Congressi - Amsterdam - 2003 I. Wong, Kenny II. Tit.: Proceedings fifth IEEE International workshop on web site evolution theme III. Tit.: WSE 2003 005.72 v-005.72 IEE IFIP WG 10.5 Workshop on Silicon architectures for neural nets, Saint Paul de Vence, 1990 Silicon architectures for neural nets : proceedings of the IFIP WG 10.5 workshop on Silicon architectures for neural nets, Saint Paul de Vence, France, 28-30 November, 1990 / edited by Mariagiovanna Sami, Jesus Calzadilla-Daguerre. - Amsterdam [etc.] : North-Holland, 1991. - IX, 304 p. : ill. ; 23 cm. ISBN 0444891137 1. Congressi - Saint-Paul-de-Vence - 1990 2. Elaboratori elettronici - Architettura Congressi - 1990 3. Elaboratori elettronici neuronali - Congressi - 1990 I. CalzadillaDaguerre, Jesus II. Sami, Maria Giovanna 006.3 v-006.3 IFI Instance selection and construction for data mining / edited by Huan Liu, Hiroshi Motoda. - Boston, Mass. [etc.] : Kluwer academic, c2001. - XXV, 416 p. : diagr. ; 24 cm. - (The Kluwer international series in engineering and computer science). ISBN 0792372093 1. Analisi dei dati 2. Intelligenza artificiale 3. Archivi di dati e conoscenza I. Liu, Huan II. Motoda, Hiroshi 006.3 v-006.3 INS Intelligent knowledge-based systems : an introduction / edited by Tim O'Shea, John Self, Glan Thomas. - London [etc.] : Harper & Row, 1987. - XI, 231 p. ; 25 cm. - (Series in information technology). ISBN 0063183668 1. Intelligenza artificiale I. O'Shea, Tim II. Self, John III. Thomas, Glan 006.3 v-006.3 INTEL (01) International conference AIMSA, 13., Varna, 2008 Artificial intelligence: methodology, systems, and applications : 13th international conference, AIMSA 2008 : Varna, Bulgaria, September 4-6, 2008 : proceedings / Danail Dochev, Marco Pistore, Paolo Traverso (Eds.). - Berlin Heidelberg : Springer, c2008. - XII, 416 p. : ill. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 5253). Altro titolo: AIMSA 2008. ISBN 9783540857754 1. Intelligenza artificiale - Congressi - Varna - 2004 I. Dochev, Danail II. Pistore, Marco III. Traverso, Paolo IV. Tit.: Artificial intelligence: methodology, systems, and applications 006.3 acq_scienze_1mar11.doc- Pagina 32 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze v-006.3 INT (08) International conference AIMSA, 8., Sozopol, 1998 Artificial intelligence : methodology, systems, applications : 8th international conference, AIMSA '98 : Sozopol, Bulgaria, September 21-23, 1998 : proceedings / Fausto Giunchiglia (ed.). - Berlin [etc.] : Springer, c1998. - ix, 502 p. ; 24 cm. - (Lecture notes in computer science ; 1480). Altro titolo: AIMSA 1998. ISBN 354064993X 1. Intelligenza artificiale - Congressi - Sozopol - 1998 I. Giunchiglia, Fausto II. Tit.: Artificial intelligence 006.3 v-006.3 INT (07) International conference CICLing, 6., Ciudad de Mexico, 2005 Computational linguistics and intelligent text processing : 6th international conference, CICLing 2005, Mexico City, Mexico : February 13-19, 2005 : proceedings/ Alexander Gelbukh (Ed.). - Berlin [etc.] : Springer, c2005. - XVII, 8290 p. : ill. ; 24 cm. (Lecture notes in computer science, ISSN 0302-9743 ; 3406). Altro titolo: CICLing 2005. ISBN 3540245235 1. Discorso - Analisi - Elaborazione dei dati - Congressi - Ciudad de Mexico - 2005 2. Informazione - Recupero - Sistemi - Congressi - Ciudad de Mexico - 2005 3. Linguistica Elaborazione dei dati - Congressi - Ciudad de Mexico - 2005 I. Gelbukh, Alexander 410.285 v-410.285 INT (02) International conference DEXA 2000, 11., London, 2000 Database and expert systems applications : 11th international conference DEXA 2000 : London, UK, September 4-8, 2000 : proceedings / Mohamed Ibrahim, Joseph Kueng, Norman Revell (eds.). - Berlin [etc.] : Springer, 2000. - XIX, 1005 p. : ill. ; 24 cm. (Lecture notes in computer science ; 1873). Altro titolo: DEXA 2000. ISBN 3540679782 1. Archivi di dati - Gestione - Congressi - London - 2000 2. Sistemi esperti - Congressi London - 2000 I. Ibrahim, Mohamed II. Revell, Norman III. Küng, Joseph 005.74 v-005.74 INT (08) International Conference ICATPN 2004, 25., Bologna, 2004 Applications and theory of Petri Nets 2004 : 25th International conference, ICATPN 2004 : Bologna, Italy, June 21-25, 2004 : proceedings / Jordi Cortadella, Wolfgang Reisig (eds.). Berlin [etc.] : Springer, c2004. - XI, 503 p. : ill. ; 24 cm. - (Lecture notes in computer science ; 3099). Altro titolo: ICATPN 2004. ISBN 3540222367 1. Reti di petri - Congressi - Bologna - 2004 I. Cortadella, Jordi II. Reisig, Wolfgang III. Tit.: Applications and theory of Petri Nets 2004 511.3 v-511.3 INT (06) International Conference IVA 2006, 6., Marina Del Rey, CA 2006 Intelligent virtual agents : 6th International conferencee IVA 2006 : Marina Del Rey, CA, USA, August 21-23, 2006 : proceedings / Jonathan Gratch ... [et al.]. - Berlin Heidelberg : Springer, c2006. - XIV, 466 p, [8]. : tab. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 4133). Altro titolo: IVA 2006. acq_scienze_1mar11.doc- Pagina 33 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze 1. Elaboratori elettronici - Modelli di simulazione - Congressi - Marina Del Rey, Calif. - 2006 2. Sistemi ipermediali - Congressi - Marina Del Rey, Calif. - 2006 I. Gratch, Jonathan II. Tit.: Intelligent virtual agents 006.3 v-006.3 INT (09) International conference KES 2003, 7., Oxford, UK, 2003 Knowledge-based intelligent information and engineering systems : 7th International conference KES 2003 : Oxford, UK, September 3-5, 2003 : proceedings / Vasile Palade, Robert J. Howlett, Lakhmi Jain (eds.). - Berlin [etc.] : Springer, c2003. - 2 v. (CII, 2916 p. compless.) : ill. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 2773-2774). ISBN 3540408037 (1.v.)*; ISBN 3540408045 (2.v.)* 1. Intelligenza artificiale - Congressi - Oxford - 2003 2. Sistemi esperti - Congressi - Oxford - 2003 I. Howlett, Robert J. II. Palade, Vasile III. Jain, Lakhmi C. 006.33 v-006.33 INT (11) (I-II) International conference on Artificial neural networks (ICANN-91), Espoo, 1991 Artificial neural networks : proceedings of the 1991 International conference on Artificial neural networks (ICANN-91), : Espoo, Finland, 24-28 June, 1991 / edited by Teuvo Kohonen, Kai Maekisara, Olli Simula and Jari Kangas. - Amsterdam [etc.] : North-Holland, 1991. - 2 v.(XIX, XIX, 1819 p.) ;. Atti della conferenza tenuta a Espoo, nel 1991. ISBN 0444891781 1. Circuiti neuronali - Congressi - 1991 2. Elaboratori elettronici neuronali - Congressi 1991 3. Congressi - Espoo - 1991 I. Kangas, Jari II. Kohonen, Teuvo III. Mäkisara, Kai IV. Simula, Olli 006.3 v-006.3 INTE (05) (I-II) International conference on artificial neural networks, 17, Porto, 2007 Artificial neural networks - ICANN 2007 : 17th International Conference, Porto, Portugal, September 9-13, 2007 : procedings / Joaquim Marques de Sá ... [et al.]. - Berlin Heidelberg : Springer, c2007. - 2 v. (LXII, 1968 p. compless.) : tab. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 4668, 4669). Altro titolo: ICANN 2007. ISBN 9783540746898 (1. v.)*; ISBN 9783540746935 (2. v.)* 1. Circuiti neuronali - Oporto - Congressi - 2007 2. Elaboratori elettronici neuronali - Oporto - Congressi - 2007 I. Tit.: Artificial neural networks - ICANN 2007 006.3 v-006.3 INT (10) (I-II) International conference on Automated deduction, 11., Saratoga Springs, 1992 Automated deduction, CADE-11 : 11th International conference on Automated deduction, Saratoga Springs, NY Usa, June 15-18 1992 : proceedings / D. Kapur (ed.). - Berlin [etc.] : Springer, c1992. - XV, 793 p. ; 25 cm. - (Lecture notes in computer science ; 607). Bibliogr. ISBN 3540556028 1. Congressi - Saratoga Springs, N.Y. - 1992 2. Dimostrazione automatica di teoremi Congressi - 1992 3. Logica matematica - Congressi - 1992 4. Logica simbolica Congressi - 1992 I. Kapur, Deepak 511.3 v-006.33 CAD (02) International conference on automated deduction, 12., Nancy, 1994 acq_scienze_1mar11.doc- Pagina 34 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze Automated deduction, CADE-12 : 12th International conference on automated deduction, Nancy, France, June 26-July 1, 1994 : proceedings / Alan Bundy (ed.). - Berlin [etc.] : Springer, c1994. - XVI, 848 p. ; 24 cm. - (Lecture notes in computer science ; 814). ISBN 0387581561; ISBN 3540581561 1. Congressi - Nancy - 1994 2. Dimostrazione automatica di teoremi - Congressi - 1994 3. Logica simbolica - Congressi - 1994 4. Logica matematica - Congressi - 1994 I. Bundy, Alan 006.33 v-006.33 CAD (03) International conference on Automated Deduction, 13., New Brunswick, NJ, USA, 1996 Automated deduction, CADE-13 : 13th international conference on Automated Deduction : New Brunswick, NJ, USA : July 30-August 3, 1996 : proceedings / M.A. McRobbie, J.K. Slaney (Eds.). - Berlin [etc.] : Springer, c1996. - XV, 764 p. : ill., tab. ; 24 cm. - (Lecture notes in computer science ; 1104). Scritti di vari. ISBN 3540615113 1. Congressi - New Brunswick, N.J. - 1996 2. Logica matematica - Congressi - 1996 3. Logica simbolica - Congressi - 1996 4. Dimostrazione automatica di teoremi - Congressi 1996 I. McRobbie, Michael A. II. Slaney, John K. 006.33 v-006.33 CAD (04) International Conference on Automated Deduction, 15., Lindau, 1998 Automated deduction, CADE-15 : 15th International conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings / Claude Kirchner, Hélène Kirchner (Eds.). Berlin [etc.] : Springer, 1998-. - XIV, 441 p. : ill. ; 23 cm. - (Lecture notes in computer science ; 1421). ISBN 3540646752 1. Congressi - Lindau - 1998 2. Dimostrazione automatica di teoremi - Congressi - 1998 3. Logica simbolica - Congressi - 1998 006.33 v-006.33 CAD (05) v-DEPO 00986 International conference on automated deduction, 16., Trento, 1999 Automated deduction, CADE-16 : 16th International conference on automated deduction, Trento, Italy, July 7-10, 1999 : proceedings / Harald Ganzinger (ed.). - Berlin [etc.] : Springer, c1999. - XIV, 428 p. : diagr. ; 24 cm. - (Lecture notes in computer science ; 1632). Altro titolo: Automated deduction-CADE-16. ISBN 3540662227 1. Congressi - Trento - 1999 2. Dimostrazione automatica di teoremi - Congressi - 1999 3. Logica simbolica - Congressi - 1999 I. Ganzinger, Harald II. Tit.: Automated deduction, CADE-16 511.3 v-006.33 CAD (06) International conference on automated deduction, 20., Tallin, 2005 Automated deduction, CADE-20 : 20th International conference on automated deduction, Tallin, Estonia, July 22-27, 2005 : proceedings / Robert Nieuwenhuis (Ed.). - Berlin Heidelberg : Springer, c2005. - XIII, 457 p. : diagr. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 3632). Altro titolo: CADE-20. 1. Dimostrazione automatica di teoremi - Congressi - Tallin - 2005 2. Logica simbolica Congressi - Tallin - 2005 I. Nieuwenhuis, Robert II. Tit.: Automated deduction, CADE-20 006.33 v-006.33 CAD (07) acq_scienze_1mar11.doc- Pagina 35 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze International conference on Automated deduction, 22., Montreal, 2009 Automated deduction, CADE-22 : 22th International conference on Automated deduction, Montreal, Canada, August 2-7, 2009 : proceedings / Renate A. Schmidt (Ed.). - Berlin [etc.] : Springer, c2009. - XIV, 504 p. : diagr. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 5663). Altro titolo: CADE-22. ISBN 9783642089585 . Dimostrazione automatica di teoremi - Congressi - Montreal - 2009 2. Logica simbolica Congressi - Montreal - 2009 I. Schmidt, Renate A. II. Tit.: Automated deduction, CADE-22 006.33 v-006.33 CAD (08) International conference on automated deduction, 8., Oxford, 1986 8th International conference on automated deduction : Oxford, England, July 27-August 1, 1986, proceedings / edited by Joerg H. Siekmann. - Berlin [etc.] : Springer, 1986 copyr. - IX, 708 p. ; 25 cm. - (Lecture notes in computer science ; 230). ISBN 3540167803 1. Congressi - Oxford - 1986 2. Logica simbolica - Congressi - 1986 3. Deduzione Automazione - Congressi - 1986 I. Siekmann, Jörg H. 006.33 v-006.33 CAD International conference on Automated deduction, 9., Argonne, Ill., 1988 9th international conference on Automated deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings / E. Lusk, R. Overbeek (eds.). - Berlin [etc.] : Springer, c1988. - X, 775 p. ; 24 cm. - (Lecture notes in computer science ; 310). Altro titolo: Automated deduction. ISBN 038719343X; ISBN 354019343X 1. Congressi - Argonne, Ill. - 1988 2. Dimostrazione automatica di teoremi - Congressi 1988 3. Logica matematica - Congressi - 1988 4. Logica simbolica - Congressi - 1988 I. Lusk, Ewing II. Overbeek, Ross 511.3 v-006.33 CAD (01) International conference on Expert database systems, 1., Charleston, S.C., 1986 Proceedings from the first International conference on Expert database systems / Larry Kerschberg, editor. - Menlo Park, Calif. [etc.] : Benjamin/Cummings, c1987. - XI, 501 p. ; 29 cm. - (Benjamin/Cummings series in database systems and applications). Altro titolo: Expert database systems. ISBN 0805332715 1. Archivi di dati - Gestione - Congressi - 1986 2. Sistemi esperti - Congressi - 1986 3. Congressi - Charleston, S.C. - 1986 I. Kerschberg, Larry II. Tit.: Proceedings from the first International conference on Expert database systems 006.33 v-006.33 INT (09) International conference on software engineering, 25., Portland, Or., 2003 25th International conference on software engineering : ICSE 2003 : 3-10 May 2003 : Portland, Oregon, USA : proceedings. – Los Alamitos, Calif. : IEEE computer society, c2003. - XXIV, 833 p. : ill. ; 28 cm. L'ultimo compl. del tit. precede il tit. - Altro titolo: ICSE 2003. ISBN 076951877X 1. Software - Ingegneria - Congressi - Portland, Or. - 2003 005.1 v-005.1 INT (05) acq_scienze_1mar11.doc- Pagina 36 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze International conference on software maintenance, Amsterdam, 2003 Proceedings international conference on Software maintenance : ICSM 2003 : 22-26 September 2003, Amsterdam, The netherlands / sponsored by IEEE computer society technical council on software engineering (TCSE). - Los Alamitos, Calif. [etc.] : IEEE computer society, c2003. - XVI, 468 p. : diagr. ; 28 cm. Nell'occh.: The architecture of existing systems. - : ICSM 2003. ISBN 0769519059 1. Software - Manutenzione - Congressi - Amsterdam - 2003 I. Tit.: Proceedings international conference on Software maintenance 005.16 v-005.16 INT International conference on software maintenance, 18., Montreal, 2002 Proceedings international conference on Software maintenance : October 3-6, 2002, Montreal, Quebec, Canada / sponsored by IEEE computer society technical council on software engineering (TCSE). - Los Alamitos, Calif. [etc.] : IEEE computer society, c2002. XVIII, 668 p. : diagr. ; 28 cm. : ICSM 2002. ISBN 0769518192 1. Software - Manutenzione - Congressi - Montréal - 2002 I. Tit.: Proceedings international conference on Software maintenance 005.16 v-005.16 INT (01) International conference on the theory and applications of cryptographic techniques, 21., Amsterdam, 2002 Advances in cryptology - EUROCRYPY 2002 : international conference on the theory and applications of cryptographic techniques, Amsterdam, The Netherlands, April 28-May 2, 2002 : proceedings / Lars Knudsen (ed.). - Berlin [etc.] : Springer, c2002. - XII, 545 p. : ill. ; 24 cm. - (Lecture notes in computer science ; 2332). Altro titolo: Theory and application of cryptographic techniques. ISBN 3540435530 1. Archivi di dati - Protezione - Congressi - Amsterdam - 2002 2. Crittografia - Congressi Amsterdam - 2002 3. Elaboratori elettronici - Misure di sicurezza - Congressi - Amsterdam 2002 I. Knudsen, Lars II. Tit.: Advances in cryptology EUROCRYPY 2002 005.82 v-005.82 INT International conference on Web Engineering, 7., Como, 2007 Web engineering : 7th international conference, ICWE 2007 : Como, Italy, July 16-20, 2007 : proceedings / Luciano Baresi, Piero Fraternali, Geert-Jan Houben (Eds.) . - Berlin Heidelberg : Springer, c2007. - XVI, 576 p. : ill. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 4607). Altro titolo: ICWE 2007. ISBN 3540735968; ISBN 9783540735960 1. World Wide Web (Sistema di recupero delle informazioni) - Congressi - Como - 2007 I. Baresi, Luciano II. Fraternali, Piero III. Houben, Geert-Jan IV. Tit.: Web engineering 005.75 v-005.75 WEB International conference SAT, 8., Saint Andrews, 2005 Theory and applications of satisfiability testing : 8th international conference, SAT 2005 : St Andrews, UK, June 19-23, 2005 : proceedings / Fahiem Bacchus, Toby Walsh (eds.). - Berlin Heidelberg : Springer, c2005. - XII, 492 p. : diagr. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 3569). acq_scienze_1mar11.doc- Pagina 37 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze 1. Algoritmi - Congressi - Saint Andrews - 2005 2. Decisione - Modelli matematici Congressi - Saint Andrews - 2005 3. Logica simbolica - Congressi - Saint Andrews - 2005 I. Bacchus, Fahiem II. Walsh, Toby 511.3 v-511.3 INT (04) International conference SAT, 9., Seattle, Wash., 2006 Theory and applications of satisfiability testing-SAT 2006 : 9th international conference : Seattle, WA, USA, August 12-15, 2006 : proceedings / Armin Biere, Carla P. Gomes (Eds.). Berlin Heidelberg : Springer, c2006. - XII, 438 p. : diagr. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 4121). ISBN 3540372067 1. Algoritmi - Congressi - Seattle, Wash. - 2006 2. Decisione - Modelli matematici Congressi - Seattle, Wash. - 2006 3. Logica simbolica - Congressi - Seattle, Wash. - 2006 I. Biere, Armin II. Gomes, Carla P. 511.3 v-511.3 INT (05) International joint conference IJCAR 2004, 2., Cork, 2004 Automated reasoning : second international conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings / David Basin, Michaël Rusinoeitch (Eds.). - Berlin [etc.] : Springer, c2004. - XII, 4911 p. : ill. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 3097). Altro titolo: IJCAR 2004. ISBN 3540223452 1. Dimostrazione automatica di teoremi - Congressi - Cork - 2004 I. Basin, David II. Rusinowitch, Michaël III. Tit.: Automated reasoning 006.333 v-006.333 INT v-006.333 INT (01) International symposium on smart graphics, 3., Heidelberg, 2003 Smart Graphics : third international symposium on Smart Graphics, SG 2003, Heidelberg, Germany, July 2-4, 2003 : proceedings / Andreas Butz, Antonio Krüger, Patrick Olivier (eds.). - Berlin [etc.] : Springer, c2003. - XI, 260 p. : ill. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 2733). Altro titolo: SG 2003. ISBN 3540405577 1. Elaboratori elettronici - Grafica - Congressi - Heidelberg - 2003 2. Intelligenza artificiale Congressi - Heidelberg - 2003 I. Butz, Andrea II. Krüger, Antonio III. Olivier, Patrick IV. Tit.: Smart Graphics 006.6 v-006.6 INT International working conference on cooperating knowledge based systems, Keele, 1990 CKBS '90 : proceedings of the International working conference on Cooperating knowledge based systems, 3-5 October 1990, University of Keele, UK / edited by S.M. Deen... - London [etc.] : Springer, 1991 copyr. - XIV, 325 p. : ill. ; 24 cm. Altro titolo: Cooperating knowledge based systems. ISBN 0387196498; ISBN 3540196498 1. Congressi - Keele - 1990 2. Sistemi esperti - Congressi - 1990 I. Deen, Sayyed Misbah II. Tit.: CKBS '90 006.33 v-006.33 INT (10) International workshop AOSE 2001, 2., Montreal, 2001 acq_scienze_1mar11.doc- Pagina 38 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze Agent-oriented software engineering II : second international workshop, AOSE 2001 : Montreal, Canada, May 29, 2001 : revised papers and invited contributions / Michael J. Wooldridge, Paolo Ciancarini, Gerhard Weiss (eds.). - Berlin [etc.] : Springer, c2002. - X, 317 p. : diagr. ; 24 cm. - (Lecture notes in computer science ; 2222). ISBN 3540432825 1. Software - Ingegneria - Congressi - Montreal - 2001 I. Weiss, Gerhard II. Wooldridge, Michael III. Ciancarini, Paolo 005.1 v-005.1 INT (04) International workshop ATAL, 7., Boston, 2000 Intelligent agents VII : agent theories architectures and languages : 7th international workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000 : proceedings / Cristiano Castelfranchi, Yves Lespérance (eds.). - Berlin [etc.] : Springer, c2001. - XVII, 356 p. : diagr. ; 24 cm. - (Lecture notes in computer science ; 1986). Tit. orig.: ATAL 2000. ISBN 3540424229 1. Elaboratori elettronici - Architettura - Congressi - Boston, Mass. - 2000 2. Intelligenza artificiale - Congressi - Boston, Mass. - 2000 I. Castelfranchi, Cristiano II. Lespérance, Yves III. Tit.: Intelligent agents VII 006.3 v-006.3 INTEL (04) International workshop ATAL, 8., Seattle, 2001 Intelligent agents VIII : agent theories, architectures, and languages : 8th international workshop, ATAL 2001, Seattle, WA, USA, Augusty 1-3, 2001 : revised papers / John-Jules Ch. Meyer, Milind Tambe (eds.). - Berlin [etc.] : Springer, c2002. - XVII, 356 p. : diagr. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 2333). Parte del titolo: ATAL 2001. ISBN 3540438580 1. Elaboratori elettronici - Architettura - Congressi - Seattle, Wash. - 2001 2. Intelligenza artificiale - Congressi - Seattle, Wash. 2001 I. Meyer, John-Jules Ch. II. Tambe, Milind III. Tit.: Intelligent agents VIII 006.3 v-006.3 INTEL (05) v-006.3 INTEL (06) International workshop Expert Systems & their applications, 10., Avignon, 1990. Tenth International workshop Expert Systems & their applications : Avignon, France, May 28 - June 1st. 1990 : general conference Tools, techniques & applications = Dixième Journées internationales Les systemes experts & leurs applications : Avignon, France, 28 mai - 1er juin 1990 : conference generale Outils, techniques & applications. - Nanterre : EC2, c1990. 2 v. (981 p.) : tab. ; 24 cm. (Avignon '90). Tit. parallelo: Dixième Journées internationales Les systemes experts & leurs applications : Avignon, France, 28 mai - 1er juin 1990 : conference generale Outils, techniques & applications. ISBN 2906899364 1. Congressi - Avignon - 1990 2. Intelligenza artificiale - Congressi - 1990 3. Sistemi esperti - Congressi - 1990 I. Tit.: Tenth International workshop Expert Systems & their applications 006.33 v-006.33 INT (12) (I-II) International workshop on agent theories, architectures and languages, 5., Paris, 1998 Intelligent agents V : agent theories, architectures and languages : 5th International workshop, ATAL '98 : Paris, France, July 4-7, 1998 : proceedings / Jörg P. Müller, Munindar P. Singh, Anand S. Rao ( eds.). - Berlin [etc.] : Springer, c1999. - xxiv, 455 p. ; 24 cm. acq_scienze_1mar11.doc- Pagina 39 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze - (Lecture notes in computer science ; 1555). Altro titolo: ATAL '98. ISBN 3540657134 1. Elaboratori elettronici - Architettura - Congressi - Paris - 1998 2. Intelligenza artificiale Congressi - Paris - 1998 I. Müller, Jörg P. II. Rao, Anand III. Singh, Munindar Paul IV. Tit.: Intelligent agents V 006.3 v-006.3 INTEL (03) International workshop on evaluation of systems for the semantic analysis of text, 3., Barcelona, 2004 Proceedings of SENSEVAL-3 : third international workshop on the evaluation of systems for the semantic analysis of text : held in cooperation with ACL 2004 : 25-26 July 2004, Barcelona, Spain. - Stroudsburg, Pa. : Association for computational linguistics, c2004. - VII, 268, : ill.. ; 30 cm. ISBN 1932432442 1. Linguaggio - Elaborazione dei dati - Congressi - Barcelona - 2004 2. Semantica Elaborazione dei dati - Congressi - Barcelona 2004 410.285 v-410.285 INTE v-410.285 INTE (01) International workshop on Lexically driven information extraction, Frascati, 1997 Proceedings of the International workshop on Lexically driven information extraction, Frascati, Italy - July 16th, 1997. - [S.l. : s.n.], 1997. - IV, 118 p. : tab. ; 30 cm. - (Research report / [Dipartimento di scienze dell'informazione. Universit{ di Roma "La Sapienza"] ; 6/97). In testa al front.: Dipartimento di scienze dell'informazione. Università di Roma "La Sapienza". - Altro titolo: Lexically driven information extraction. 1. Congressi - Frascati - 1997 2. Linguistica - Elaborazione dei dati - Congressi - 1997 3. Informazione - Recupero - Sistemi - Congressi - 1997 I. Tit.: Proceedings of the International workshop on Lexically driven information extraction, Frascati, Italy - July 16th, 1997 006.35 v-006.35 INT International Workshop on spoken language translation, Kyoto, 2004 IWSLT 2004 Proceedings : September 30-October 1, 2004 : ATR Spoken language translation research laboratories : Kyoto, Japan : Interspeech 2004-Icslp satellite workshop International workshop on spoken language translation : evaluation campaign on spoken language translation ... - [S.l. : s.n.], 2004. - xxii, 154 p. : ill. ; 30 cm. Dati dalla cop. - L'ultimo compl. del tit. precede il tit. 1. Linguaggio - Elaborazione dei dati - Congressi - Kyoto - 2004 2. Traduzione automatica Congressi - Kyoto - 2004 418.02 v-418.02 INT (01) International Workshop on spoken language translation, 3, Kyoto, 2006 IWSLT 2006 : proceedings of the 3rd international workshop on spoken language translation : November 27-November 28, 2006, Palulu Plaza, Kyoto, Japan / editor: Michael Paul ; editorial assistants : Ciaki Morita, Kiyonori Ohtake. - [S.l. : s.n.], [2006?]. - xviii, 216 p. : ill. ; 30 cm. Sul front.: Local organization ... 1. Linguaggio - Elaborazione dei dati - Congressi - Kyoto - 2006 2. Traduzione automatica Congressi - Kyoto - 2006 I. Paul, Michael 418.02 v-418.02 INT acq_scienze_1mar11.doc- Pagina 40 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze International workshop on Web site evolution, 4., Montréal, 2002 Proceedings fourth international workshop on Web site evolution WSE 2002 : Montréal, Canada, 2 October 2002 / sponsored by the IEEE computer society technical committee software engineering. - Los Alamitos, Calif. [etc.] : IEEE computer society, <c2002>. - X, 99 p. : diagr. ; 28 cm. Dati dalla cop. - : WSE 2002. ISBN 0769518044 1. Siti web - Programmazione - Congressi - Montréal - 2002 I. Tit.: Proceedings fourth international workshop on Web site evolution WSE 2002 005.72 v-005.72 INT International workshop, CIA, 8., Erfurt, 2004 Cooperative information agents VIII : 8th International workshop, CIA 2004 : Erfurt, Germany, September 27-29, 2004 : proceedings / Matthias Klusch ... [et al.] (eds.). - Berlin [etc.] : Springer, c2004. - XI, 302, [1] p. : ill. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 3191). Altro titolo: CIA 2004. ISBN 3540231706 1. Archivi di dati - Elaborazione distribuita - Congressi - Erfurt - 2004 2. Intelligenza artificiale - Elaborazione distribuita - Congressi - Erfurt - 2004 I. Klusch, Matthias II. Tit.: Cooperative information agents VIII 005.758 v-005.758 INT (02) Internet imaging III : 21-23 January 2002, San Jose, USA / Giordano B. Beretta, Raimondo Schettini chairs/editors. - Bellingham, Wash. : SPIE-The International society for optical engineering, c2002. - XI, 288 p. : ill ; 28 cm. - (Proceedings of SPIE-The International society for optical engineering ; 4672). Il sottotit. segue la formulaz. di respons. ISBN 081944412X 1. Immagini - Elaborazione - Tecniche digitali - Congressi - San Jose, Calif. - 2002 2. Internet (Rete di elaboratori) - Congressi – San Jose, Calif. - 2002 I. Beretta, Giordano B. II. Schettini, Raimondo 006.6 v-006.6 INT ISO Information technology : portable operating system interface (POSIX) / sponsor, Technical committee on operating systems and application environments of the IEEE computer society ... - 2. print. - New York, N.Y. : IEEE, 1990-. - v. ; 30 cm. - (International standard / [ISO] ; ISO/IEC 9945). 1: System application program interface (API) C language. - 1992. - XVII, 356p. - ISBN 155937-061-0 ISBN 1559370610 1. Elaboratori elettronici - Sistemi operativi - Standardizzazione 005.430218 v-005.4302 ISO Israeli symposium on Artificial intelligence, vision and pattern recognition, 5., TelAviv, 1988 Proceedings of the fifth Israeli symposium on Artificial intelligence, vision and pattern recognition : Tel-Aviv, Ganei-Hata'arucha, December 27-28, 1988 / edited by Ehud Shapiro. - Tel Aviv : Information processing association of Israel, [1988?]. - IX, [2], 452 p. : ill. ; 25 cm. Altro front. in israeliano sull'ultima p. - Tit. orig.: Artificial intelligence vision and pattern recognition. acq_scienze_1mar11.doc- Pagina 41 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze 1. Congressi - Tel Aviv - 1988 2. Intelligenza artificiale - Congressi - 1988 3. Forma Riconoscimento - Sistemi - Congressi - 1988 I. Shapiro, Ehud II. Tit.: Proceedings of the fifth Israeli symposium on Artificial intelligence, vision and pattern recognition 006.3 v-006.3 ISR Jackson, Peter Natural language processing for online applications : text retrieval, extraction and categorization / Peter Jackson , Isabelle Moulinier. - Amsterdam, Philadelphia, Pa. : John Benjamins, c2002. - X, 225 p. : ill. ; 22 cm. - (Natural language processing ; 5). ISBN 902724989X 1. Informazione - Recupero - Sistemi 2. Linguaggio - Elaborazione dei dati I. Moulinier, Isabelle 006.35 v-006.35 JAC Jacky, Jonathan The way of z : practical programming with formal methods / Jonathan Jacky. - Cambridge : University press, 1997. - XVIII, 350 p. ; 25 cm. ISBN 0521550416 1. Elaboratori elettronici - Linguaggio Z 005.12 v-005.12 JAC Jacquemin, Christian Spotting and discovering terms through natural language processing / Christian Jacquemin. Cambridge, Mass. London : MIT press, c2001. - VIII, 378 p. : diagr. ; 24 cm. Bibliogr.: p. [353]-368. ISBN 0262100851 1. Linguaggio - Elaborazione dei dati 410.285 v-410.285 JAC Jensen, Henrik Wann Realistic image synthesis using photon mapping / Henrik Wann Jensen. - Natick, Mass. : Peters, c2001. - XVII, 181 p. : ill. ; 24 cm. Bibliogr.: p. 169-177. ISBN 1568811470 1. Elaboratori elettronici - Grafica 006.693 v-006.693 JEN John, Fritz Partial differential equations / Fritz John. - 4. ed. - New York, N.Y. [etc.] : Springer, 1986. - X, 249 p. ; 24 cm. - (Applied mathematical sciences ; 1). ISBN 0387906096; ISBN 3540906096 1. Equazioni alle derivate parziali 515.353 v-515.353 JOH (02) Judd, J. Stephen Neural network design and the complexity of learning / J. Stephen Judd. - Cambridge, Mass. London : MIT press, c1990. - [18], 150 p. : ill. ; 24 cm. - (Bradford books) (Neural network modeling and connectionism). ISBN 0262100452 1. Complessità di calcolo 2. Intelligenza artificiale 3. Elaboratori elettronici neuronali 006.3 acq_scienze_1mar11.doc- Pagina 42 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze v-006.3 JUD Kadmon, Nirit On unique and non-unique reference and asymmetric quantification / a dissertation presented by Nirit Kadmon. - Amherst, Mass. : University of Massachusetts press, 1987. XII, 377 p. : tab. ; 23 cm. 1. Asimmetria (Linguistica) 2. Implicazione (Logica) 3. Lingua inglese - Composti nominali 425. v-425 KAD Kandel, Abraham Fuzzy mathematical techniques with applications / Abraham Kandel. - Repr. with corr. Reading, Mass. [etc.] : Addison-Wesley, 1986. - XIV, 274 p. ; 24 cm. ISBN 0201117525 1. Insiemi sfocati 2. Sistemi sfocati 511.32 v-511.32 KAN Karpman, Viktor L'vovich Cardiovascular system and physical exercise / Victor L. Karpman. - Boca Raton, Fla. : CRC press, 1987. - 196 p. : tab. ; 26 cm. ISBN 0849365287 1. Apparato circolatorio - Fisiologia 2. Esercizi fisici - Aspetti fisiologici 3. Medicina sportiva 612.1 v-612.1 KAR Kayne, Richard S. Connectedness and binary branching / Richard S. Kayne. - Dordrecht Cinnaminson, N.J. : Foris, 1984. - XIV, 258 p. ; 24 cm. - (Studies in generative grammar ; 16). ISBN 9067650293 1. Grammatica generativa 415. v-415 KAY Kearns, Katherine Susan The semantics of the English progressive / by Katherine Susan Kearns. - Cambridge, Mass. : MIT press, 1991. - 310 p. ; 22 cm. Sul front: Submitted to the Department of linguistics and philosophy in partial fulfillment of the requirements for the degree of doctor of philosophy at the Massachussetts Institute of technology. 1. Lingua inglese - Costruzione progressiva 2. Lingua inglese - Semantica 425. v-425 KEA Knowledge based problem solving / Janusz S. Kowalik, editor. - Englewood Cliffs, N.J. : Prentice-Hall, c1986. - XXV, 336 p. : ill. ; 25 cm. ISBN 0135165768 1. Intelligenza artificiale 2. Sistemi esperti 3. Soluzione di problemi - Elaborazione elettronica dei dati I. Kowalik, Janusz S. 006.33 v-006.33 KNO (02) Knowledge-based software engineering conference, 7., McLean, 1992 Proceeding the seventh knowledge-based software engineering conference, McLean, Virginia, September 20-23, 1992. - Los Alamitos, Calif. [etc.] : IEEE computer society, c1992. - IX, 259 p. ; 28 cm. acq_scienze_1mar11.doc- Pagina 43 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze ISBN 0818628804 1. Congressi - McLean, Va. - 1992 2. Intelligenza artificiale - Congressi - 1992 3. Elaboratori elettronici - Programmazione - Congressi - 1992 006.3 v-006.3 KNO (01) Korf, Richard E. Learning to solve problems by searching for macro-operators / Richard E. Korf. - Boston, Mass. [etc.] : Pitman, 1985. - 147 p. ; 25 cm. - (Research notes in artificial intelligence ; 5). ISBN 0273086901 1. Intelligenza artificiale 2. Soluzione di problemi 006.3 v-006.3 KOR Kornai, András Mathematical linguistics / András Kornai. - London : Springer, c2008. - xiii, 289 p. : diagr.. ; 24 cm. - (Advanced information and knowledge processing). Bibliogr. : p. [251]-280. ISBN 9781846289859 1. Linguistica matematica 410.151 v-410.151 KOR Kraus, Sarit Strategic negotiation in multiagent environments / Sarit Kraus. - Cambridge, Mass. London : MIT press, c2001. - XIV, 266 p. : diagr. ; 24 cm. - (Intelligent robots and autonomous agents). Bibliogr.: p. [245]-257. ISBN 0262112647 1. Intelligenza artificiale - Elaborazione distribuita 006.3 v-006.3 KRA v-006.3 KRA (01) Kreiseliana about and around Georg Kreisel / edited by Piergiorgio Odifreddi. - Wellesley, Mass. : Peters, A.K., 1996. - XI, 495 p. : ritr. ; 23 cm. ISBN 156881061X 1. Logica matematica 2. Kreisel, Georg I. Odifreddi, Piergiorgio 511.30924 v-511.309245 KRE Kulikowski, Casimir A. Expert systems in medicine : 1970-1985 / Casimir A. Kulikowski. - [S.l. : s.n.], [1986?]. - 28 p. ; 23 cm. Contiene anche: Evolution of an expert system: from internist to caduceus / Harry E. Pople, jr. (30 p.). Types of knowledge as bases for reasoning in medical AI programs / Peter Szolovits (16 p. non num.). - Sulla cop.: International conference on Artificial intelligence in medicine, Castello Visconteo, Pavia, Italy september 13-14, 1985. - Tit. orig.: Evolution of an expert system : from internist to caduceus. - Tit. orig.: Types of knowledge as bases for reasoni in medical AI programs. - Altro titolo: Artificial intelligence in medicine. 1. Elaboratori elettronici - Impiego in medicina 2. Sistemi esperti - Impiego in medicina I. Pople, Harry E., jr. II. Szolovits, Peter III. International conference on Artificial intelligence in medicine, Pavia, 1985 610.285 v-610.285 KUL acq_scienze_1mar11.doc- Pagina 44 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze Ladd, Robert D. Intonational phonology / D. Robert Ladd. - Repr. - Cambridge : Cambridge university press, 2001. - XV, 334 p. : ill. ; 23 cm. - (Cambridge studies in linguistics ; 79). Bibliogr.: p. 302-320. ISBN 0521475759 1. Grammatica - Fonologia 2. Intonazione (Fonetica) 414.6 v-414.6 LAD Lang, Serge Complex analysis / Serge Lang. - 2.ed. - New York, N.Y. [etc.] : Springer, c1985. - XIV, 367 p, : ill. ; 25 cm. - (Graduate texts in mathematics ; 103). ISBN 0387960856 1. Funzioni di variabile complessa 2. Analisi matematica 515.9 v-515.9 LAN v-CORSO MAT 221 Language and Gesture / edited by David McNeill. - Cambridge : Cambridge university press, 2000. IX, 409 p. ; 23 cm. - (Language, culture and cognition ; 2). ISBN 0521777615 1. Linguaggio dei gesti I. McNeill, David 419. v-419 LAN Language creation and language change : creolization, diacheony, and development / edited by Michel DeGraff. - Cambridge, Mass. London : MIT press, 2001. - X, 573 p. : diagr. ; 25 cm. - (MIT press series in learning, development and conceptual change). Bibliogr.: p. 534-543. ISBN 0262041685 1. Dialetti creoli 2. Linguaggio dei gesti 3. Linguaggio - Apprendimento 4. Grammatica comparata I. DeGraff, Michel 410. v-410 LAN Lanz, Oswald Probabilistic multi-person tracking for ambient intelligence / Oswald Lanz ; advisor: Roberto Brunelli. - [8], xi, 188 p. : ill. ; 22 cm + 1 CD-ROM. Manoscritto. - Dati dalla cop. - Tesi di dottorato - Università di Trento, Facoltà di scienze matematiche, fisiche e naturali, Dipartimento di informatica e telecomunicazioni. 1. Immagini - Elaborazione - Tecniche digitali - Tesi di dottorato 2. Intelligenza artificiale Elaborazione distribuita - Tesi di dottorato 006.3 v-006.3 LAN Lasnik, Howard Essays on restrictiveness and learnability / Howard Lasnik. - Dordrecht [etc.] : Kluwer academic, 1990. - IX, 269 p. : ill. ; 25 cm. (Studies in natural language and linguistic theory ; 20). ISBN 0792306287 1. Grammatica comparata 2. Grammatica generativa 415. v-415 LAS Lasnik, Howard acq_scienze_1mar11.doc- Pagina 45 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze Move Ã: conditions on its application and output / Howard Lasnik and Mamoru Saito. Cambridge, Mass. London : MIT press, 1992. - IX, 222 p. ; 24 cm. - (Current studies in linguistics series ; 22). ISBN 0262121611 1. Grammatica comparata - Sintassi 2. Grammatica generativa I. Saito, Mamoru 415. v-415 LAS (01) Lethbridge, Timothy C. Object-oriented software engineering : practical software development using UML and Java / Timothy C. Lethbridge, Robert Laganière. - XIII, 497 p. : ill. ; 25 cm. Bibliogr. : p. <451>-475. ISBN 0077097610 1. Software - Sviluppo 2. Elaboratori elettronici - Programmazione orientata agli oggetti I. Laganière, Robert 005.117 v-005.117 LET Lind, Jürgen Iterative software engineering for multiagent systems : the MASSIVE method / Juergen Lind. - Berlin [etc.] : Springer, c2001. - XIV, 286 p. : ill. ; 24 cm. - (Lecture notes in computer science ; 1994). Bibliogr.: p. [265]-279. ISBN 3540421661 1. Software - Ingegneria 2. Software - Sviluppo 005.1 v-005.1 LIN Linguistic approaches to artificial intelligence / Ulrich Schmitz, Ruediger Schuetz, Andreas Kunz (Eds.). - Frankfurt am Main [etc.] : Lang, 1990. - II, 558 p. ; 21 cm. - (Duisburger Arbeiten zur Sprach- und Kulturwissenschaft = Duisburg papers on language and culture ; 6). ISBN 3631407378 1. Intelligenza artificiale 2. Linguistica - Elaborazione dei dati I. Kunz, Andreas II. Schütz, Rüdiger III. Schmitz, Ulrich 006.3 v-006.3 LIN (01) Logical structure and linguistic structure : cross-linguistic perspectives / edited by C.-T. James Huang and Robert May. - Dordrecht [etc.] : Kluwer academic, 1990. - XXVIII, 284 p. : .tab. ; 23 cm. - (Studies in linguistics and philosophy ; 40). ISBN 0792309146 1. Grammatica comparata 2. Linguaggio e logica I. Huang, C.-T. James II. May, Robert 415. v-415 LOG Logics for emerging applications of databases / Jan Chomicki, Ron van der Mayden, Gunter Saake (eds.). - Berlin [etc.] : Springer, c2003. - XV, 368 p. : ill. ; 24 cm. Bibliogr. : p. 356-361. ISBN 3540007059 1. Archivi di dati - Gestione 2. Programmazione logica I. Chomicki, Jan II. Saake, Gunter III. Van der Meyden, Ron 005.74 v-005.74 LOG acq_scienze_1mar11.doc- Pagina 46 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze Maffei, Carlo Riccardo Trasformazione dei parametri acustici per la normalizzazione del parlatore / relatore : dott. Diego Giuliani ; correlatore : prof. Goffredo Haus ; laureando : Carlo Riccardo Maffei. - [7], VII, 106 c. ; 30 cm. Manoscritto. - Verso delle c. bianco. - Dattiloscritto. - Tesi di laurea. - Università degli studi di Milano. Facoltà di scienze matematiche, fisiche e naturali, Corso di laurea in Scienza dell'informazioen, a. acc. 1994-95. 1. Elaboratori elettronici - Riconoscimento della voce umana - Tesi di laurea 006.454 v-006.454 MAF Magnenat-Thalmann, Nadia Image synthesis : theory and practice / Nadia Magnenat-Thalmann, Daniel Thalmann. Tokyo [etc.] : Springer, c1987. - XV, 400 p. : ill. ; 25 cm. - (Computer science workbench). Bibliogr.: p. [365]-392. ISBN 4431700234 1. Immagini ottiche - Elaborazione - Tecniche digitali 2. Elaboratori elettronici - Grafica I. Thalmann, Daniel 006.6 v-006.6 MAG Maio, Dario Sistemi informativi e rappresentazione della conoscenza : appunti tratti dalle lezioni di D. Maio, P. Tiberio / A cura di U. Rinaldi. - Bologna : Pitagora, c1988. - VII, 237 p. : ill. ; 24 cm. ISBN 8837104227 1. Archivi di dati - Progettazione I. Rinaldi, Ubaldo II. Tiberio, Paolo 005.74 v-005.74 MAI Maiocchi, Marco Teoria e applicazioni delle macchine calcolatrici / Marco Maiocchi. - Milano : CEA, 1984. - XI, 490 p. ; 24 cm. 1. Elaboratori elettronici - Impiego 2. Algoritmi 3. Elaboratori elettronici - Struttura 004. v-DEPO 000981 Manning, Christopher D. Foundations of statistical natural language processing / Christopher D. Manning, Hinrich Schutze. - Cambridge, Mass. London : MIT press, c1999. - XXXVII, 680 p. : ill. ; 24 cm. ISBN 0262133601 1. Linguistica - Elaborazione dei dati - Metodi statistici I. Schütze, Hinrich 410.285 v-410.285 MAN (02) Manovich, Lev The language of new media / Lev Manovich. - 2. print. - Cambridge, Mass. London : MIT press, c2001. - XXXIX, 354 p. : ill. ; 23 cm. - (Leonardo / [MIT press]). ISBN 0262632551 1. Cinematografia - Tecnica 2. Mezzi di comunicazione - Innovazione tecnologica 302.2 v-302.2 MAN Marcantoni, Mauro Economia trentina : dizionario / Mauro Marcantoni. - Trento : IASA, c2000. - 280 p. : tab. ; 21 cm. - (Economia e territorio). In testa al front.: GM Guida Monaci. 1. Trentino - Economia - Dizionari acq_scienze_1mar11.doc- Pagina 47 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze 330.945385 v-330.945385 MAR Marchetti, Giorgio, 1959The mechanics of mind = La meccanica della mente / Giorgio Marchetti. - [S.l.] : Espansione, 1993 (Roma : Edigraf). - 156 p. ; 24 cm. Tit. parallelo: La meccanica della mente. 1. Mente 153. v-153 MAR Markel, John D. Linear prediction of speech / J.D. Markel, A.H. Gray, jr. - Berlin [etc.] : Springer, 1976. - XII, 288 p. : graf. ; 25 cm. - (Communication and cybernetics ; 12). ISBN 3540075631 1. Elaboratori elettronici - Riconoscimento della voce umana 2. Segnali - Elaborazione Tecniche digitali 3. Linguaggio - Elaborazione dei dati 006.454 v-006.454 MAR Martin, J.R. English text : system and structure / by J.R. Martin. - Philadelphia, Pa. Amsterdam : Benjamins, 1992. - XIV, 620 p. ; 21 cm. ISBN 1556194854; ISBN 9027221294 1. Discorso - Analisi 2. Lingua inglese - Sintassi 420.141 v-420.141 MAR Massaro, Dominic William Speech perception by ear and eye: a paradigm for psychological inquiry / Dominic William Massaro. - Hillsdale, N.J. London : Erlbaum, Lawrence, Associates, 1987. - [10], 320 p. : tab. ; 23 cm. Bibliogr.: p. [283]-307. ISBN 080580062X 1. Percezione acustica 2. Percezione visiva 153.6 v-153.6 MAS Mathematical reasoning with diagrams : from intuition to automation / Mateja Jamnik. - Stanford, Calif. : CSLI, c2001. - XII, 204 p. : ill. ; 23 cm. - (CSLI lecture notes ; 127). ISBN 1575863243 1. Dimostrazione automatica di teoremi 2. Logica simbolica I. Jamnik, Mateja 511.3 v-511.3 MAT (06) Mazzetti, Alessandro Costruire un sistema esperto : intelligenza artificiale in BASIC / Alessandro Mazzetti. Padova : Muzzio, 1986. - 165 p. ; 21 cm. - (Intelligenza artificiale e robotica ; 2). ISBN 887021303X 1. Intelligenza artificiale 2. Sistemi esperti 006.33 v-006.33 MAZ Mazzetti, Alessandro acq_scienze_1mar11.doc- Pagina 48 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze Applicazione dei sistemi esperti : esperienze reali : analisi degli strumenti e studio dei casi / Alessandro Mazzetti. - Padova : Muzzio, 1987. - 122 p. ; 21 cm. - (Intelligenza artificiale e robotica ; 8). ISBN 8870213545* 1. Sistemi esperti 006.33 V-006.33 MAZ (01) McLaughlin, Brett Java and XML / Brett McLaughlin. - Beijing [etc.] : O'Reilly, c2000. - XVI, 479 p. : ill. ; 24 cm. - (The Java series). ISBN 0596000162 1. Elaboratori elettronici - Linguaggio Java 2. Elaboratori elettronici - Linguaggio XML 005.72 V-005.72 MCL (01) Medical language processing : computer management of narrative data / [Naomi Sager ... et al.]. Reading, Mass. [etc.] : Addison-Wesley, c1987. - XIII, 348 p. ; 24 cm. Autori dalla p. contro il front. ISBN 0201168103 1. Cartelle cliniche - Elaborazione dei dati 2. Medicina - Terminologia - Elaborazione dei dati I. Sager, Naomi 610.285 v-610.285 MED Mel, Slater Computer graphics and virtual environments : from realism to real-time / Mel Slater, Anthony and Yiorgos Chrysanthou. – Harlow [etc.] : Addison-Wesley, 2002. - XXIII, 571 p., [8] c. di tav. : diagr. ; 25 cm. Bibliogr.: p. [538]-556. ISBN 0201624206 1. Elaboratori elettronici - Grafica 2. Realtà virtuale I. Chrysanthou, Yiorgos II. Steed, Anthony 006.6 v-006.6 MEL Mendelson, Elliott Introduction to mathematical logic / Elliott Mendelson. - 3. ed. - Monterey, Calif. : Wadsworth & Brooks-Cole advanced books & software, c1987. - IX, 341 p. ; 24 cm. - (The Wadsworth & Brooks-Cole mathematics series). Bibliogr.: p. 289-307. ISBN 0534066240 1. Logica matematica 511.3 v-511.3 MEN (01) Menezes, Alfred J. Handbook of applied cryptography / Alfred J. Menezes, Paul C. van Oorschot, Scott A. Vanstone. - Boca Raton, Fla. [etc.] : CRC press, c1997. - [30], 780 p. : tab., diagr. ; 26 cm. (CRC press series on discrete mathematics and its applications). Bibliogr.: p. 703-754. ISBN 0849385237 1. Crittografia (Informatica) - Manuali 2. Elaboratori elettronici - Controllo d'accesso I. Oorschot, Paul C. van II. Vanstone, Scott A. 005.82 v-005.82 MEN v-005.82 MEN (01) v-005.82 MEN (02) acq_scienze_1mar11.doc- Pagina 49 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze Merzi, Mattia Una tecnica per la coordinazione di agenti mediante multicast : implementazione e confronti / relatore: dott. Roberto Sebastiani ; responsabile esterno: dott. Paolo Busetta ; laureanda: Mattia Merzi. - IV, 70 p. : diagr. ; 30 cm. Manoscritto. - Dattiloscritto. - Verso delle pagine bianco. - Tesi di laurea - Università degli studi di Trento, Facoltà di scienze matematiche, fisiche e naturali, Corso di laurea in informatica, a. acc. 2003-2004. 1. Intelligenza artificiale - Elaborazione distribuita - Tesi di laurea 006.3 v-006.3 MER Meta-Heuristics : theory & applications / edited by Ibrahim Osman and James P. Kelly. - Boston, Mass. [etc.] : Kluwer academic, c1996. - X, 690 p. : ill. ; 24 cm. ISBN 0792397002 1. Ottimizzazione (Calcolo combinatorio) 2. Algoritmi I. Kelly, James Patrick II. Osman, Ibrahim H. 519.3 v-519.3 MET Meyer, Carl Dean Matrix analysis and applied linear algebra / Carl Mayer. - Philadelphia, Pa. : SIAM, c2000. XII, 718 p. : ill ; 25 cm + 1 CD-ROM. Altro titolo: Solutions manual. Contiene anche ( P. 171): Solutions manual / Carl Meyer ISBN 0898714540 1. Algebra lineare 512.5 v-512.5 MEY (I-II) Microsoft Internet Explorer 4 Resource Kit : tutti gli strumenti e le informazioni tecniche per la distribuzione e il supporto di Internet Explorer nell'azienda. - Milano : Mondadori informatica. Redmond, Wash. : Microsoft press, 1998. - 2 v.(LXXXVIII, 864 p. compless.) : ill. ; 24 cm + 2 CD-ROM. - (Sistemi, linguaggi e applicazioni / [Mondadori]). In custodia. ISBN 8871318846 1. Microelaboratori elettronici - Programmi Microsoft Internet Explorer 005.713769 v-005.7137 MIC v-005.7137 MIC (01) Microsoft windows NT server, in italiano Microsoft windows NT server. - Milano : Mondadori informatica. Redmond, Wash. : Microsoft press, 1997. - 3 v. ; 24 cm. - (Sistemi, linguaggi e applicazioni / [Mondadori]). In testa al front.: Microsoft professional editions. - Tit. orig.: Microsoft windows NT server. - 3 v. in cofanetto. [1] : Guida alle risorse. - XXIII, 331 p., tab. + 1 CD-ROM [2] : Guida alle reti. - XXXIV, 810 p., ill. [3] : Guida a internet. - XVI, 188, [4] p. ISBN 8871317548 1. Elaboratori elettronici - Sistema operativo Windows NT 4.0 005.43 v-005.43 MIC (02) v-005.43 MIC (03) v-005.43 MIC (04) Miller, Perry L. acq_scienze_1mar11.doc- Pagina 50 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze A critiquing approach to expert computer advice: ATTENDING / Perry L. Miller. - Boston, Mass. [etc.] : Pitman, 1984. - 112 p. ; 25 cm. - (Research notes in artificial intelligence ; 1). ISBN 0273086650 1. Anestesiologia - Elaborazione dei dati 2. Sistemi esperti - Impiego in anestesiologia 3. Medicina - Elaborazione dei dati 610.285 v-DEPO 00340 v-DEPO 00340 (01) Miller, Perry L. Expert critiquing systems : practice-based medical consultation by computer / Perry L. Miller. - New York, N.Y. [etc.] : Springer, 1986 copyr. - VI, 175 p. : ill. ; 24 cm. - (Computers and medicine). ISBN 0387962913; ISBN 3540962913 1. Elaboratori elettronici - Impiego in medicina 2. Medicina - Elaborazione dei dati 3. Sistemi esperti - Impiego in medicina 610.285 v-610.285 MIL Minella, Tiziana La privacy : guida alla applicazione della legge 675/1996 / Tiziana Minella. - Napoli : Simone, 2000. - 542 p. ; 24 cm. Con appendice normativa. ISBN 8824418015 1. Diritto alla riservatezza - Legislazione 2. Diritto alla riservatezza - Tutela 342.45 v-342.450858 MIN Modern optical characterization techniques for semiconductors and semiconductor devices / O.J. Glembocki, Fred H. Pollak, J.J. Song chairs-editors. - Bellingham, Wash. : SPIE-The International society for optical engineering, 1987. - VI, 282 p. : ill. ; 28 cm. - (Proceedings of SPIE-The International society for optical engineering ; v. 794). Atti del congresso tenuto a Bay Point, Florida il 26-27 marzo 1987. ISBN 089252829X 1. Congressi - Bay Point, Fl. - 1987 2. Semiconduttori - Effetti delle radiazioni - Congressi 1987 3. Spettroscopia a laser - Congressi - 1987 4. Strumenti ottici - Applicazione all'industria - Congressi - 1987 I. Glembocki, O.J. II. Song, J.J. III. Pollak, Fred H. 535.84 v-535.84 MOD Modular programming applied to natural language processing : proceedings of the workshop held as part of EUROLAN 2001 Summer School : 30 July - 11 August 2001, Iasi, Romania / edited by Constantin Orasan, Catalina Barbu, Richard Evans. - Wolverhampton : University of Wolverhampton, [2001?]. - [6], 58 p. : diagr. ; 30 cm. 1. Linguaggio - Elaborazione dei dati - Congressi - Iasi - 2001 I. Barbu, Catalina II. Richard, Evans III. Orasan, Constantin 410.285 v-410.285 MOD Monachesi, Paola A lexical approach to italian cliticization / Ulf-Dietrich Reips and Michael Bosnjak (eds.). Stanford, Calif. : CSLI, c1999. - XV, 347 p. : ill. ; 21 cm. - (CSLI lecture notes ; 84). ISBN 1575861089 1. Lingua italiana - Pronomi 455. v-455 MON acq_scienze_1mar11.doc- Pagina 51 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze Mooney, Raymond J. A general explanation-based learning mechanism and its application to narrative understanding / Raymond J. Mooney. - London : Pitman. San Mateo, Calif. : Kaufmann, 1990. - 166 p. : tab. ; 25 cm. - (Research notes in artificial intelligence). ISBN 0273088157 1. Intelligenza artificiale 2. Apprendimento meccanico 006.3 v-006.3 MOO Morgenstern, Leora Foundations of a logic of knowledge, action, and communication / Morgenstern, Leora. Facsim. - Ann Arbor, Mich. : University microfilms international, 1990. - VII, 320 p. ; 21 cm. Thesis (Ph.D.) - New York University, 1988. - Ripr. facs. dal microfilm dell'originale dattiloscritto. 1. Intelligenza artificiale 2. Conoscenza 006.3 v-006.3 MOR Muench, Steve Building Oracle XML application / Steve Muench. - Beijing [etc.] : O'Reilly, c2000. - XVI, 792 p. : ill. ; 24 cm. ISBN 1565926919 1. Elaboratori elettronici - Programma Oracle 2. Elaboratori elettronici - Linguaggio XML 005.72 V-005.72 MUE Multimodal intelligent information presentation / edited by Oliviero Stock and Massimo Zancanaro. Dordrecht : Springer, c2005. - XII, 343 p. : ill. ; 24 cm. - (Text, speech and language technology ; 27). ISBN 1402030509 1. Elaboratori elettronici - Interfaccia utente 2. Linguaggio - Elaborazione elettronica 3. Elaboratori elettronici - Grafica I. Stock, Oliviero II. Zancanaro, Massimo 006.35 v-006.35 MUL Nait Abdallah, Areski The logic of partial information / Areski Nait Abdallah. - Berlin [etc.] : Springer, 1995. - XXV, 715 p. : tab. ; 24 cm. - (EATCS monographs on theoretical computer science). ISBN 3540565833 1. Elaboratori elettronici - Linguaggi - Semantica 2. Logica simbolica 3. Algoritmi 006.33 v-006.33 NAI Napoli, Donna Jo Predication theory : a case study for indexing theory / Donna Jo Napoli. - Cambridge [etc.] : Cambridge university press, 1989. - IX, 369 p. ; 24 cm. - (Cambridge studies in linguistics ; 50). ISBN 0521352983 1. Anafora (Grammatica) 2. Verbi - Tempi 415. v-415 NAP National Conference on Artificial intelligence, 15., Madison, 1998 acq_scienze_1mar11.doc- Pagina 52 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze Proceedings fifteenth National conference on Artificial intelligence (AAAI-98) : tenth Conference on Innovative applications of artificial intelligence (IAAI-98) / Sponsored by the American Associaton for Artificial Intelligence. - Menlo Park, Calif. : AAAI Press. Cambridge, Mass. London : MIT press, c1998. - XXIV, 1218 p. : ill. ; 28 cm. Altro titolo: AAAI-98. - Altro titolo: IAAI-98. ISBN 0262510987 1. Congressi - Madison, Wis. - 1998 2. Intelligenza artificiale - Congressi - 1998 I. American association for artificial intelligence II. Conference on Innovative applications of artificial intelligence, 10., Madison, 1998 III. Tit.: Proceedings fifteenth National conference on Artificial intelligence (AAAI-98) 006.3 v-005.3 NAT National research council. Committee on the possible effect of electromagnetic fields on biologic systems Possible health effects of exposure to residential electric and magnetic fields / Committe on the possible effects of electromagnetic fields on biologic systems, Board on radiation effects research, Commission on life sciences, National research council. - Washington, D.C. : National Academy press, c1997. - XIX, 356 p. : ill. ; 24 cm. Bibliogr.: p. 302-337. ISBN 0309054478 1. Elettromagnetismo - Effetti fisiologici 612.01442 v-612.01442 NAT Neagu, Nicoletta Constraint satisfaction techniques for agent-based reasoning / Nicoletta Neagu. - Basel [etc.] : Birkhäuser, 2005. - X, 157 p. : ill. ; 24 cm. - (Whitestein series in software agent technologies). Bibliogr. : p. [149]-157. ISBN 3764372176 1. Intelligenza artificiale 006.3 v-006.31 NEA Nebel, Bernhard Reasoning and revision in hybrid representation systems / Bernhard Nebel. - Berlin [etc.] : Springer, 1990. - X, 270 p. ; 24 cm. - (Lecture notes in computer science ; 422). Bibliogr.: p. [237]-255. ISBN 0387524436; ISBN 3540524436 1. Conoscenza - Elaborazione dei dati 2. Intelligenza artificiale 006.3 v-006.3 NEB Negri, Matteo La valutazione di moduli nell'elaborazione del linguaggio naturale : problemi e metodi / Relatore: Carla Bazzanella ; Candidato: Matteo Negri. - IV, 202 p. : ill. ; 30 cm. Manoscritto. - Tesi di laurea: Università degli Studi di Torino, Facoltà di Lettere e Filosofia, Tesi di laurea in Filosofia e Linguaggio, a. acc. 1999-2000. 1. Linguaggio - Elaborazione dei dati - Tesi di laurea I. Bazzanella, Carla 410.285 v-410.285 NEG Nijholt, Anton Context-free grammars: covers, normal forms, and parsing / Anton Nijholt. - Berlin [etc.] : Springer, c1980. - VII, 253 p. ; 24 cm. (Lecture notes in computer science ; 93). acq_scienze_1mar11.doc- Pagina 53 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze ISBN 3540102450 1. Linguaggi formali 511.3 v-511.3 NIJ Nilsson, Nils J. Principles of artificial intelligence / Nils J. Nilsson. - Berlin [etc.] : Springer, 1982. - XV, 476 p. : ill. ; 24 cm. - (Symbolic computation. Artificial intelligence). ISBN 0387113401; ISBN 3540113401 1. Intelligenza artificiale 006.3 v-006.3 NIL (03) v-006.3 NIL (04) O'Neill, Shaleph Interactive media: : the semiotics of embodied inetraction / by Shaleph O'Neill. - London : Springer, c2008. - x, 184 p. : ill. ; 24 cm. Bibliogr. ISBN 9781848000353 1. Elaboratori elettronici - Interfaccia utente 2. Uomo e elaboratore elettronico 3. Semiotica 005.437019 v-005.437019 ONE Objects, agents and features : international seminar : Dagstuhl Castle, Germany, February 16-21, 2003 : revised and invited papers / Mark D. Ryan, John-Jules Ch. Meyer, Hans-Dieter Ehrich (eds.). - Berlin [etc.] : Springer, c2004. - [8], 226 p. : ill. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 2975). ISBN 3540219897 1. Elaboratori elettronici - Programmazione orientata agli oggetti - Congressi - Dagstuhl Schloss - 2003 2. Intelligenza artificiale - Congressi - Dagstuhl Schloss - 2003 I. Ehrich, Hans Dieter II. Meyer, John-Jules Ch. III. Ryan, Mark D. 006.3 v-006.3 OBJ The official blender 2.3 guide : free 3D creation suite for modeling, animation and rendering / produced and edited by Ton Roosendaal and Stefano Selleri. - San Francisco, Calif. : No Starch press, c2004. - 768 p. : ill. ; 24 cm + 1 CD-ROM. Segue il tit.: Blender Foundation. ISBN 1593270410 1. Elaboratori elettronici - Impiego nella cinematografia d'animazione 2. Microelaboratori elettronici - Programmi Blender 3. Immagini ottiche tridimensionali - Elaborazione Tecniche digitali 4. Elaboratori elettronici - Grafica I. Roosendaal, Ton II. Selleri, Stefano 006.696 v-006.696 OFF On conceptual modelling : perspectives from artificial intelligence, databases and programming languages / edited by Michael L. Brodie, John Mylopoulos, Joachim W. Schmidt. - 2nd print. - New York, N.Y. [etc.] : Springer, 1986. - XI, 510 p. ; 24 cm. - (Topics in information systems). ISBN 0387908420 1. Archivi di dati - Gestione 2. Intelligenza artificiale 3. Elaboratori elettronici Programmazione 4. Elaboratori elettronici - Modelli di simulazione 006.3 v-006.3 ONC acq_scienze_1mar11.doc- Pagina 54 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze On the move to meaningful internet systems 2002 : coopis, doa and odbase 2002 : confederated international conferences coopis, doa and odbase 2002 : proceedings / Robert Meersman, Zahir Tari ... et al. [eds.]. - Berlin [etc.] : Springer, c2002. - XXIII, 1367 p. : ill. ; 24 cm. (Lecture notes in computer science, ISSN 0302-9743 ; 2519). Altro titolo: CoopIS 2002. ISBN 3540001069 1. Archivi di dati - Elaborazione distribuita - Cooperazione internazionale - Congressi - Irvine, Calif. - 2002 2. Internet (Rete di elaboratori) - Congressi - Irvine, Calif. - 2002 I. Meersman, Robert A. II. Tari, Zahir 005.758 v-005.758 ONT On the move to meaningful internet systems 2004 : OMT federated international conferences CoopIS, DOA and ODBASE 2004 and workshops and posters GADA, JTRES, MIOS, WORM, WOSE, PhDS and INTEROP 2004 : Agia Napa, Cyprus, October 25-29, 2004 : proceedings Robert Meersman, ... (et al.) (eds). - Berlin Heidelberg : Springer, c2004. - 2v. (L, 1648 p. compless.) : ill. ; 24 cm. (Lecture notes in computer science, ISSN 0302-9743 ; 3290 ; 3291). Altro titolo: CoopIS 2004. - Altro titolo: DOA 2004. - Altro titolo: ODBASE 2004. ISBN 3540236627 (2.v.)*; ISBN 3540236635 (1.v.)* 1. Archivi di dati - Elaborazione distribuita - Cooperazione internazionale - Congressi - Agia Napa (Cipro) - 2004 2. Internet (Rete di elaboratori) - Congressi - Agia Napa (Cipro) - 2004 I. Meersman, Robert A. 005.758 v-005.758 ONT (01) (I-II) OntoLex'2 : ontologies and lexical knowledge bases : 27th May 2002 : workshop proceedings / [editors Kiril Simov]. - [S.l. : s.n.], [2002?]. - V, 73 p. : diagr. ; 30 cm. Dati dalla cop. - Secondo sottotit. precede il tit. - Precede il tit.: LRC 2002. 1. Linguaggio - Archivi di dati - Congressi - Las Palmas - 2002 I. Simov, Kiril 410.285 v-410.285 ONT Optical characterization techniques for semiconductor technology / D.E. Aspnes, S.So, R.F. Potter editors. - Ann Arbor, Mich. : University microfilms international, [1982?]. - X, 262 c. : ill. ; 26 cm. - (Proceedings of SPIE-The International society for optical engineering ; 276). Atti del congresso tenuto a San Jose, California il 1-2 aprile 1981. - Verso delle c. bianche. Ripr. facs. da microfilm della 2. print.: Bellingham, Wash. : SPIE, 1982. 1. Congressi - San Jose, Calif. - 1981 2. Semiconduttori - Effetti delle radiazioni - Congressi - 1981 3. Strumenti ottici - Applicazioni all'industria - Congressi - 1981 4. Spettroscopia ottica - Congressi - 1981 I. Aspnes, D.E. II. Potter, Roy F. III. So, Samuel S. 535.84 v-535.84 OPT Orzalesi, Claudio Ricerca e sviluppo negli Stati Uniti / di Claudio Orzalesi. - [S.l. : s.n.], 1985. - 84 p. : graf. ; 28 cm. 1. Ricerca scientifica - Stati Uniti d'America 2. Stati Uniti d'America - Politica scientifica 3. Stati Uniti d'America – Politica tecnologica 507.2073 v-507.2073 ORZ Partial acq_scienze_1mar11.doc- Pagina 55 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze differential equations and related subjects : proceedings of the conference dedicated to Louis Nirenberg / M. Miranda (editor). - Harlow : Longman scientific & technical, 1992. - 256 p. ; 25 cm. - (Pitman research notes in mathematics series). ISBN 0582099269 1. Equazioni alle derivate parziali - Congressi - 1990 2. Congressi - Trento - 1990 I. Miranda, Mario II. Nirenberg, Louis 515.353 v-515.353 PAR Partridge, Derek A. Artificial intelligence : applications in the future of software engineering / D. Partridge. Chichester : Horwood. New York, N.Y. [etc. : Wiley, 1986. - 241 p. : ill. ; 25 cm. - (Ellis Horwood series in artificial intelligence). ISBN 0853127530 1. Elaboratori elettronici - Programmi 2. Intelligenza artificiale 006.3 v-006.3 PAR v-006.3 PAR (01) Pasça, Marius Open-domain question answering from large text collections / Marius Pasça. - Stanford, Calif. : CSLI, 2003. - XIII, 149 p. : ill. ; 23 cm. - (Studies in computational linguistics). Bibliogr.: p. 137-144. ISBN 1575864282 1. Informazione - Recupero - Sistemi 2. Linguistica - Elaborazione dei dati 3. Interrogazione (Grammatica) - Elaborazione dei dati 410.285 v-410.285 PAS Pearl, Judea Heuristics : intelligent search strategies for computer problem solving / Judea Pearl. - repr. with corr. - Reading, Mass. [etc.] : Addison-Wesley, 1985. - XVII, 382 p. ; 24 cm. - (Addison-Wesley series in artificial intelligence). ISBN 0201055945 1. Intelligenza artificiale 2. Programmazione euristica 3. Soluzione di problemi Elaborazione elettronica dei dati 006.3 v-006.3 PEA Peitgen, Heinz-Otto La bellezza dei frattali : immagini di sistemi dinamici complessi / Heinz-Otto Peitgen, Peter H. Richter. - Torino : Bollati Boringhieri, 1987. - XII, 195 p. : ill. ; 29 cm. Tit. orig.: The beauty of fractals : images of complex dynamical systems. dynamical systems. ISBN 8833904202 1. Analisi globale 2. Frattali 3. Insieme di Mandelbrot I. Richter, Peter H. 514. v-514.74 PEI (02) v-514.74 PEI (1) Pereira, Fernando C. N. Prolog and natural-language analysis / Fernando C. N. Pereira and Stuart M. Shieber. Stanford, Calif. : CSLI, c1987. - VIII, 260 p. ; 23 cm. - (CSLI lecture notes ; 10). Bibliogr.: p. 231-244. ISBN 0937073180 1. Elaboratori elettronici - Linguaggio Prolog 2. Linguistica - Elaborazione dei dati I. Shieber, Stuart M. 410.285 acq_scienze_1mar11.doc- Pagina 56 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze v-410.285 PER Picture processing and psychopictorics / edited by Bernice Sacks Lipkin and Azriel Rosenfeld. - New York, N. Y. London : Academic press, 1970. - VIII, 526 p. : ill. ; 24 cm. - (Computer science and applied mathematics). ISBN 0124515509 1. Forma - Percezione 2. Elaboratori elettronici - Grafica 3. Immagini ottiche Elaborazione - Tecniche digitali I. Lipkin, Bernice Sacks II. Rosenfeld, Azriel 006.6 v-006.6 PIC Portuguese conference on Artificial intelligence, 4., Lisboa, 1989 EPIA 89 : 4th Portuguese conference on Artificial intelligence Lisbon, Portugal, September 26-29, 1989 : proceedings / J.P. Martins, E.M. Morgado (eds.). - Berlin [etc.] : Springer, c1989. - XII,400 p. ; 24 cm. - (Lecture notes in computer science ; 390). ISBN 3540516654 1. Intelligenza artificiale - Congressi - 1989 2. Congressi - Lisboa - 1989 I. Martins, Joƒao Pavƒao II. Morgado, Ernesto Marques 006.3 v-006.3 POR Principles and parameters in comparative grammar / edited by Robert Freidin. - Cambridge, Mass. London : MIT press, 1991. - XII, 463 p. ; 24 cm. - (Current studies in linguistics series ; 20). ISBN 0262061406 1. Grammatica comparata I. Freidin, Robert 415. v-415 PRI Principles and practice of constraint programming - CP 2005 : 11th international conference, CP 2005 : Sitges, Spain, October 1-5, 2005 : proceedings / Peter van Beek (Ed.). - Berlin [etc.] : Springer, c2005. - XX, 887 p. : diagr. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 3709). Altro titolo: CP 2005. ISBN 3540292381 1. Dimostrazione automatica di teoremi - Congressi - Sitges - 2005 2. Elaboratori elettronici - Programmazione logica - Congressi - Sitges - 2005 I. Van Beek, Peter II. International conference on principles and practice of constraint programming, 11., Sitges, 2005 005.115 v-005.115 PRI Proceedings of formal grammar 2003 / Gerhard Jäger ... editors [et al.]. - [S.l. : s.n.], 2003. - 201 p. : tab. ; 30 cm. Dati dalla cop. - Atti della 8° conferenza tenuta a Vienna nei giorni 16-17 agosto 2003, in congiunzione con ESSLLI 2003. 1. Grammatica - Modelli matematici - Congressi - Wien - 2003 2. Linguistica - Elaborazione dei dati - Congressi - Wien - 2003 I. Jäger, Gerhard 415.0285 v-415.0285 PRO Proceedings of the student research workshop, demontration abstracts and tutorial abstracts : ACL-02 companion volume to the proceedings of the conference : 7-10 July 2002 University of Pennsylvania Philadelphia, PA, USA / student research workshop chairs Alexander Koller acq_scienze_1mar11.doc- Pagina 57 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Biblioteca Polo di Scienze Sistema Bibliotecario di Trento and Gideon S. Mann ; demonstrations chair Ronnie W. Smith ; tutorials chair Hwee Tou Ng. Menlo Park, Calif. : Association for computational linguistics, c2002. - vi, 126 p. : diagr. ; 28 cm. ISBN 1558608850 1. Linguaggio - Elaborazione dei dati - Congressi - Philadelphia, PA - 2002 I. Koller, Alexander, informatico II. Mann, Gideon S. 410.285 v-410.285 PROC v-410.285 PROC (01) Proceedings of the student research workshop, interactive posters-demonstrations, and tutorial abstracts : ACL-04 companion volume to the proceedings of the conference : 21-26 July, 2004 Barcelona, Spain / [co-chairs Leonoor van der Beek ... et al.]. - Stroudsburg, Pa. : Association for computational linguistics, c2004. - iii, 241 p. : diagr. ; 28 cm. Primo sottotit. precede il tit. - Cur. a pag. [1]. ISBN 1932432337 1. Linguaggio - Elaborazione dei dati - Congressi - Barcelona - 2004 I. Van der Beek, Leonoor 410.285 v-410.285 PRO v-410.285 PRO (01) v-410.285 PRO (02) Production system models of learning and development / edited by David Klahr, Pat Langley and Robert Neches. Cambridge, Mass. London : MIT press, 1987. - XII, 466 p. : graf. ; 24 cm. (Bradford books) (Computational models of cognition and perception). ISBN 0262111144 1. Apprendimento - Teorie 2. Conoscenza - Psicologia 3. Intelligenza - Sviluppo I. Klahr, David II. Neches, Robert III. Langley, Pat 153. v-153 PRO v-DEPO 00983 Progettare col computer : periferiche grafiche e software per la progettazione computerizzata / [realizzato in collaborazione con Benson, sviluppo grafico del pensiero]. - Milano : Minisystems, 1983. - 96 p. : ill. ; 16 cm. Suppl. a: Computer, n. 59. 1. Elaboratori elettronici - Impiego nella progettazione 2. Elaboratori elettronici - Grafica 006.6 v-006.6 PRO Progress in artificial intelligence / editors Luc Steels and J.A. Campbell. - Repr. - Chichester : Horwood, 1986. - 320 p. ; 25 cm. - (Ellis Horwood series in artificial intelligence). ISBN 0853128308 1. Intelligenza artificiale I. Campbell, John Arthur II. Steels, Luc 006.3 v-006.3 PRO Progress in medical radiation physics / edited by Colin G. Orton. - New York, N.Y. London : Plenum press, 1982-1985 copyr. - 2 v.(XIII, 388; XV, 254 p.) : ill. ; 24 cm. ISBN O-306-40713-2 (v.1); 0-306-41789-8 (v.2). 1. Elaboratori elettronici - Impiego in medicina 2. Ingegneria biomedica 3. Radioterapia I. Orton, Colin G. 612.01448 v-612.01448 PROG (I-II) acq_scienze_1mar11.doc- Pagina 58 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze Radford, Andrew Transformational grammar : a first course / Andrew Radford. - Repr. - Cambridge [etc.] : Cambridge university press, 1988. - XII, 625 p. ; 23 cm. - (Cambridge textbooks in linguistics). ISBN 0521347505 1. Grammatica generativa 415. v-415 RAD Rahim, Mazin G. Artificial neural networks for speech analysis-synthesis / Mazin G. Rahim. - London [etc.] : Chapman & Hall, 1994. - XIII, 199 p. ; 24 cm. - (Chapman & Hall neural computing series ; 6). ISBN 0412563703 1. Elaboratori elettronici - Riconoscimento della voce umana 2. Elaboratori elettronici neuronali 006.454 v-006.454 RAH Ramsay, Allan Formal methods in artificial intelligence / Allan Ramsay. - Cambridge [etc.] : Cambridge university press, 1988. - IX, 279 p. ; 26 cm. - (Cambridge tracts in theoretical computer science ; 6). ISBN 0521352363 1. Intelligenza artificiale - Metodi 2. Logica matematica 3. Logica simbolica 006.3 v-006.3 RAM v-006.3 RAM (01) Rauch-Hindin, Wendy B. A guide to commercial artificial intelligence : fundamentals and real-world applications / Wendy B. Rauch-Hindin. - Englewood Cliffs, N.J. : Prentice-Hall, c1988. - XXVI, 523 p. : ill. ; 24 cm. ISBN 0133687708 1. Intelligenza artificiale 2. Sistemi esperti 006.3 v-006.3 RAU Readings in artificial intelligence / a collection of articles by Amarel...[et al.] ; edited by Bonnie Lynn Webber and Nils J. Nilsson. – Los Altos, Calif. : Kaufmann, 1985. - X, 547 p. : ill. ; 29 cm. ISBN 0934613036 1. Intelligenza artificiale - Saggi I. Amarel, Saul II. Nilsson, Nils J. III. Webber, Bonnie Lynn 006.3 v-006.3 READ (05) Readings in planning / edited by James Allen, James Hendler, Austin Tate. - San Mateo, Calif. : Kaufmann, 1990. - XII, 754 p. : tab. ; 28 cm. - (The Morgan Kaufmann series in representation and reasoning). ISBN 1558601309 1. Intelligenza artificiale I. Allen, James F. II. Tate, Austin III. Hendler, James A. 006.3 v-006.3 READ (06) Real acq_scienze_1mar11.doc- Pagina 59 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze world applications of intelligent techonolgies / edited by Hans-Jurgen Zimmermann, Mircea Gh. Negoita, Dan Dascalu. - Bucure¥sti : Editura Academiei Române, 1995. - 229 p. : ill. ; 23 cm. Dal verso del front.: Proceedings of the Workshop Real world applications of intelligent technologies, Mangalia, Romania, September, 1995. ISBN 9732705531 1. Intelligenza artificiale - Applicazioni 2. Sistemi sfocati - Applicazioni I. Dascalu, Dan II. Negoita, Mircea Gh. III. Zimmermann, Hans-Jürgen 511.322 v-511.322 REA Realini, Giancarlo Disegnare col computer / Giancarlo Realini. - Milano : Tecniche nuove, 1983. - 110, [1] p. : ill. ; 24 cm. - (Informatica / [Tecniche nuove]). ISBN 887081114X 1. Elaboratori elettronici - Impiego nel disegno tecnico 2. Elaboratori elettronici - Grafica 006.6 v-006.6 REA Reason maintenance systems and their applications / editors: Barbara Smith and Gerald Kelleher. - Chichester : Horwood, 1988. - VI, 170 p. ; 25 cm. - (Ellis Horwood series in artificial intelligence). ISBN 0745804829 1. Intelligenza artificiale I. Kelleher, Gerald II. Smith, Barbara 006.3 v-006.3 REAS0 Reeves, Byron The media equation : how people treat computers, television and new media like real people and places communicate / Byron Reeves& Clifford Nass. - Stanford, Calif. : CSLI, c2002. XIV, 305 p. ; 24 cm. ISBN 1575860538 1. Comunicazioni di massa - Ascolto 2. Comunicazioni di massa - Aspetti psicologici I. Nass, Clifford 302.23 v-302.23 REE v-302.23 REE (01) Roberts, Edward Baer Entrepreneurs in high technology : lessons from MIT and beyond / Edward B. Roberts. - New York, N.Y. Oxford : Oxford university press, 1991. - XII, 385 p. : tab. ; 25 cm. ISBN 0195067045 1. Aziende industriali - Innovazione tecnologica - Boston, Mass. 2. Imprenditori - Boston, Mass. - Sec.20. 3. Massachusetts institute of technology 338.476200097446 v-338.4762 ROB Roberts, Ian G. The representation of implicit and dethematized subjects / Ian G. Roberts. - Dordrecht Providence : Foris, 1987. - IX, 300 p. ; 24 cm. - (Linguistic models / [Foris] ; 10). ISBN 9067653012 1. Grammatica generativa 2. Lingua inglese - Sintassi - Forma passiva 415. v-415 ROB Roosendaal, Ton acq_scienze_1mar11.doc- Pagina 60 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze The official blender gamekit : interactive 3-D for artists / edited by Ton Roosendaal and Carsten Wartmann. - San Francisco, Calif. : No Starch press, c2003. - xix, 335 p. : ill. ; 24 cm + 1 CD-ROM. ISBN 1593270046 1. Elaboratori elettronici - Impiego nella cinematografia d'animazione 2. Microelaboratori elettronici - Grafica 3. Microelaboratori elettronici - Programmi Blender 4. Immagini ottiche tridimensionali - Elaborazione - Tecniche digitali I. Wartmann, Carsten 006.696 v-006.696 ROS Rosing, Michael Implementing elliptic curve cryptography / Michael Rosing. - Greenwich, Conn. : Manning, c1999. - XIV, 313 p. : ill. ; 23 cm. ISBN 1884777694 1. Crittografia (Informatica) 2. Elaboratori elettronici - Sicurezza di funzionamento 3. Curve ellittiche - Elaborazione dei dati 005.82 v-005.82 ROS Rothwell, John D. Control of human voluntary movement / John Rothwell. - 2. ed. - London [etc.] : Chapman & Hall, 1994. - VII, 506 p. : ill. ; 24 cm. ISBN 0412477009 1. Apparato locomotore - Fisiologia 2. Attività muscolare - Fisiologia 612.76 v-612.76 ROT Russell, Stuart Jonathan Do the right thing : studies in limited rationality / Stuart Russell and Eric Wefald. - Cambridge, Mass. London : MIT press, 1991. - XX, 200 p. : tab. ; 24 cm. - (Artificial intelligence). Bibliogr.: p. [187]-194. ISBN 0262181444 1. Intelligenza artificiale 2. Ragionamento I. Wefald, Eric 006.3 V-006.3 RUSS Salce, Luigi Lezioni sulle matrici : teoria degli autosistemi e sue applicazioni con argomenti avanzati di teoria delle matrici / Luigi Salce. – Padova : Decibel. Bologna : Zanichelli, 1993. - VIII, 198 p. ; 25 cm. ISBN 8808102203 1. Matrici (Matematica) 512.9434 v-512.9434 SAL Sanchis, Luis E. Reflexive structures : an introduction to computability theory / Luis E. Sanchis. - New York, N.Y. [etc.] : Springer, 1988. - XII, 233 p. ; 24 cm. ISBN 0387967281 1. Funzioni computabili 2. Funzioni ricorsive 511.3 v-511.3 SAN Scalise, Sergio Generative morphology / Sergio Scalise. - 2nd ed. - Dordrecht Riverton : Foris, 1986. - X, 237 p. ; 24 cm. - (Studies in generative grammar ; 18). ISBN 9067650897 acq_scienze_1mar11.doc- Pagina 61 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze 1. Grammatica generativa 415. v-415 SCA (01) Scandinavian conference on artificial intelligence, Tromso, 1988 Scandinavian conference on artificial intelligence : proceedings of the SCAI '88, Tromsø, Norway, 9-11 March 1988 / Thore Danielsen, editor. - Amsterdam Springfield, Va. : IOS, 1988. - X, 381 p. ; 24 cm. ISBN 9051990030 1. Congressi - Tromsø - 1988 2. Intelligenza artificiale - Congressi - 1988 I. Danielsen, Thore 006.3 v-006.3 SCA (01) Scandinavian conference on artificial intelligence, 3., Roskilde, 1991 Scandinavian conference on Artificial intelligence-91 : Odin's ravens : proceedings of the SCAI'91 : Roskilde, Denmark : 21-24 May 1991 / edited by B. Mayoh. - Amsterdam [etc.] : IOS, 1991. - [6], 339 p. : ill. ; 24 cm. - (Frontiers in artificial intelligence and applications). ISBN 9051990561 1. Congressi - Roskilde - 1991 2. Intelligenza artificiale - Congressi - 1991 I. Mayoh, Brian 006.3 v-006.3 SCA Schmucker, Kurt J. Fuzzy sets, natural language computations, and risk analysis / Kurt J. Schmucker ; foreword by Lofti A. Zadeh. - Rockville, Md. : Computer science press, 1984 copyr. - XV, 192 p. : ill. ; 24 cm. ISBN 0914894838 1. Insiemi sfocati 2. Rischi 3. Linguaggio - Elaborazione dei dati 511.322 v-511.322 SCH Schütte, Kurt Proof theory / Kurt Schutte ; translation from the German by J.N. Crossley. - Berlin [etc.] : Springer, 1977. - XII, 302 p. ; 25 cm. - (Grundlehren der mathematischen Wissenschaften ; 225). Translation of the revised version of: Beweistheorie. - Tit. orig.: Beweistheorie. ISBN 3540079114 1. Teoria della dimostrazione 2. Logica matematica 511.3 v-511.3 SCHU v-511.3 SCHU (01) Scientific conference Artificial intelligence in industry from theory to practice, Vysoke Tatry, 1998 Proceedings of the scientific conference Artificial intelligence in industry from theory to practice and 3rd SQEL workshop on Multi-Lingual information retrieval dialogs : April 22-24, 1998 : High Tatras, Slovakia / editors: Jan Sarnovsky ... [et al.]. - Kosice : Technical University of Kosice, 1998. - [12], 479 p. : ill. ; 24 cm. In testa al front.: Technical University of Kosice. Department of cybernetics and artificial intelligence. ISBN 8088786835 1. Intelligenza artificiale - Impiego nell'industria - Congressi - Košsice - 1998 I. Sarnovsky, Jan II. SQEL workshop on Multi-Lingual information retrieval dialogs, 3., Vysoke Tatry, 1998 338.470063 v-338.47 SCI acq_scienze_1mar11.doc- Pagina 62 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze Scuola internazionale di fisica Enrico Fermi Physics with many positrons : proceedings of the international school of physics "Enrico Fermi" : course CLXXIV : Varenna on Lake Como : Villa Monastero : 7 - 17 July 2009 / edited by A. Dupasquier and A.P. Mills directors of the course and R.S. Brusa. – Amsterdam [etc.] : IOS, 2010. - XX, 598 p. : ill. ; 25 cm. - (Rendiconti della Scuola internazionale di fisica Enrico Fermi = Proceedings of the International school of physics Enrico Fermi ; 174). In testa al front.: Italian physics society. - I compl. del tit. precedono il tit. - Altro front. in it. Bibliogr. ISBN 9781607506461 1. Positroni - Congressi - Varenna - 2009 I. Brusa, Roberto S. II. Dupasquier, Alfredo III. Mills, Allen P., jr. IV. Società italiana di fisica 539.7214 v-539.7214 SCU (02) Selman, Daniel Java 3D programming / Daniel Selman. - Greenwich, Conn. : Manning, c2002. - XXIII, 376 p. : ill. ; 24 cm. ISBN 1930110359 1. Elaboratori elettronici - Grafica 2. Elaboratori elettronici - Linguaggio Java 005.133 V-005.133 SEL Shastri, Lokendra Semantic networks: an evidential formalization and its connectionist realization / Lokendra Shastri. - London : Pitman. Los Altos, Calif. : Kaufmann, 1988. - 222 p. ; 25 cm. - (Research notes in artificial intelligence). ISBN 0273087797 1. Elaborazione dei dati in tempo reale 2. Intelligenza artificiale 3. Ragionamento 006.3 v-006.3 SHAS Shavlik, Jude W. Extending explanation-based learning by generalizing the structure of explanations / Jude W. Shaavlik. - London : Pitman. San Mateo, Calif. : Kaufmann, 1990. - 219 p. ; 24 cm. (Research notes in artificial intelligence). ISBN 0273088173; ISBN 1558601090 1. Intelligenza artificiale 2. Soluzione di problemi - Elaborazione elettronica dei dati 006.3 v-006.3 SHAV Shoenfield, Joseph R. Mathematical logic / Joseph R. Shoenfield. - Reading, Mass. [etc.] : Addison-Wesley, c1967. - VII, 343 p. ; 24 cm. - (Addison-Wesley series in logic). ISBN 0201070286 1. Logica matematica 511.3 v-511.3 SHO (02) SIGLEX 99 : standardizing lexical resources : proceedings of a workshop : June 21-22 1999 : University of Maryland, College Park, Maryland, USA. - College Park, Md. : University of Maryland, 1999. - 97 p., [4] c. di tav. : ill. ; 28 cm. Dati dalla cop. 1. Congressi - College Park, Md. - 1999 2. Lessico - Elaborazione dei dati - Congressi 1999 3. Linguaggio - Archivi di dati - Congressi - 1999 I. Association for Computational Linguistics. Special interest group II. National science foundation acq_scienze_1mar11.doc- Pagina 63 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze 413.028 v-413.028 SIG Sippu, Seppo Parsing theory / Seppo Sippu, Eljas Soisalon-Soininen. - Berlin [etc.] : Springer, 1988-1990. 2 v. ; 25 cm. - (EATCS monographs on theoretical computer science ; 15.20). 1 : Languages and parsing. - VIII, 228 p. 2 : LR(k) and LL(k) parsing. - VIII, 426 p. ISBN 0387137203 (1.v.)*; ISBN 0387517324 (2.v.)* 1. Elaboratori elettronici - Linguaggi 2. Linguaggio - Elaborazione dei dati 3. Linguaggi formali I. Soisalon-Soininen, Eljas 511.3 v-511.3 SIPP (I-II) Sklansky, Jack Pattern classifiers and trainable machines / Jack Sklansky, Gustav N. Wassel. - New York, N.Y. [etc.] : Springer, 1981 copyr. - XI, 335 p. : ill. ; 25 cm. ISBN 0387904352 1. Forma - Riconoscimento - Sistemi I. Wassel, Gustav N. 621.399 v-621.399 SKL Society for the study of artificial intelligence and the simulation of behaviour AISB 91 : proceedings of the eighth conference of the Society for the study of artificial intelligence and simulation of behaviour / edited by Luc Steels and Barbara Smith. - London [etc.] : Springer, c1991. - XII, 265 p. : ill. ; 24 cm. ISBN 3540196714 1. Congressi - Leeds - 1991 2. Elaboratori elettronici - Modelli di simulazione - Congressi 1991 3. Intelligenza artificiale - Congressi - 1991 I. Smith, Barbara II. Steels, Luc 006.3 v-006.3 SOC Soft computing agents : new trends for designing autonomous systems / Vincenzo Loia, Salvatore Sessa editors. - Heidelberg New York, N.Y. : Physica-Verlag, c2001. - VIII, 220 p. : ill. ; 24 cm. - (Studies in fuzziness and soft computing ; 75). ISBN 3790814040 1. Intelligenza artificiale - Elaborazione distribuita 2. Sistemi esperti - Progettazione I. Loia, Vincenzo II. Sessa, Salvatore 006.3 v-006.3 SOF (01) Sombé, Léa Reasoning under incomplete information in artificial intelligence : a comparison of formalisms using a single example / Léa Sombé. - New York, N.Y. [etc.] : Wiley, 1990. - 324-472 p. ; 26 cm. - (Wiley professional computing). Num. speciale di: International journal of intelligent systems. V. 5, n. 4 (1990). ISBN 0471529796 1. Intelligenza artificiale 2. Ragionamento 006.3 v-006.3 SOM Soušcek, Branko Fast learning and invariant object recognition : the sixth-generation breakthrough / Branko Soucek and The Iris Group. - New York, N.Y. [etc.] : Wiley, 1992. - XIII, 279 p. : ill. ; 24 cm. (Sixth-generation computer technology series). ISBN 0471574309 acq_scienze_1mar11.doc- Pagina 64 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze 1. Immagini ottiche - Elaborazione - Tecniche digitali 2. Apprendimento meccanico I. IRIS group 006.37 v-006.37 SOU Sowa, John F. Conceptual structures : information processing in mind and machine / John F. Sowa. Reading, Mass. [etc.] : Addison-Wesley, 1983. - XIV, 481 p. : tab. ; 24 cm. ISBN 0201144727 1. Conoscenza - Elaborazione dei dati 2. Intelligenza artificiale 3. Sistemi esperti 006.35 v-006.35 SOW Spectroscopic characterization techniques for semiconductor technology / Fred H. Pollak, Robert S. Bauer chairmen-editors. - Facsim. - Ann Arbor, Mich. : University microfilms international, [1984?]. VI, 203 p. : graf. ; 27 cm. - (Proceedings of SPIE-The International society for optical engineering ; 452). Atti del congresso tenuto a Cambridge, Massachusetts il 9-10 novembre 1983. - Ripr. facs. da microfilm dell'ed.: Bellingham, Wash. : SPIE, 1983. 1. Congressi - Cambridge, Mass. - 1983 2. Spettroscopia raman - Congressi - 1983 3. Semiconduttori - Effetti delle radiazioni - Congressi - 1983 I. Bauer, Robert S. II. Pollak, Fred H. 535.84 v-535.84 SPE (05) Spectroscopic characterization techniques for semiconductor technology II / Fred H. Pollak chairmanneditor. - Bellingham, Wash. : SPIE-The International society for optical engineering, 1985. VI, 169 p. : graf. ; 28 cm. - (Proceedings of SPIE-The International society for optical engineering ; v. 524). Atti del congresso tenuto a Los Angeles, California il 21-22 gennaio 1985. 1. Congressi - Los Angeles, Calif. - 1985 2. Spettroscopia raman - Congressi - 1985 3. Semiconduttori - Effetti delle radiazioni - Congressi - 1985 I. Pollak, Fred H. 535.84 v-535.84 SPE (01) Speech and natural language : proceedings of a workshop held at Hidden Valley, Pennsylvania, June 24-27, 1990... - [S.l.] : Defense advanced research projects agency. Information science and technology office, [1990?]. - X, 425 p. : ill ; 28 cm. ISBN 1558601570 1. Congressi - Hidden Valley, Pa. - 1990 2. Linguaggio - Elaborazione elettronica Congressi - 1990 006.35 v-006.35 SPE Speech input and output assessment : multilingual methods and standards / editors: A. Fourcin... [et al.]. - Chichester : Horwood, 1989. - 290 p. ; 25 cm. - (Ellis Horwood books in information technology). Bibliogr.: p. [239]-271. ISBN 0745806511 1. Elaboratori elettronici - Sintesi della voce umana 2. Linguaggio - Elaborazione dei dati I. Fourcin, Adrian 006.54 v-006.54 SPE acq_scienze_1mar11.doc- Pagina 65 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze Speech recognition : invited papers presented at the 1974 IEEE symposium / edited by D. Ray Reddy. - New York, N.Y. [etc.] : Academic press, 1975. - XIII, 542 p. : tab. ; 24 cm. ISBN 0125845502 1. Congressi - Pittsburgh, Pa. - 1974 2. Elaboratori elettronici - Riconoscimento della voce umana - Congressi - 1974 I. Reddy, Dabbala Rajagopal 006.454 v-006.454 SPE Spinuzzi, Clay Tracing genres through organizations : a sociocultural approach to information design / Clay Spinuzzi. - Cambridge, Mass. London : MIT press, c2003. - xi, 246 p. : ill. ; 24 cm. - (Acting with technology). Bibliogr.: p. [229]-240. ISBN 0262194910 1. Comunicazione e design 2. Informazione - Tecnologia 303.4833 v-303.4833 SPI Sproat, Richard Morphology and computation / Richard Sproat. - Cambridge, Mass. London : MIT press, 1992. - XV, 295 p. ; 24 cm. - (ACL-MIT press series in natural language processing). ISBN 0262193140 1. Grammatica comparata - Morfologia 2. Grammatica comparata - Morfologia Elaborazione elettronica 415. v-415 SPR Starting AI researchers' symposium, 3., Riva del Garda, 2006 STAIRS : proceedings of the third starting AI researcher's symposium / edited by Loris Penserini, Pavlos Peppas and Anna Perini. - Amsterdam [etc.] : IOS, c2006. - vii, 277 p. : diagr.. ; 25 cm. - (Frontiers in artificial intelligence and applications, ISSN 0922-6389 ; 142). ISBN 1586036459 1. Intelligenza artificiale - Congressi - Riva del Garda - 2006 I. Penserini, Loris II. Perini, Anna III. Peppas, Pavlos 006.3 v-006.3 STAR v-006.3 STAR (01) Statistical machine translation : proceedings of the workshop : 8-9 June 2006, New York City, USA. [s.l.] : Association for computational linguistics, c2006. - xii, 171 p. : graf. ; 28 cm. In testa al front.: HLT-NAACL 06. - Nome della conf. dalla pref. - Altro titolo: WMT-06. 1. Traduzione automatica - Metodi statistici - Congressi - New york, N.Y. - 2006 I. Workshop on statistical machine translation, New York, N.Y, 2006 II. Tit.: Statistical machine translation 418.020285 v-418.0202 STA Statistically-driven computer grammars of english: the IBM/Lancaster approach / editors: Ezra Black ... [et al.]. Amsterdam Atlanta, Ga. : Rodopi, 1993. - IX, 248 p. ; 22 cm. - (Language and computers ; 8). ISBN 9051834780 1. Discorso - Analisi - Elaborazione dei dati 2. Lingua inglese - Grammatica - Elaborazione dei dati I. Black, Ezra 425.0285 acq_scienze_1mar11.doc- Pagina 66 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze v-425.0285 STA Stein, Borge Managing enterprise systems with the windows script host / Stein Borge. - Berkeley, Calif. : Apress, c2002. - XIX, 792, 92 p. : ill. ; 24 cm. - (The expert's voice). ISBN 1893115674 1. Microelaboratori elettronici - Sistema operativo Windows 005.3684 v-005.3684 STE Stern, August Matrix logic and mind : a probe into a unified theory of mind and matter / August Stern. Amsterdam [etc.] : North-Holland. Amsterdam [etc.] : Elsevier, 1992. - XI, 290 p. ; 25 cm. ISBN 0444887989 1. Matrici (Matematica) 2. Logica 511.3 v-511.3 STE (01) Stoltenberg-Hansen, Viggo Mathematical theory of domains / Viggo Stoltenberg-Hansen. - Cambridge [etc.] : Cambridge university press, 1994. - XII, 349 p. ; 26 cm. - (Cambridge tracts in theoretical computer science). ISBN 0521383447 1. Analisi numerica 2. Informatica - Matematica 3. Approssimazioni - Teoria 511.3 v-511.3 STOLT Studi sociali della tecnologia : metodologie integrate di valutazione / Leonardo Cannavò ... [et al.] ; a cura di Leonardo Cannavò. - Roma : Euroma, 1991. - 207 p. ; 23 cm. Bibliogr.: p.[195]-207. 1. Tecnologia - Aspetti socio-economici I. Cannavò, Leonardo 303.483 v-303.483 STU Sundblad, Sten Creare applicazioni scalabili con microsoft windows DNA / Sten Sundblad, Per Sundblad. XX, 443 p. : ill. ; 24 cm + 1 CD-ROM. - (Programming series). In testa al front.: Microsoft. - Tit. orig.: Designing for scalability with microsoft windows DNA. Tit. orig.: Designing for scalability with microsoft windows DNA. ISBN 888331123X 1. Elaborazione elettronica dei dati - Elaborazione distribuita 2. Microelaboratori elettronici Sistema operativo Windows I. Sundblad, Per 005.44769 v-005.44769 SUN Surfaces and superposition / Ernest W. Adams ; foreword by Patrick Suppes. - Milano : CSM, c2001. - XXI, 310 p. : ill. ; 23 cm. Bibliogr.: p. 295-300. ISBN 1575862808 1. Geometria I. Adams, Ernest Wilcox 516. v-516 ADA Sviluppo acq_scienze_1mar11.doc- Pagina 67 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze industriale ricerca scientifica e nuove tecnologie : una guida per le imprese ai finanziamenti agevolati / a cura di Gianni Campi. - [S.l. : s.n.], 1985 (Bologna : Compass). - 210 p. ; 24 cm. - (Studi e documentazione / CERES ; 15). In testa al front.: Unione regionale Camere di commercio dell'Emilia-Romagna; CERES. - Il sottotit. precede il tit. 1. Aziende industriali - Innovazione tecnologica - Finanziamenti pubblici - Guide 2. Ricerca industriale - Finanziamenti pubblici - Guide I. Campi, Gianni II. Centro ricerche economiche e sociali III. Unione regionale delle Camere di commercio industria artigianato e agricoltura dell'Emilia Romagna v-343.450742 SVI Symposium on Metaphor, artificial intelligence and cognition, Edinburgh, 1999 Proceedings of the AISB '99 Symposium on Metaphor, artificial intelligence and cognition. [S.l.] : The Society for the Study of Artificial Intelligence and Simulation of Behaviour, 1999. IV, 157 p. : ill. ; 30 cm. In testa al front.: AISB '99 convention : 6th-9th April 1999, Edinburgh College of art & division of informatics, University of Edinburgh. - Altro titolo: AISB '99 convention. ISBN 1902956060 1. Congressi - Edinburgh - 1999 2. Metafora - Congressi - 1999 401. v-401 SYM Symposium on the Integration of symbolic computation and mechanized reasoning, 8., St. Andrews, 2000 Calculemus-2000 : 8th symposium on the Integration of symbolic computation and mechanized reasoning : 6-7 August 2000 : St Andrews, Scotland / Manfred Kerber and Michael Kohlhase (eds.). - Birmingham : Kerber, 2000. - VIII, 259 p. : tab. ; 21 cm. Descrizione basata sull'ed. preliminare distribuita ai partecipanti. 1. Algebra - Elaborazione dei dati - Congressi - Saint Andrews - 2000 2. Dimostrazione automatica di teoremi - Congressi – Saint Andrews - 2000 I. Kerber, Manfred II. Kohlhase, Michael 511.3028551 v-511.302855 CAL (01) Tanimoto, Steven L. The elements of artificial intelligence : an introduction using Lisp / Steven L. Tanimoto. Rockville, Md. : Computer science press, 1987. - XXII, 530 p. ; 24 cm. - (Principles of computer science series ; 11). ISBN 0881751138 1. Elaboratori elettronici - Linguaggio Lisp 2. Intelligenza artificiale - Elaborazione dei dati 006.3 V-006.3 TANI Techniques for 3-D machine perception / edited by Azriel Rosenfeld. - Amsterdam [etc.] : North-Holland, 1986. - VIII, 320 p. : tab. ; 23 cm. - (Machine intelligence and pattern recognition ; 3). ISBN 0444879013 1. Forma - Riconoscimento - Sistemi 2. Immagini ottiche - Elaborazione - Tecniche digitali 3. Elaboratori elettronici - Grafica I. Rosenfeld, Azriel 006.37 v-006.37 TEC Term graph rewriting : theory and practice / edited by M.R. Sleep and M.J. Plasmeijer and M.C.J.D. van Eekelen. - Rist. anast. – Ann Arbor, Mich. : UMI, 2003. - XIV, 385 p. : ill. ; 25 cm. Ripr. facs. dell'ed.: Chichester : Wiley, 1993. acq_scienze_1mar11.doc- Pagina 68 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze ISBN 0471935670 1. Linguaggi formali 2. Teoria dei grafi 3. Logica matematica I. Plasmeijer, M.J. II. Sleep, M.R. III. Van Eekelen, M.C.J.D. 005.131 v-005.131 TER Theoretical issues in natural language processing / Yorick Wilks editor. - Hillsdale, N.J. London : Erlbaum, Lawrence, Associates, 1989. - XIX, 243 p. : tab. ; 23 cm. ISBN 0805801847 1. Linguaggi formali 2. Linguaggio - Elaborazione dei dati I. Wilks, Yorick 006.35 v-006.35 THE Thistlewaite, Paul B. Automated theorem-proving in non classical logics / Paul B. Thistlewaite, Michael A. McRobbie and Robert K. Meyer. - London : Pitman. New York : Wildenstein, 1988. - 154 p. ; 25 cm. - (Research notes in theoretical computer science). ISBN 0273087819 1. Dimostrazione automatica di teoremi 2. Prova (Matematica) 3. Logica matematica I. McRobbie, Michael A. II. Meyer, Robert K. 511.3 v-511.3 THI Time warps, string edits, and macromolecules : the theory and practice of sequence comparison / edited by David Sankoff and Joseph B. Kruskal. - Reading, Mass. [etc.] : Addison-Wesley, 1983. - XII, 382 p. ; 24 cm. ISBN 0201078090 1. Biologia molecolare - Modelli matematici 2. Algoritmi 3. Linguaggio - Elaborazione dei dati 4. Sequenze I. Kruskal, Joseph B. II. Sankoff, David 515.24 v-515.24 TIM Toffoli, Tommaso Cellular automata machines : a new environment for modeling / Tommaso Toffoli, Norman Margolus. - 3. print. - Cambridge, Mass. London : MIT press, 1988. - IX, 259 p. : ill. ; 24 cm. (Mit press series in scientific computation). ISBN 0262200600 1. Automi cellulari I. Margolus, Norman 006.3 v -006.3 TOFF Tomita, Masaru Efficient parsing for natural language : a fast algorithm for practical systems / by Masaru Tomita. - Boston, Mass. [etc.] : Kluwer academic, 1985. - XVIII, 201 p. : tab. ; 24 cm. - (The Kluwer international series in engineering and computer science. Natural language processing and machine translation). ISBN 0898382025 1. Elaboratori elettronici - Linguaggi - Semantica 2. Linguistica - Elaborazione dei dati 3. Algoritmi 4. Grammatica generativa 006.35 v-006.35 TOM Topological acq_scienze_1mar11.doc- Pagina 69 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze foundations of cognitive science : papers from the Workshop at the FISI-CS, Buffalo, NY, July 9-10, 1994 / Carola Eschenbach, Christopher Habel & Barry Smith. - [S.l. : s.n.], 1994. 195 p. ; 30 cm. - (Kognitionswissenschaft ; 37/1994). 1. Congressi - Buffalo, N.Y. - 1994 2. Conoscenza - Psicologia - Congressi - 1994 3. Topologia - Congressi - 1994 I. Eschenbach, Carola 153. v-153 TOP Tovena, Lucia M. The fine structure of polarity sensivity / Lucia M. Tovena. - New York, N.Y. London : Garland, 1998. - XI, 293 p. tab. ; 23 cm. - (Outstanding dissertations in linguistics). Bibliogr.: p. 275-287. ISBN 0815331339 1. Grammatica comparata - Sintassi 2. Semantica 415. v-415 TOV Towards a research infrastructure for language resources : W01 : satellite workshop : Monday 22nd May 2006 "Magazzini del Cotone" Conference Center, Genova, Italy / Editor Peter Wittenburg. - [S.l. : s.n.], [2006?]. - IV, 41 p. ; 30 cm. Il sec. e terzo sottotit. precedono il tit. - Workshop tenuto all'interno di LREC 2006. 1. Linguaggio - Archivi di dati - Congressi - Genova - 2006 I. Wittenburg, Peter 410.285 v-410.285 TOW Trust in cyber-societies : integrating the human and artificial perspectives / Rini falcone, Munindar Singh, Yao-Hua tan (eds.). – Berlin [etc.] : Springer, c2001. - VIII, 194 p. : ill. ; 24 cm. (Lecture notes in computer science ; 2246). Bibliogr.: p. 193-194. ISBN 3540430695 1. Crittografia (Informatica) 2. Fiducia (Sociologia) - Modelli matematici 3. Reti di elaboratori - Sicurezza di funzionamento I. Falcone, Rino II. Tan, Yao-Hua III. Singh, Munindar Paul 005.82 v--005.82 TRU Turchetti, Stefano Riconoscimento automatico della voce su voice over IP : impiego del Codec G.723.1 / laureando: Stefano Turchetti ; relatore: prof. Gian Antonio Mian ; correlatori: Ing. Daniele Falavigna, Dott. Marco Matassoni. - II, 65 p. ; 30 cm. Manoscritto. - Tesi di Laurea - Università degli studi di Padova, Facoltà di Ingegneria, Dipartimento di elettronica e informatica, a. acc. 2002-2003. 1. Elaboratori elettronici - Riconoscimento della voce umana - Tesi di laurea 006.454 v-006.454 TUR Tutorial and research workshop ADS, Irsee, 2004 Affective dialogue systems : tutorial and research workshop, ADS 2004 : Kloster Irsee, Germany, June 2004 : proceedings / Elisabeth André ... [et al]. - Berlin [etc.] : Springer, c2004. - XVII, 356 p. : diagr. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 3068). ISBN 3540221433 1. Dialogo - Aspetti psicologici - Elaborazione dei dati - Congressi - Irsee - 2004 2. Elaboratori elettronici - Interfaccia utente - Congressi - Irsee - 2004 3. Emozione acq_scienze_1mar11.doc- Pagina 70 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze Espressione linguistica - Elaborazione dei dati - Congressi - Irsee - 2004 I. Andre, Elisabeth II. Lespérance, Yves III. Tit.: Affective dialogue systems IV. Tit.: ADS 2004 006. v-006.3 TUT Understanding spoken language / Donald E. Walker, editor ; with contribution by Barbara J. Grosz. - New York, N.Y. [etc] : North-Holland, 1978. - XVII, 410 p. : tab. ; 24 cm. - (Artificial intelligence series) (The computer science library). ISBN 0444002723 1. Conversazione - Ricerche - Saggi 2. Linguistica - Elaborazione dei dati 3. Intelligenza artificiale 4. Elaboratori elettronici - Linguaggi - Semantica I. Grosz, Barbara J. II. Walker, Donald E. 006.35 v-006.35 UND Van Vlack, Lawrence H. Tecnologia dei materiali / di Lawrence H. Van Vlack. - Milano : Edizioni scientifiche e tecniche Mondadori, 1976. - 431 p. : ill. ; 21 cm. - (Biblioteca della EST). Tit. orig.: Materials technology. - Tit. orig.: Materials technology. 1. Materiali 620.1 v -620.1 VLA Verbal aspect in discourse : contributions to the semantics of time and temporal perspective in slavic and non-slavic languages / edited and introduced by Nils B. Thelin. - Amsterdam Philadelphia, Pa. : Benjamins, 1990. - XVIII, 460 p. ; 23 cm. - (Pragmatics and beyond. New series ; 5). ISBN 902725012X 1. Discorso - Analisi 2. Grammatica comparata - Tempi I. Thelin, Nils B. 415. v-415 VER Vernesoni, Fabrizio Tecniche di comprensione del parlato in domini ristretti / relatore : dott. Marcello Federico ; correlatore : prof. Ugo Moscato ;laureando : Fabrizio Vernesoni. - XII, 137 c. ; 30 cm. Manoscritto. - Verso delle c. bianco. - Dattiloscritto. - Tesi di laurea. - Università degli studi di Milano. Facoltà di scienze matematiche, fisiche e naturali. Corso di laurea in Scienze dell'informazione, a. acc. 1993-94. 1. Elaboratori elettronici - Riconoscimento della voce umana - Tesi di laurea 006.454 v-006.454 VER Viega, John Building secure software : how to avoid security problems the right way / John Viega, Gary McGraw. - Boston, Mass. [etc.] : Addison-Wesley, c2002. - XXX, 493 p. : diagr. ; 24 cm. (Addison-wesley professional computing series). Bibliogr.: p. 465-470. ISBN 020172152X 1. Software - Sviluppo 2. Elaboratori elettronici - Sicurezza di funzionamento I. MMcGraw, Gary 005.1 v-005.1 VIE v-005.1 VIE (01) v-CORSO INF 023 Vigolo, Elena acq_scienze_1mar11.doc- Pagina 71 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze Metodi di correzione di dati georiferiti con applicazione all'epidemiologia / relatori: prof. Andrea Pugliese, dott. Cesare Furlanello ; correlatore: prof. Mimmo Iannelli ; laureanda: Elena Vigolo. - VIII, 103 p. : ill. ; 30 cm. Manoscritto. - Verso delle c. bianco. - Dattiloscritto. - Tesi di laurea - Università degli studi di Trento, Facoltà di scienze matematiche fisiche e naturali, a. acc. 1999-2000. 1. Aborto - Trentino - 1997-1999 - Dati statistici - Tesi di laurea 2. Analisi dei dati - Metodi statistici - Tesi di laurea 3. Algoritmi - Tesi di laurea 519.5 v-519.5 VIG Villani, Vinicio Cominciamo da zero : domande, risposte e commenti per saperne di più sui perché della matematica (aritmetica e algebra) / Vinicio Villani. - Bologna : Pitagora, c2003. - iii, 216 p. : diagr. ; 24 cm. - (Complementi di matematica per l'indirizzo didattico ; 12). ISBN 8837114060 1. Algebra 2. Aritmetica 513.12 v-513.12 VIL v-CORSO MAT 234 Virga, Pietro Il pubblico impiego dopo la privatizzazione / Pietro Virga. - 2. ed. riveduta ed aggiornata. Milano : Giuffrè, 1995. - IX, 260 p. ; 24 cm. ISBN 881405133X 1. Impiego pubblico - Diritto 342.45068 v-342.4506 VIR Vision, brain, and cooperative computation / edited by Michael A. Arbib and Allen R. Hanson. - 2. print. - Cambridge, Mass. London : MIT press, 1988. - XI, 730 p. : ill. ; 24 cm. - (Bradford books) (Computational models of cognition and perception). ISBN 0262010941 1. Forma - Riconoscimento - Sistemi 2. Psicofisica 3. Intelligenza artificiale 4. Percezione visiva I. Arbib, Michael Anthony II. Hanson, Allen R. 612.84 v-612.84 VIS (01) Visual languages and applications / edited by Tadao Ichikawa, Erland Jungert and Robert R. Korfhage. - New York, N.Y. London : Plenum press, 1990. - X, 352 p. : ill. ; 24 cm. (Languages and information systems). ISBN 030643427X 1. Elaboratori elettronici - Linguaggi 2. Immagini ottiche - Elaborazione - Tecniche digitali I. Ichikawa, Tadao II. Jungert, Erland III. Korfhage, Robert R. 006.66 v-006.66 VIS Visual languages and visual programming / edited by Shi-Kuo Chang. - New York, N.Y. London : Plenum press, 1990. - XIV, 340 p. ; 24 cm. - (Languages and information systems). ISBN 0306434288 1. Elaboratori elettronici - Linguaggi 2. Immagini ottiche - Elaborazione - Tecniche digitali I. Chang, Shi-Kuo 006.66 v-006.66 VISU Waldrop, Morris Mitchell acq_scienze_1mar11.doc- Pagina 72 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze Man-made minds : the promise of artificial intelligence / M. Mitchell Waldrop. - New York, N.Y. : Walker and Company, 1987. -280 p. ; 23 cm. ISBN 0802772978 006.3 V-006.3 WAL (01) Wasserman, Philip D. Neural computing : theory and practice / Philip D. Wasserman. - New York, N.Y. [etc.] : Van Nostrand Reinhold, 1989. - VIII, 230 p. ; 24 cm. ISBN 0442207433 1. Elaboratori elettronici neuronali 006.3 v-006.3 WAS Watson, Mark, 1951Common LISP modules : artificial intelligence in the era of neural networks and chaos theory / Mark Watson. - New York, N.Y. [etc.] : Springer, c1991. - VI, 207 p. : ill. ; 24 cm. Bibliogr.: p. [203]-204. - Indice analitico. ISBN 0387976140 1. Elaboratori elettronici - Linguaggio COMMON LISP 2. Intelligenza artificiale 006.3 v-006.3 WAT (01) Watt, Alan 3D computer graphics / Alan Watt. - 3rd ed. - Harlow [etc.] : Addison-Wesley, 2000. - xxii, 570 p., [16] c. di tav. : ill. ; 25 cm + 1 CD-ROM. Bibliogr.: p. 544-552. ISBN 0201398559 1. Immagini ottiche tridimensionali - Elaborazione 2. Elaboratori elettronici - Grafica 006.693 v-006.693 WAT v-006.693 WAT (01) Watt, Roger J. Visual processing: computational, psychophysical and cognitive research / R.J. Watt. - Hove [etc.] : Erlbaum, Lawrence, Associates, 1990. - XIII, 152 p. : tab. ; 23 cm. ISBN 0863771726 1. Psicofisica 2. Visione - Modelli matematici 152.14 v-152.14 WAT Welkowitz, Walter Engineering hemodynamics: application to cardiac assist devices / Walter Welkowitz. - 2nd ed. - New York, N.Y. London : New York university press, c1987. - XXVIII, 175 p. : ill. ; 24 cm. - (New York University. Biomedical engineering series). 1. Emodinamica - Modelli matematici 2. Ingegneria biomedica 612.171 v-612.171 WEL Wenger, Etienne Artificial intelligence and tutoring systems : computational and cognitive approaches to the communication of knowledge / by Etienne Wenger ; foreword by John Seely Brown and James Greeno. - Los Altos, Calif. : Kaufmann, c1987. - XXIII, 486 p. ; 24 cm. Bibliogr.: p. 433-460. ISBN 0934613265 1. Conoscenza - Elaborazione dei dati 2. Elaboratori elettronici - Impiego didattico 3. Intelligenza artificiale - Elaborazione dei dati 006.3 acq_scienze_1mar11.doc- Pagina 73 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Biblioteca Polo di Scienze Sistema Bibliotecario di Trento v-006.3 WEN v-006.3 WEN (01) Wilensky, Robert Planning and understanding : a computational approach to human reasoning / Robert Wilensky. - Reading, Mass. [etc.] : Addison-Wesley, 1983. - XIII, 168 p. ; 24 cm. - (AddisonWesley series in artificial intelligence). ISBN 0201095904 1. Intelligenza artificiale 2. Linguaggio - Psicologia 3. Ragionamento - Psicologia 4. Soluzione di problemi 006.3 v-006.3 WILE Wolfram, Stephen Mathematica : a system for doing mathematics by computer / Stephen Wolfram. - 2. print. Redwood City, Calif. [etc.] : Addison-Wesley, c1988. - XVIII, 749 p. : ill. ; 24 cm. ISBN 0201193345 1. Elaboratori elettronici - Impiego in matematica 2. Microelaboratori elettronici - Programmi Mathematica 510.28553 v-510.28553 WOL v-510.28553 WOL (1) v-DEPO 00982 v-DEPO 00982 (01) WordNet and other lexical resources : applications, extensions and customizations : NAACL 2001 Workshop : Pittsburgh, 3-4 June, 2001. - New Brunswick, NY : Association for computational linguistics, c2001. - IV, 193 p. : tab. ; 28 cm. Il terzo sottotit. precede il tit. 1. Linguaggio - Archivi di dati - Congressi - Pittsburgh, Pa. - 2001 2. Linguaggio Elaborazione dei dati - Congressi - Pittsburg, Pa. - 2001 410.285 v-410.285 WORD Workshop on Case-based reasoning, Washington, D.C. 1991 Case-based reasoning : proceedings of a workshop held at the Madison Hotel, Washington, D.C., May 8-10, 1991. - [S.l.] : Defense advanced research projects agency. Information science and technology office, 1991. - IX, 373 p. : ill. ; 28 cm. ISBN 1558601996 1. Congressi - Washington, D.C. - 1991 2. Intelligenza artificiale - Congressi - 1991 3. Ragionamento - Congressi - 1991 153.43 v-153.43 WOR Workshop on constraints in formal verification, Tallin, 2005 2005 Conference on automated deduction : workshop on constraints in formal verification : July 23 2005, Tallin, Estonia / [organizing committee Joao Marques Silva, Miroslav Velev]. [S.l. : s.n.], 2005. - [4], 104. : tab. ; 31 cm. Workshop tenuto precedentemente al 20th International conference automated deduction, Tallinn, Estonia : CADE 2005. 1. Logica simbolica - Congressi - Tallin - 2005 2. Software - Verifica - Modelli matematici Congressi - Tallin - 2005 I. Marques Silva, Joao II. Velev, Miroslav 004.24015113 v-004.240151 WOR Workshop on Language resources for content-based image retrieval, Genova 2006 Ontolmage 2006 : workshop on language resources for content-based image retrieval : W02 : satellite workshop : Monday 22nd May 2006 "Magazzini del Cotone" Conference Center, Genova, Italy / Editor Gregory Grefenstette. - [S.l. : s.n.], [2006?]. - 51 p. ; 30 cm. Il terzo e quarto sottotit. precedono il tit. - Workshop tenuto all'interno di LREC 2006. acq_scienze_1mar11.doc- Pagina 74 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze 1. Linguaggio - Archivi di dati - Congressi - Genova - 2006 I. Grefenstette, Gregory 410.285 v-410.285 WOR (04) Workshop on Minimizing the effort for language resource acquisition, Granada, 1998 Workshop on Minimizing the effort for language resource acquisition : Granada, Spain, May 26, 1998. - [S.l. : s.n.], [1998?]. - [42] p. : ill. ; 30 cm. In testa al front.: LREC, First international conference on language resources and evaluation. 1. Congressi - Granada - 1998 2. Linguaggio - Archivi di dati - Congressi - 1998 410.285 v-410.285 WOR Workshop on Multi-layer corpus-based analysis, Iasi, Romania, 2001 Workshop on Multi-layer corpus-based analysis : July 31-August 1, 2001 - Iasi, Romania / organizers Dan Cristea ... [et al.]. - [6], 55 p. : diagr. ; 30 cm. In testa al front.: Eurolan 2001 : Summer Institute on creation and exploitation of annotated language resources, 30 July-11 August 2001, Iasi, Romania. 1. Linguaggio - Archivi di dati - Congressi - Iasi - 2001 2. Linguaggio - Elaborazione dei dati - Congressi - Iasi - 2001 I. Cristea, Dan 410.285 v-410.285 WOR (02) Workshop on Multilingual information management : current levels and future abilities, Granada, 1998 Workshop on Multilingual information management : current levels and future abilities : held in conjunction with The first international language resources and evaluation conference, may 31-june 1, 1998, Granada, Spain. - [S.l. : s.n.], [1998?]. - VII, 77 p. ; 30 cm. In calce al front. compaiono i nomi degli organizzatori. 1. Congressi - Granada - 1998 2. Linguaggio - Elaborazione dei dati - Congressi - 1998 3. Linguaggio - Archivi di dati – Congressi - 1998 I. International conference on Language resources & evaluation, 1., Granada, 1998 410.285 v-410.285 WOR (01) Workshop on Reference architectures and data standards for NLP, Edinburgh, 1999 Proceedings of the AISB '99 Workshop on Reference architectures and data standards for NLP. - [S.l.] : The Society for the Study of Artificial Intelligence and Simulation of Behaviour, 1999. - [2], II, 54 p. : ill. ; 30 cm. In testa al front.: AISB '99 Convention, 6th-9th April 1999 Edinburgh College of Art & Division of Informatics, University of Edinburgh. - Altro titolo: AISB '99 convention. ISBN 1902956079 1. Congressi - Edinburgh - 1999 2. Linguaggio - Elaborazione dei dati - Congressi - 1999 I. Society f or the study of artificial intelligence and the simulation of behaviour 410.285 v-410.285 WOR (03) Workshop on Speech-to-speech translation, Barcelona, 2006 TC-STAR Workshop on Speech-to-speech translation : Barcelona, June 19-21, 2006 / [edited by Antonio Bonafonte, Rafael E. Banchs and Asunción Moreno]. - [S.l. : s.n.], [2006]. - xii, 244 p. : diagr. ; 30 cm + 1 CD ROM. Nome dei cur. dal verso del front. - : TC-STAR 2006. ISBN 2951740832 1. Traduzione automatica - Congressi - Barcelona - 2006 I. Banchs, Rafael E. II. Moreno, Asunción III. Bonafonte, Antonio IV. Tit.: TC-STAR Workshop on Speech-to-speech translation 418.02 v-418.02 WOR acq_scienze_1mar11.doc- Pagina 75 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze Workshop on The semantics and pragmatics of dialogue, 7., Wallerfangen, 2003 DiaBruck 2003 : proceedings of the 7th workshop on The semantics and pragmatics of dialogue : 4-6 September 2003, Wallerfangen / edited by Ivana Kruijff-Korbayová and Claudia Kosny. - Saarbrücken : Universität des Saarlandes, 2003. - VI, 210 p. : ill. ; 30 cm. Dati dall cop. 1. Dialogo - Elaborazione dei dati - Congressi - Wallerfangen - 2003 2. Semantica Elaborazione dei dati - Congressi – Wallerfangen - 2003 I. Kosny, Claudia II. KruijffKorbayová, Ivana 410.285 v-410.285 WOR (05) Workshop on treebanks and linguistic theories, 3., Tübingen, 2004 Proceedings of the third workshop on treebanks and linguistic theories (TLT 2004) : Tübingen, December 10-11, 2004 / organized by the Collaborative research centre 441 "Linguistic data structures" University of Tübingen, Germany and the Nordic treebank network ; editors Sandra Kübler ...[et al.]. - [S.l. : s.n.], 2004?. - v, 203 p. : ill. ; 24 cm. ISBN 3980918327 1. Linguaggio - Archivi di dati - Congressi - Tübingen - 2004 2. Linguistica - Elaborazione dei dati - Congressi - Tübingen - 2004 I. Kübler, Sandra II. Tit.: TLT 2004 410.285 v-410.285 WOR (06) X-Ray multilayers for diffractometers, monochromators, and spectrometers / Finn E. Christensen chairmann-editor. - Bellingham, Wash. : SPIE-The International society for optical engineering, 1988. - VIII, 271 p. : ill. ; 28 cm. - (Proceedings of SPIE-The International society for optical engineering ; v. 984). Atti del congresso tenuto a San Diego, California il 17-19 agosto 1988. ISBN 081940019X 1. Apparecchi elettronici a raggi X multistrato - Congressi - 1988 2. Congressi - San Diego, Calif. - 1988 I. Christensen, Finn E. 537.535 v-537.535 XRA Your wish is my command : programming by example / edited by Henry Liebermann. - San Francisco, Calif. [etc.] : Morgan Kaufmann, 2001. - XVIII, 416 p. : ill. ; 24 cm. - (The Morgan Kaufmann series in interactive technologies). ISBN 1558606882 1. Elaboratori elettronici - Programmazione I. Lieberman, Henry 005.2 v-005.2 YOU Zanobini, Stefano Una logica cognitiva degli indicali / relatore: ch.mo prof. Enrico Moriconi ; candidato: Stefano Zanobini. - 142 c. ; 30 cm. Manoscritto. - Dattiloscritto. - Verso delle c. bianco. - Tesi di laurea - Università degli studi di Pisa. Facoltà di lettere e filosofia, Corso di laurea in filosofia, a. acc. 1999-2000. 1. Contesto (Linguistica) - Tesi di laurea 2. Logica matematica - Tesi di laurea 511.3 v-511.3 ZAN Zeidenberg, Matthew Neural network models in artificial intelligence / Matthew Zeidenberg. - New York, N.Y. [etc.] : Horwood, 1990. - 268 p. ; 25 cm. - (Ellis Horwood series in artificial intelligence). acq_scienze_1mar11.doc- Pagina 76 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze ISBN 0136121853 1. Elaboratori elettronici neuronali 2. Intelligenza artificiale 006.3 v-006.3 ZEI Zeki, Semir Inner vision : an exploration of art and the brain / Semir Zeki. - Oxford : University press, c1999. - X, 224 p. : ill. ; 25 cm. ISBN 0198505191 1. Arte - Psicologia 2. Cervello - Fisiologia 3. Neurologia 4. Percezione visiva 612.82 v-612.82 ZEK Zhou, Jianying Non-repudiation in electronic commerce / Jianying Zhou. - Boston, Mass. London : Artech house, c2001. - XIV, 200 p. ; 24 cm. - (Artech House computer security series). ISBN 1580532470 1. Crittografia (Informatica) 2. Reti di elaboratori - Sicurezza di funzionamento 3. Commercio elettronico 005.8 v-005.8 ZHO v-005.8 ZHO (01) Ziccardi, Giovanni, 1969Il diritto d'autore nell'era digitale : evoluzione tecnologica e copyright, internet, mp3, DivX;-), open source, Gnu/Linux, free software, mezzi di protezione / Giovanni Ziccardi ; introduzione di John Perry Barlow. -Il diritto d'autore nell'era digitale : evoluzione tecnologica e copyright, internet, mp3, DivX;-), open source, Gnu-Linux, free software, mezzi di protezione / Giovanni Ziccardi ; introduzione di John Perry Barlow. - Milano : Il sole 24 ore Pirola, 2001. - XXI, 343 p. ; 24 cm. - (Diritto / [Il sole 24 ore Pirola]). ISBN 8832444593 1. Diritti d'autore - Legislazione 346.45 v-346.45 ZIC Ziccardi, Giovanni, 1969Il diritto d'autore nell'era digitale : evoluzione tecnologica e copyright, internet, mp3, DivX;-), open source, Gnu/Linux, free software, mezzi di protezione / Giovanni Ziccardi ; introduzione di John Perry Barlow. -Il diritto d'autore nell'era digitale : evoluzione tecnologica e copyright, internet, mp3, DivX;-), open source, Gnu-Linux, free software, mezzi di protezione / Giovanni Ziccardi ; introduzione di John Perry Barlow. - Milano : Il sole 24 ore Pirola, 2001. - XXI, 343 p. ; 24 cm. - (Diritto / [Il sole 24 ore Pirola]). ISBN 8832444593 1. Diritti d'autore - Legislazione 346.45 v-346.45 ZIC Zingales, Mario L'organizzazione della creatività / Mario Zingales ; prefazione di Silvio Ceccato. - Bologna : Cappelli, 1974. - 196 p. : ill. ; 21 cm. - (Saggi Cappelli). 1. Creatività I. Ceccato, Silvio 153.35 v-153.35 ZIN Zini, Floriano acq_scienze_1mar11.doc- Pagina 77 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050 Sistema Bibliotecario di Trento Biblioteca Polo di Scienze CaseLP, a rapid prototyping environment for agent-based software / by Floriano Zini. Genova : Università di Genova. Dipartimento di informatica e scienze dell'informazione, 2000. - [8] p., 154 p. : diagr. ; 22 cm. - (Theses series ; DISI-TH-2001-03). A p. [4]: Dottorato di ricerca in informatica, Dipartimento di informatica escienze dell'informazione, Università degli studi di Genova, Ph.D. Thesis in Computer Science. 1. Intelligenza artificiale - Elaborazione distribuita 2. Programmazione logica 006.3 v-006.3 ZIN Zubizarreta, Maria Luisa Levels of representation in the lexicon and in the syntax / Maria Luisa Zubizarreta. Dordrecht Providence : Foris, 1987. - VI, 198 p. : ill. ; 25 cm. - (Studies in generative grammar ; 31). ISBN 9067652857 1. Grammatica generativa 2. Sintassi - Analisi 3. Lessico - Analisi 415. v-415 ZUB acq_scienze_1mar11.doc- Pagina 78 di 78 Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050