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