Upload
truongthuan
View
227
Download
8
Embed Size (px)
Citation preview
Sistema Bibliotecario di Trento Biblioteca Polo di Scienze
Biblioteca di ScienzeNuove acquisizioni
15-31 dicembre 2010
The Abel Prize : 2003-2007 : the first five years / Helge Holden, Ragni Piene, editors. - Heidelberg [etc.] : Springer, 2010. - XI, 326 p. : ill. ; 24 cm.ISBN 97836420137201. Matematici - Vita e opere I. Holden, Helge II. Piene, Ragni510.9v-510.9 ABE v-cdall 00200
Active mining : new directions of data mining / edited by Hiroshi Motoda. - Amsterdam [etc.] : IOS, c2002. - X, 291 p. : ill. ; 25 cm. -(Frontiers in artificial intelligence and applications. Knowledge-based intelligent engineering systems ; *79**3).ISBN 158603264X1. Analisi dei dati 2. Archivi di dati e conoscenza I. Motoda, Hiroshi006.3v-006.3 ACT
Advances in image processing and pattern recognition : proceedings of the international conference, Pisa Italy, december 10-12 1985 / edited by V. Cappellini and R. Marconi. - Amsterdam [etc.] : North-Holland, 1986. - XII, 346 p. ; 25 cm.ISBN 04447006841. Congressi - Pisa - 1985 2. Elaboratori elettronici - Grafica - Congressi - 1985 3. Forma - Riconoscimento - Sistemi - Congressi - 1985 4. Immagini ottiche - Elaborazione - Congressi - 1985 I. Cappellini, Vito II. Marconi, R.006.42v-006.42 ADV
Advances in object-oriented software engineering / edited by Dino Mandrioli and Bertrand Meyer. - New York, N.Y. [etc.] : Prentice-Hall, 1992. - X, 214 p. ; 24 cm. - (Prentice-Hall object-oriented series).ISBN 01300657811. Software - Sviluppo 2. Elaboratori elettronici - Programmazione orientata agli oggetti I. Meyer, Bertrand II. Mandrioli, Dino005.1v-005.1 ADV
Advances in web intelligence and data mining / Mark Last ... [et al.] (Eds.). - Berlin Heidelberg : Springer, c2006. - XV, 338 p. : ill. ; 24 cm.- (Studies in computational intelligence, ISSN 1860-949X ; 23).ISBN 3540338799; ISBN 9783540338796*1. Archivi di dati e conoscenza 2. World Wide Web (Sistema di recupero delle informazioni) 3. Intelligenza artificiale – Elaborazione distribuita I. Last, Mark025.04v-025.04 ADV
Agha, Gul A.Actors: a model of concurrent computation in distributed systems / Gul A. Agha. - Cambridge, Mass. London : MIT press, 1986. - IX, 144 p. ; 24 cm. - (The MIT press series in artificial intelligence).ISBN 02620109251. Elaborazione elettronica dei dati - Elaborazione distribuita 2. Elaborazione parallela004.
document.doc- Pagina 1 di 31Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050
Sistema Bibliotecario di Trento Biblioteca Polo di Scienze
v-004.36 AGH
Allen, James F.Natural language understanding / James Allen. - 2. ed. - Redwood City, Calif. [etc.] : Benjamin/Cummings, c1995. - XV, 654 p. ; 24cm.ISBN 08053033401. Elaboratori elettronici - Linguaggi - Semantica 2. Linguaggio - Elaborazione dei dati 3. Linguaggio e logica006.35v-006.35 ALL
Allison, LloydA practical introduction to denotational semantics / Lloyd Allison. - Cambridge [etc.] : Cambridge university press, 1986. - XII, 132 p. ; 24 cm. - (Cambridge computer science texts ; 23).ISBN 05213068921. Elaboratori elettronici - Linguaggi - Semantica 2. Elaboratori elettronici - Linguaggi -
Sintassi005.131v-005.131 ALL
Almasi, George S.Highly parallel computing / George S. Almasi, Allan Gottlieb. - Redwood City, Calif. [etc.] : Benjamin/Cummings, c1989. - XXIV, 519 p. ; 25 cm. - (Benjamin/Cummings series in computer science and engineering).Bibliogr.: p. 489-508.ISBN 08053017711. Elaborazione parallela I. Gottlieb, Allan004.35v-004.35 ALM
Andersen, P. BoghA theory of computer semiotics : semiotic approaches to construction and assessment of computer systems / P.B. Andersen. - Cambridge [etc.] : Cambridge university press, 1990. - VII, 416 p. : ill. ; 26 cm. - (Cambridge series on human-computer interaction ; 3).ISBN 05213933611. Semiotica 2. Uomo e elaboratore elettronico004.2014v-004.2014 AND
Angelov, Plamen P.Evolving rule-based models : a tool for design of flexible adaptive systems / Plamen P. Angelov. - Heidelberg New York, N.Y. : Physica-Verlag, 2002. - xiii, 213 p. : diagr. ; 24 cm. - (Studies in fuzziness and soft computing ; 92).Bibliogr.: p. [199]-208.ISBN 37908145711. Controlli - Teoria 2. Sistemi autoadattanti 3. Sistemi - Modelli di simulazione003.3v-003.3 ANG
The artificial intelligence debate : false starts, real foundations / edited by Stephen R. Graubard. - Cambridge, Mass. London : MIT press, 1988. - 311 p. ; 23 cm.ISBN 02625707421. Intelligenza artificiale 2. Apprendimento meccanico I. Graubard, Stephen R.006.3v-006.3 ART (03)
Ashley, Kevin D.Modeling legal argument : reasoning with cases and hypoteticals / Kevin D. Ashley. - Cambridge, Mass. London : MIT press, 1990. - X, 329 p. ; 24 cm. - (Artificial intelligence and legal reasoning).
document.doc- Pagina 2 di 31Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050
Sistema Bibliotecario di Trento Biblioteca Polo di Scienze
ISBN 026201114X1. Elaboratori elettronici - Impiego nella documentazione giuridica 2. Intelligenza artificiale - Applicazioni alle scienze giuridiche 3. Sistemi esperti - Impiego nella documentazione giuridica340.028563v-340.028563 ASH
Associazione italiana per l'intelligenza artificialeAIIA '94 : 4. convegno dell'Associazione italiana per l'intelligenza artificiale, Parma 26-28 settembre '94, campus universitario, viale delle Scienze. - Parma : Università di Parma, [1994?]. - 7 fasc. ; 30 cm.Dati dalla cop. - Fascicoli pubbl. separatamente.1. Congressi - Parma - 1994 2. Intelligenza artificiale - Congressi - 1994006.3v-006.3 ASS (I)
Associazione Italiana per l'Intelligenza Artificiale. Incontro dei Gruppi di LavoroApprendimento automatico e linguaggio naturale : Torino, 9-10 Dicembre 1997. - [S.l. : s.n.], [1997?]. - [8], 147 p. : tab., ill. ; 30 cm.In testa al front.: Incontro dei Gruppi di Lavoro dell'Associazione Italiana per l'Intelligenza
Artificiale.1. Apprendimento meccanico - Congressi - 1997 2. Linguaggio - Elaborazione dei dati - Congressi - 1997 3. Congressi - Torino - 1997006.35v-006.35 APP
Atkins, Peter William Chimica fisica / Atkins Peter W. - Bologna : Zanichelli, 1982. - XVI, 916 p. : ill. ; 27 cm.Tit. orig.: Physical chemistry. - Tav. nei risg. - Tit. orig.: Physical chemistry /.1. Chimica fisica541.3v-541.3 ATK (01)
Atlas of human tumor cell lines / ed. by Robert J. Hay, Jae-Gahb Park, Adi Gazdar. - San Diego, Calif. [etc.] : Academic press, 1996. - XII, 486 p., [2] c. di tav. : ill., tab. ; 24 cm.Indice degli argomenti.ISBN 01233353021. Cellule neoplastiche - Atlanti I. Gazdar, Adi II. Park, Jae-Gahb III. Hay, Robert J.616.992v-616.992 ATL
Baldi, EmanueleNetworking OSI : i servizi in rete locale / Emanuele Baldi, Nicola Cavallina. - Milano : Jackson, 1991. - VIII, 233 p. : ill. ; 24 cm.ISBN 88256024721. Elaboratori elettronici - Interfacciamento - Sistema OSI 2. Elaboratori elettronici - Reti di trasmissione I. Cavallina, Nicola004.62v-004.62 BAL
Ball, BillLinux unleashed / Bill Ball, David Pitts, et al. - 4th ed. - Indianapolis, Ind. : Sams, c2000. - xl, 1468 p. : ill. ; 24 cm.ISBN 06723168891. Elaboratori elettronici - Sistema operativo Linux I. Pitts, David005.446v-005.446 BAL
Barnes, Ken J.Group theory for the standard model of particle physics and beyond / Ken J. Barnes. - Boca Raton, Fla. [etc.] : CRC press, c2010. - xiii, 241 p. : ill. ; 24 cm. - (Series in high energy physics, cosmology, and gravitation).
document.doc- Pagina 3 di 31Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050
Sistema Bibliotecario di Trento Biblioteca Polo di Scienze
ISBN 97814200787491. Gruppi (Matematica) - Teoria 2. Meccanica quantistica 3. Particelle elementari539.725v-539.725 BAR
Bass, LenDeveloping software for the User Interface / Len Bass, Joelle Coutaz. - Reading, Mass. [etc.] : Addison-Wesley, c1991. - 256 p. ; 24 cm. - (SEI series in software engineering).ISBN 02015104641. Elaboratori elettronici - Interfacciamento 2. Elaboratori elettronici - Programmazione I. Coutaz, Joëlle005.1v-005.1 BAS
Ben-Ari, M.Principles of concurrent and distributed programming / M. Ben-Ari. - New York, N.Y. [etc.] : Prentice-Hall, 1990. - X, 225 p. ; 23 cm. - (Prentice-Hall international series in computer science).ISBN 013711821X1. Elaborazione elettronica dei dati - Elaborazione distribuita 2. Elaborazione parallela004.36v-004.36 BEN
Bengio, YoshuaNeural networks for speech and sequence recognition / Yoshua Bengio. - London [etc.] : International Thomson computer press, c1996. - VIII, 167 p. : graf. ; 24 cm.Stampa 1995. - Bibliogr.: p. 145-162.ISBN 18503221701*1. Elaboratori elettronici - Riconoscimento della voce umana 2. Sequenze - Analisi 3. Elaboratori elettronici neuronali006.454v-006.454 BEN
Bergé, Pierre, 1934-Order within chaos : towards a deterministic approach to turbulence / Pierre Bergé, Yves Pomeau, Christian Vidal ; preface by David Ruelle ; translated from the French by Laurette Tuckerman. - New York, N.Y. [etc.] : Wiley. Paris : Hermann, c1984. - XV, 329 p. : ill. ; 25 cm. - (A Wiley-interscience publication).Tit. orig.: L'ordre dans le chaosISBN 04718496771. Comportamento caotico nei sistemi 2. Sistemi dinamici differenziabili I. Pomeau, Yves II. Vidal, Christian530.15v-530.15 BER v-530.15 BER (01)
Berry, John ThomasAdvanced C programming / Johan Thomas Berry, The Waite Group. - New York, N.Y. : Prentice-Hall, c1986. - VIII, 209 p. : ill. ;24 cm. - (A Brady book).ISBN 08930347381. Elaboratori elettronici - Linguaggio C I. Waite Group005.133v-005.133 BER
Bettini, AlessandroIntroduction to elementary particle physics / Alessandro Bettini. - Cambridge [etc.] : Cambridge university press, 2008. - xiv, 431 p. : ill. ; 25 cm.Bibliogr.: p. 414-419.ISBN 97805218802131. Particelle elementari539.72v-539.72 BET
document.doc- Pagina 4 di 31Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050
Sistema Bibliotecario di Trento Biblioteca Polo di Scienze
Bishop, PeterFifth generation computers : concepts, implementations and uses / Peter Bishop. - Chichester : Horwood, 1986. - 166 p. : ill. ; 24 cm. - (Ellis Horwood series in computers and their applications).ISBN 08531292311. Elaboratori elettronici004.v-004 BIS
Boccardo, LucioEsistenza e regolarità di soluzioni di alcuni problemi ellittici / Lucio Boccardo, Gisella Croce. - Bologna : Pitagora, 2010. - 110 p. : ill. ; 26 cm. - (Quaderni dell'Unione matematica italiana ; 51).ISBN 97888371180441. Equazioni differenziali ellittiche I. Croce, Gisella515.353v-515.353 BOC
Booch, GradyObject oriented design : with applications / Grady Booch. - Redwood City, Calif. [etc.] : Benjamin/Cummings, c1991. - XIX, 580 p. : ill. ; 24 cm. - (Benjamin/Cummings series in Ada and software engineering).Bibliogr.: p. [520]-565.ISBN 08053009101. Elaboratori elettronici - Programmazione orientata agli oggetti005.1v-005.1 BOO
Boyer, Robert S.A computational logic handbook / Robert S. Boyer, J. Strother Moore. - Boston, Mass. [etc.] : Academic press, 1988. - XVI, 408 p. ; 24 cm. - (Perspectives in computing ; 23).ISBN 01212295211. Dimostrazione automatica di teoremi 2. Logica simbolica I. Moore, J. Strother511.3v-511.3 BOY
Brawer, StevenIntroduction to parallel programming / Steven Brawer. - Boston, Mass. [etc.] : Academic press, 1989. - XI, 422 p. ; 24 cm.ISBN 01212847001. Programmazione parallela004.35v-004.35 BRA
Brodal, AlfNeurological anatomy in relation to clinical medicine / A. Brodal. - 3. ed. - New York, N.Y. Oxford : Oxford university press, 1981. - XVII, 1053 p. : ill. ; 24 cm.Bibliogr.: p. [853]-1035.ISBN 01950269421. Sistema nervoso - Anatomia 2. Sistema nervoso - Malattie - Diagnosi611.8v-611.8 BRO
Cassese, SabinoLe basi del diritto amministrativo / Sabino Cassese. - Nuova ed. - Torino : Einaudi, c1991. - X, 383 p. ; 22 cm. - (Nuova biblioteca scientifica Einaudi ; 82).ISBN 88061280191. Diritto amministrativo342.45v-342.45 CAS
Cellular
document.doc- Pagina 5 di 31Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050
Sistema Bibliotecario di Trento Biblioteca Polo di Scienze
logic image processing / edited by M.J.B. Duff and T.J. Fountain. - London [etc.] : Academic press, 1986 copyr. - X, 277 p. : ill. ; 24 cm.ISBN 01222333011. Forma - Riconoscimento - Sistemi 2. Elaboratori elettronici - Grafica 3. Immagini ottiche - Elaborazione - Tecniche digitali I.Duff, Michael J.B. II. Fountain, Terry J.006.42v-006.42 CEL
Chandy, K. ManiAn introduction to parallel programming / K. Mani Chandy, Stephen Taylor. - Boston, Mass. : Jones and Bartlett, 1992. - XVI, 228 p. : ill. ; 24 cm.ISBN 08672020841. Programmazione parallela I. Taylor, Stephen004.35v-004.35 CHA (01)
Chemistry and physics of solid surfaces V / editors: R. Vanselow and R. Howe. - Berlin [etc.] : Springer, 1984. - XXI, 554 p. : ill. ; 24 cm. -(Springer series in chemical physics ; 35).ISBN 0387133151; ISBN 35401331511. Superfici - Chimica fisica 2. Chimica dello stato solido I. Howe, Russell II. Vanselow,
Ralf541.33v-541.33 CHE v-541.33 CHE (01)
Cho, Chin-KueiQuality programming : developing and testing software with statistical quality control / Chin-Kuei Cho. - New York, N.Y. [etc.] : Wiley, c1987. - XXVI, 473 p. ; 24 cm.ISBN 04718489991. Elaboratori elettronici - Programmazione - Controllo di qualità - Metodi statistici005.14v-005.14 CHO
Cognitive science and its applications for human-computer interaction / edited by Raymonde Guindon. - Hillsdale, N.J. [etc.] : Erlbaum, Lawrence, Associates, 1988. - XIV, 345 p. : ill. ; 24 cm.ISBN 08985988421. Sistemi - Progettazione 2. Conoscenza 3. Uomo e elaboratore elettronico I. Guindon,
Raymonde004.33v-004.33 COGN
Coleman, John S.Introducing speech and language processing / John Coleman. - Cambridge New York, N.Y. : Cambridge university press, 2005. - xi, 301 p. : tab., diagr. ; 26 cm + 1 CD-ROM. - (Cambridge introduction to language and linguistics).ISBN 05215306951. Discorso - Analisi - Elaborazione dei dati 2. Linguistica - Elaborazione dei dati006.454v-006.454 COL
Computation: the micro and the macro view / edited by B.A. Huberman. - Singapore [etc.] : World scientific, c1992. - IX, 162 p. ; 26 cm.ISBN 98102098191. Informatica I. Huberman, Bernardo A.004.v-004 COM
Computerdocument.doc- Pagina 6 di 31
Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050
Sistema Bibliotecario di Trento Biblioteca Polo di Scienze
speech processing / edited by Frank Fallside and William A. Woods. - Englewood Cliffs, N.J. [etc.] : Prentice-Hall international, 1985 copyr. - XXI, 506 p. : graf. ; 24 cm.In calce al front.: Contribution by speakers at an advanced course on Computer speech processing held at the University of Cambridge, 1983.ISBN 01316384161. Elaboratori elettronici - Riconoscimento della voce umana 2. Linguaggio - Elaborazione dei dati 3. Segnali - Elaborazione - Tecniche digitali I. Fallside, Frank II. Woods, William A.006.454v-006.454 COM
Computer vision and graphics : international conference, ICCVG 2004, Warsaw, Poland, September 2004, Proceedings / edited by K. Wojciechowski ... [et.al.]. - Dordrecht : Springer, c2006. - xxii, 502 p. : ill. ; 25 cm + 1 CD-ROM. - (Computational imaging andvision ; 32).Altro titolo: ICCVG 2004.ISBN 14020417801. Elaboratori elettronici - Grafica - Congressi - Warszawa - 2004 2. Immagini - Elaborazione - Tecniche digitali - Congressi - Warszawa - 2004 I. Wojciechowski, Konrad006.6v-006.6 COMP
Computers and control in clinical medicine / edited by Ewart R. Carson and Derek G. Cramp. - New York, N.Y. London : Plenum press, 1985. - IX, 263 p. : tab. ; 26 cm.ISBN 03064189241. Elaboratori elettronici - Impiego in diagnostica 2. Elaboratori elettronici - Impiego in medicina I. Carson, Ewart R. II. Cramp, Derek G.610.285v-610.285 COM
Configuring user-designer relations : interdisciplinary perspectives / Alex Voss ... [et al.], editors. - London : Springer, c2009. - xiv, 235 p. : ill. ; 25 cm. - (Computer supported cooperative work).Scritti di vari. - Bibliogr.ISBN 97818462892481. Elaboratori elettronici - Interfaccia utente 2. Interazione uomo-elaboratore I. Voss,
Alex004.019v-004.019 CON
Cordeschi, RobertoThe discovery of the artificial by Roberto Cordeschi. -The discovery of the artificial : behavior, mind and machines before and beyond cybernetics / by Roberto Cordeschi. - Dordrecht [etc.] : Kluwer academic, c2002. - XX, 312 p. : ill. ; 25 cm. - (Studies incognitive systems ; 28).ISBN 14020060631. Cibernetica003.5v-003.5 COR
Cordeschi, RobertoThe discovery of the artificial by Roberto Cordeschi. -The discovery of the artificial : behavior, mind and machines before and beyond cybernetics / by Roberto Cordeschi. - Dordrecht [etc.] : Kluwer academic, c2002. - XX, 312 p. : ill. ; 25 cm. - (Studies incognitive systems ; 28).ISBN 14020060631. Cibernetica003.5v-003.5 COR
document.doc- Pagina 7 di 31Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050
Sistema Bibliotecario di Trento Biblioteca Polo di Scienze
Cottingham, W.N.An introduction to the standard model of particle physics / W.N. Cottingham and D.A. Greenwood. - 2nd ed. - Cambridge [etc.] : Cambridge university press, 2007. - xviii, 235 p. : ill. ; 25 cm.ISBN 97805218524941. Particelle - Modelli matematici I. Greenwood, D.A.539.72v-539.72 COT (01)
Coulouris, George F.Distributed systems : concepts and design / George F. Coulouris, Jean Dollimore. - Wokingham [etc.] : Addison-Wesley, 1988. - XVII, 366 p. : ill. ; 24 cm. - (International computer science series).ISBN 02011805961. Elaborazione elettronica dei dati - Elaborazione distribuita I. Dollimore, Jean004.36v-004.36 COU (02)
Coulouris, George F.Distributed systems : concepts and design / George F. Coulouris, Jean Dollimore, Tim Kindberg. - 3rd. ed. - Harlow [etc.] : Pearson Addison-Wesley, 2001. - XIII, 772 p. : ill. ; 24 cm. - (International computer science series).ISBN 02016191801. Elaborazione distribuita dei dati I. Dollimore, Jean II. Kindberg, Tim004.36v-004.36 COU v-004.36 COU (04)
Cranefield, Paul F.Cardiac arrhythmias: the role of triggered activity and other mechanisms / Paul F. Cranefield, Ronald S. Aronson ; with a foreword by Brian F. Hoffman. - Mount Kisco, N.Y. : Futura, 1988. - XI, 706 p. ; 26 cm.Bibliogr.: p. 631-685.ISBN 08799332751. Aritmia cardiaca - Fisiopatologia I. Aronson, Ronald S.616.128071v-616.128071 CRA
Daelemans, WalterMemory-based language processing / Walter Daelemans, Antal van den Bosch. - Cambridge : Cambridge university press, 2005. - vii, 189 p. : ill. ; 24 cm. - (Studies in natural language processing).Bibliogr.: p.168-185.ISBN 05218089011. Linguaggio - Elaborazione elettronica I. Bosch, Antal van den006.35v-006.35 DAE
Data mining and knowledge discovery handbook / edited by Oded Maimon and Lior Rokach. - New York, N.Y. : Springer science+Business media, c2005. - xxxv, 1383 p. : ill. ; 25 cm.ISBN 0387244352; ISBN 9780387244358*1. Archivi di dati - Gestione 2. Archivi di dati e conoscenza I. Maimon, Oded II. Rokach,
Lior006.3v-006.3 DAT (01)
Data mining III / editors A. Zanasi ... <et al.>. - Southampton Boston, Mass. : WIT press, c2002. - <XVI>, 1011 p. : ill.. ; 24 cm.Sulla pag. contro il front.:Third international conference on data mining.ISBN 1853129259
document.doc- Pagina 8 di 31Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050
Sistema Bibliotecario di Trento Biblioteca Polo di Scienze
1. Archivi di dati e conoscenza - Congressi - Bologna - 2002 2. Intelligenza artificiale - Congressi - Bologna - 2002 I. Zanasi, Alessandro II. International conference on data mining, 3., Bologna, 2002006.3v-006.3 DAT (02)
Deduktionssysteme, in ingleseDeduction systems in artificial intelligence / editors: Karl Hans Blaesius, Hans-Juergen Buerckert. - Chichester : Horwood. New York, N.Y. [etc.] : Halsted, 1989. - 238 p. ; 25 cm. - (Ellis Horwood series in artificial intelligence).Scritti di vari.ISBN 047021550X; ISBN 0754804098*1. Dimostrazione automatica di teoremi - Saggi 2. Intelligenza artificiale - Saggi I. Bläsius, Karl Hans II. Bürckert, Hans-Jürgen511.3v-006.3 DED v-006.3 DED (01)
Deitel, Harvey M.An introduction to operating systems / Harvey M. Deitel. - 2. ed. - Reading, Mass. [etc.] : Addison-Wesley, 1990. - XXVI, 853 p. : ill. ; 24 cm.ISBN 02011803831. Elaboratori elettronici - Sistemi operativi005.43v-005.43 DEI (01)
Deontic logic in computer science : normative system specification / edited by John-Jules Ch. Meyer and Roel J. Wieringa. - Chichester [etc.] : Wiley, 1993. - XIV, 317 p. : ill. ; 25 cm.ISBN 04719374361. Logica - Applicazioni all'automazione 2. Logica deontica I. Meyer, John-Jules Ch. II. Wieringa, Roel J.004.0151v-004.0151 DEO
Developing museum exhibitions for lifelong learning / edited by Gail Durban on behalf of the Group for education in museums. - London : The Stationery office, 1996. - XI, 248 p. : diagr. ; 25 cm.Sul front.: Museums & galleries commission ; GEM.ISBN 01129055281. Musei - Attività didattica 2. Museologia I. Durbin, Gail II. Group for education in museums III. Museums & Galleries Commission069.13v-069.13 DEV
Dicenet, G.Design and prospects for the ISDN / G. Dicenet ; translated by David Oliver. - Boston, Mass. London : Artech house, c1987. - XIII, 288 p. : tab. ; 24 cm. - (The Artech house telecommunication library).ISBN 08900626921. Elaboratori elettronici - Reti di trasmissione 2. Trasmissione dei dati - Sistemi004.6v-004.6 DIC
Diller, Antoni Compiling functional languages / Antoni Diller. - Chichester [etc.] : Wiley, c1988. - XXI,
289 p. ; 25 cm.Bibliogr.: p. 264-284.ISBN 04719202741. Compilatori (Informatica) 2. Elaboratori elettronici - Programmazione funzionale -
Linguaggi005.13v-005.13 DIL v-DEPO 00906
document.doc- Pagina 9 di 31Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050
Sistema Bibliotecario di Trento Biblioteca Polo di Scienze
Distributed group communication : the AMIGO information model : the AMICO MHS + Group / editors: Hugh Smith, Julian Onions, Steve Benford. - Chichester : Horwood. New York, N.Y. [etc.] : Halsted, 1989. - XVIII, 188 p. : ill. ; 25 cm. - (Ellis Horwood books in information technology).ISBN 0470215151; ISBN 07458074101. Elaboratori elettronici - Reti di trasmissione 2. Uomo e elaboratore elettronico I. Benford, Steve II. Onions, Julian III. Smith, Hugh004.019v-004.019 DIS
Du, K.-L.Neural networks in a softcomputing framework / K.-L. Du and M.N.S. Swami. - London : Springer-Verlag, c2006. - l, 566 p. : ill. ; 24 cm.ISBN 1846283027; ISBN 97818462830241. Reti neurali (Informatica) I. Swamy, M.N.S.006.32v-006.32 DUK
Durfee, Edmund H.Coordination of distributed problem solvers / Edmund H. Durfee. - Boston, Mass. [etc.] : Kluwer academic, 1988. - VIII, 269 p. : tab. ; 25 cm. - (The Kluwer international series in engineering and computer science ; 55).ISBN 089838284X1. Elaborazione elettronica dei dati - Elaborazione distribuita 2. Soluzione di problemi - Elaborazione elettronica dei dati004.36v-004.36 DUR
Durr, MichaelMicro to mainframe : creating an integrated environment / Michael Durr and Dwayne Walker. - Reading, Mass. [etc.] : Addison-Wesley, 1985. - XI, 243 p. : ill. ; 24 cm. - (Micro computers books).ISBN 02011115511. Elaborazione elettronica dei dati - Elaborazione distribuita 2. Elaboratori elettronici - Reti di trasmissione 3. Microelaboratori elettronici I. Walker, Dwayne004.6v-004.6 DUR
Edelman, Gerald M.Neural darwinism : the theory of neuronal group selection / Gerald M. Edelman. - New York, N.Y. : Basic books, c1987. - XXII, 371 p., [1] c. di tav. ripieg. : ill. ; 24 cm.ISBN 04650493461. Darwinismo 2. Percezione - Psicofiosiologia 3. Neuroni - Fisiologia612.82v-612.82 EDE
Elbert, Bruce R.Networking strategies for information technology / Bruce Elbert. - Boston, Mass. London : Artech house, c1992. - XV, 257 p. ; 24 cm. - (The Artech house telecommunication library).ISBN 08900649621. Elaboratori elettronici - Reti di trasmissione - Gestione 2. Trasmissione dei dati -
Sistemi - Gestione004.6v-004.6 ELB
Engineering the user interface: from research to practice / Miguel Redondo, Crescencio Bravo, Manuel Ortega, editors. - London : Springer, c2009. - xii, 282 p. : ill. ; 25 cm.Relazioni presentate al conv. tenuto a Ciudad Real nel 2006. - Bibliogr.ISBN 9781848001350
document.doc- Pagina 10 di 31Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050
Sistema Bibliotecario di Trento Biblioteca Polo di Scienze
1. Elaboratori elettronici - Interfaccia utente - Congressi - Ciudad Real - 2006 2. Interazione uomo-elaboratore - Congressi - Ciudad Real - 2006 I. Bravo, Crescencio II. Redondo, Miguel III. Ortega, Manuel IV. Congreso internacional de interaccion persona-ordenador, 7., Ciudad Real, 2006005.437v-005.437 ENG
Etzkowitz, HenryMIT and the rise of entrepreneurial science Henry Etzkowitz. -MIT and the rise of entrepreneurial science / Henry Etzkowitz. - London New York, N.Y. : Routledge, c2002. - IX, 173 p. ; 24 cm. - (Studies in global competition).ISBN 041528516X1. Ricerca industriale - Stati Uniti d'America 2. Massachusetts institute of technology338.04v-338.04 ETK
Etzkowitz, HenryMIT and the rise of entrepreneurial science Henry Etzkowitz. -MIT and the rise of entrepreneurial science / Henry Etzkowitz. - London New York, N.Y. : Routledge, c2002. - IX, 173 p. ; 24 cm. - (Studies in global competition).ISBN 041528516X1. Ricerca industriale - Stati Uniti d'America 2. Massachusetts institute of technology338.04v-338.04 ETK
Exploring artificial intelligence: survey talks from the National conferences on Artificial intelligence / contributors David Barstow... [et al.] ; edited by Howard E. Shrobe and the American association for artificial intelligence. - San Mateo, Calif. : Kaufmann, c1988. - XII, 693 p. : ill. ; 23 cm.Scelta di relazioni presentate ai congressi di Philadelphia nel 1986 e 1987.ISBN 09346136721. Congressi - Philadelphia, Pa. - 1986-1987 2. Intelligenza artificiale - Congressi - 1986-1987 I. Shrobe, Howard E. II. American association for artificial intelligence006.3v-006.3 EXP
Falk, John HowardThe museum experience / John H. Falk, Lynn D. Dierking ; foreword by Willard L. Boyd. - Washington, D.C. : Whalesback Books, c1992. - XVII, 205 p. ; 24 cm.ISBN 09295900661. Musei - Aspetti educativi I. Dierking, Lynn D.069.15v-069.15 FAL
Fluckiger, François Understanding networked multimedia : applications and technology / François Fluckiger. - London [etc.] : Prentice-Hall, 1995. - XXIX, 620 p. : ill. ; 25 cm.ISBN 01319099241. Reti di elaboratori 2. Sistemi multimediali006.6v-006.6 FLU v-006.6 FLU (01)
Formal aspects of context / edited by Pierre Bonzon, Marcos Cavalcanti and Rolf Nossum. - Dordrecht [etc.] : Kluwer academic, c2000. - X, 214 p. : ill. ; 25 cm. - (Applied logic series ; 20).ISBN 07923635071. Contesto (Linguistica) 2. Elaboratori elettronici - Modelli di simulazione I. Bonzon, Pierre II. Cavalcanti, Marcos III. Nossum, Rolf T.003.3v-003.3 FOR
document.doc- Pagina 11 di 31Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050
Sistema Bibliotecario di Trento Biblioteca Polo di Scienze
Foundations of real-time computing: scheduling and resource management / edited by André M. van Tilborg, Gary M. Koob. - Boston, Mass. [etc.] : Kluwer academic, 1991. - IX, 326 p. ; 24 cm. - (Kluwer international series in engineering and computer science. Real-time systems).ISBN 07923916671. Elaborazione dei dati in tempo reale I. Koob, Gary M. II. Tilborg, André M. van004.33v-004.33 FOU (01)
Fromhold, Albert ThomasTheory of metal oxidation / A.T. Fromhold. - Amsterdam [etc.] : North-Holland, 1976-. - 2 v. : ill. ; 23 cm. - (Defects in crystalline solids).1: Fundamentals. - 1976. - XXI, 547 p. - (9)2: Space charge. - 1980. - XV, 332 p. - (Defects in solids ; 12)ISBN 04441095791. Metalli - Ossidazione 2. Ossidazione546.3v-546.3 FRO v-546.3 FRO (II)
Frühwirth, ThomEssentials of constraint programming / Thom Frühwirth, Slim Abdennadher. - Berlin Heidelberg : Springer, c2003. - IX, 144 p. : ill. ; 24 cm. - (Cognitive technologies, ISSN 1611-2482).ISBN 35406762361. Dimostrazione automatica di teoremi 2. Elaboratori elettronici - Programmazione logica I. Abdennadher, Slim005.115v-005.115 FRU
Fukunaga, KeinosukeIntroduction to statistical pattern recognition / Keinosuke Fukunaga. - 2. ed. - Boston, Mass. [etc.] : Academic press, c1990. - XIII, 591 p. ; 24 cm. - (Computer science and scientific computing).ISBN 01226985171. Forma - Riconoscimento - Metodi 2. Statistica matematica006.4v-006.4 FUKU v-006.4 FUKU (01)
Fundamental neuroscience / edited by Larry R. Squire ... [et al.]. - 3rd ed. - Amsterdam [etc.] : Academic press, c2008. - xx, 1256 p. : tab. ; 29 cm.Bibliogr.ISBN 97801237401991. Neurobiologia 2. Sistema nervoso - Fisiologia I. Squire, Larry R.612.8v-CORSO BIO 053
Fundamentals of acoustics / Lawrence E. Kinsler ... [et al.]. - 3. ed. - New York, N.Y. [etc.] : Wiley, 1982. - XVI, 480 p. : ill. ; 25 cm.ISBN 04710293351. Acustica 2. Acustica architettonica 3. Acustica subacquea 4. Onde sonore I. Kinsler, Lawrence E.534.v-534 FUN (01)Furrer, AlbertNeutron scattering in condensed matter physics / Albert Furrer, Joël Mesot, Thierry Strässle. - Singapore [etc.] : World scientific, c2009. - XIV, 301 p. : ill. ; 25 cm. - (Series on neutron techniques and applications ; 4).Bibliogr.: p. p. 289-294.ISBN 97898102483141. Materia condensata 2. Scattering 3. Neutroni - Diffusione I. Mesot, Joel II. Mesot, Joël III. Strässle, Thierry
document.doc- Pagina 12 di 31Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050
Sistema Bibliotecario di Trento Biblioteca Polo di Scienze
539.7213v-539.7213 FUR
Gehani, NarainConcurrent programming / Narain Gehani, Andrew D. McGettrick. - Wokingham [etc.] : Addison-Wesley, 1988. - XIII, 621 p. ; 24 cm. - (International computer science series).AT&T.ISBN 02011743591. Elaborazione parallela 2. Sistemi operativi I. McGettrick, Andrew D.005.42v-005.42 GEH
Gennick, JonathanOracle SQL*Plus : the definitive guide / Jonathan Gennick . - Beijing [etc.] : O'Reilly, 1999. - XXI, 502 p. : ill. ; 24 cm.Bibliogr.ISBN 15659257851. Archivi di dati relazionali - Gestione 2. Elaboratori elettronici - Linguaggio SQL*PLUS 3. Elaboratori elettronici – Programma Oracle005.7565v-005.7565 GEN
Giusti, EnricoAnalisi matematica / Enrico Giusti. - 3. ed. interamente riv. e ampliata. - Torino : Bollati Boringhieri, 2002-2003. - 2 v. : ill. ; 24 cm.- (Programma di matematica, fisica, elettronica).1 : Analisi matematica 1. - 2002. - 461 p.2 : Analisi matematica 2. - 2003. - X, 307 p.ISBN 8833956849 (1.v.)*; ISBN 8833957063 (2.v.)*510.v-515 GIU (01) (II) v-CORSO MAT 098 (I-II)
Gorlen, Keith E.Data abstraction and object-oriented programming in C++ / Keith E. Gorlen, Sanford M. Orlow, Perry S. Plexico. - Rist. – Chichester [etc.] : Wiley. Stuttgart : Teubner, 1991. - XXI, 403 p. ; 25 cm. + 2 dischetti.ISBN 04719275111. Elaboratori elettronici - Linguaggio C++ 2. Elaboratori elettronici - Programmazione orientata agli oggetti I. Orlow, Sanford M. II. Plexico, Perry S.005.133v-005.133 GOR
Grignani, ElisaGuida Dewey : introduzione all'edizione 20 della CDD / Elisa Grignani, Annarita Zanobi. - Milano : Editrice Bibliografica, 1993. - 261p. : tab. ; 21 cm. - (Bibliografia e biblioteconomia ; 44).ISBN 88707535731. Classificazione decimale Dewey - Manuali I. Zanobi, Annarita025.4v-025.4 GRI
Grogono, PeterProgrammare in Pascal : descrizione formale e uso pratico / Peter Grogono. - 2. ed. - Padova : Muzzio, 1987. - 508 p. ; 21 cm. -(Manuali scientifici / [Muzzio]).Tit. orig. : Programming in PascalISBN 88702120091. Elaboratori elettronici - Linguaggio Pascal005.133v-005.133 GRO
Gross, Markus
document.doc- Pagina 13 di 31Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050
Sistema Bibliotecario di Trento Biblioteca Polo di Scienze
Visual computing : the integration of computer graphics, visual perception and imaging / Markus Gross. - Berlin [etc.] : Springer, c1994. - XV, 334 p. : ill. ; 24 cm.ISBN 35405722281. Immagini ottiche - Elaborazione - Tecniche digitali 2. Elaboratori elettronici - Grafica006.6019v-006.6019 GRO
Harel, DavidAlgorithmics : the spirit of computing / David Harel. - Wokingham [etc.] : Addison-Wesley, 1987. - XIV, 425 p. ; 24 cm.ISBN 02011924031. Elaborazione elettronica dei dati 2. Algoritmi004.v-004 HAR (03)
Hecht, EugeneOptics / Eugene Hecht ; with contributions by Alfred Zajac. - 2. ed. - Reading, Mass. [etc.] : Addison-Wesley, 1987. - X, 676 p. : ill. ; 24 cm. - (World student series).ISBN 02011161111. Ottica - Esercizi I. Zajac, Alfred535.9v-535.9 HEC
Henderson-Sellers, BrianA book of object-oriented knowledge : object-oriented analysis, design and implementation: a new approach to software engineering /B. Henderson-Sellers. - New York, N.Y. [etc.] : Prentice-Hall, 1991. - XVI, 297 p. : ill. ; 24
cm.Bibliogr.: p. 273-282.ISBN 01305944581. Elaboratori elettronici - Programmi - Ingegneria 2. Elaboratori elettronici - Programmazione orientata agli oggetti005.11v-005.11 HEN
Hentenryck, Pascal vanConstraint satisfaction in logic programming / Pascal Van Hentenryck. - Cambridge, Mass. London : MIT press, 1989. - XVI, 224 p. : tab. ; 24 cm. - (Logic programming / [MIT]).ISBN 02620818141. Elaboratori elettronici - Programmazione logica006.3v-006.3 HEN
A historyof medical informatics / edited by Bruce I. Blum, Karen Duncan. - Reading, Mass. [etc.] : Addison-Wesley, 1990. - XXX, 455 p. : ill. ; 24 cm.ISBN 02015012871. Elaboratori elettronici - Impiego in medicina I. Blum, Bruce I. II. Duncan, Karen610.285v-610.285 HIS
Holton, Gerald JamesPhysics, the human adventure : from Copernicus to Einstein and beyond / Gerald Holton and Stephen G. Brush. - [3rd ed.], 4th print. - New Brunswick, N.J. London : Rutgers University Press, 2005. - xv, 582 p. : ill. ; 26 cm.Precedentemente pubbl. col tit.: Introduction to concepts and theories in physical science, 1952. - Altro titolo: Introduction to concepts and theories in physical science.ISBN 08135290851. Fisica 2. Scienze I. Brush, Stephen G.500.v-CORSO FIS 235
Housley, Trevordocument.doc- Pagina 14 di 31
Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050
Sistema Bibliotecario di Trento Biblioteca Polo di Scienze
Data communications & teleprocessing systems / Trevor Housley. - 2. ed. - Englewood Cliffs, N.J. : Prentice-Hall, 1987 copyr. -XVII, 474 p. : tab. ; 23 cm.ISBN 01319743511. Elaboratori elettronici - Interfacciamento 2. Elaboratori elettronici - Reti di trasmissione 3. Trasmissione dei dati - Sistemi004.66v-004.66 HOU
Hudson, Donna L.Neural networks and artificial intelligence for biomedical engineering / by Donna L. Hudson, Maurice E. Cohen. - New York, N.Y. : IEEE Press, c2000. - XXIII, 306 p. : ill. ; 26 cm. - (IEEE press series in biomedical engineering).ISBN 07803340431. Elaboratori elettronici - Impiego in medicina 2. Reti neurali - Applicazioni 3. Sistemi esperti - Impiego in medicina 4. Ingegneria biomedica I. Cohen, Maurice E.610.28563v-610.28563 HUD
Hutchison, DavidLocal area network architectures / David Hutchison. - Wokingham [etc.] : Addison-Wesley, 1988. - XIII, 264 p. : ill. ; 25 cm. -(International computer science series).ISBN 02011421631. Elaboratori elettronici - Interfacciamento 2. Elaboratori elettronici - Reti di trasmissione004.68v-004.68 HUT
Image analysis and processing II / edited by V. Cantoni, V. Di Gesù and S. Levialdi. - New York, N.Y. London : Plenum press, c1988. - X, 520 p. : ill. ; 26 cm.Sul verso del front.: Proceedings of the Fourth International conference on Image analysis and processing, held september 23-25, 1987, in Palermo, Italy.ISBN 03064290121. Congressi - Palermo - 1987 2. Immagini ottiche - Elaborazione - Congressi - 1987 I. Cantoni, Virginio II. Levialdi, Stefano III. Di Gesù, V. IV. International conference on Image analisys and processing, 4., Palermo, 1987006.37v-006.37 IMA (01)
Image modeling / edited by Azriel Rosenfeld. - New York, N.Y. [etc.] : Academic press, 1981. - XIII, 445 p. : ill. ; 24 cm.ISBN 01259732091. Immagini ottiche - Elaborazione - Tecniche digitali 2. Elaboratori elettronici - Grafica I. Rosenfeld, Azriel006.6v-006.6 IMA
L'immaginario scientifico. - Trieste : Editoriale, 1987. - 199 p. : ill.30 cm ;.Catalogo della mostra tenuta a Milano nel 1987. - In testa al front.: AISA; ISSA.ISBN 88706817851. Esposizioni - Milano - 1987 2. Immagini elettroniche - Esposizioni - 1987 3. Ricerca scientifica - Esposizioni - 1987502.8v-502.8 IMM
In vivo body : composition studies : proceedings of an International symposium held at Brookhaven national laboratory, New York on September 28-October 1, 1986 / edited by K.J. Ellis, S. Yasumura and W.D. Morgan. - London : Institute of physical sciences inmedicine, c1987. - 476 p. : ill. ; 22 cm. - (IPSM ; 3).ISBN 0904181502
document.doc- Pagina 15 di 31Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050
Sistema Bibliotecario di Trento Biblioteca Polo di Scienze
1. Corpo umano - Congressi - 1986 2. Ingegneria biomedica - Congressi - 1986 3. Congressi - New York, N.Y. - 1986 I. Ellis, Kenneth J. II. Morgan, Wynford D. III. Yasumura, Seiichi612.v-612 INV
Informatica e metodologia filosofica / Centro per la filosofia italiana ; a cura di Pietro Ciaravolo. - Roma : Cadmo, 1990. - 222 p. : ill. ; 24 cm. -(Pubblicazioni del Centro per la filosofia italiana).Atti del Convegno tenuto ad Andalo nel 1989.1. Informatica e filosofia - Congressi - Andalo - 1989 I. Ciaravolo, Pietro II. Centro per la filosofia italiana004.01v-004.01 INF
Information sharing : reference and presupposition in language generation and interpretation / [edited by] Kees van Deemter & Rodger Kibble. - Stanford, Calif. : CSLI, 2002. - xiii, 415 p. : ill. ; 24 cm.Scritti di vari. - Bibliogr.ISBN 15758640371. Elaboratori elettronici - Impiego in linguistica 2. Presupposizione (Linguistica) 3. Referenza (Linguistica) I. Deemter, Kees van II. Kibble, Rodger401.41v-401.41 INF
Intelligent data analysis in medicine and pharmacology / edited by Nada Lavrac, Elpida T. Keravnou, Blaz Zupan. - Boston, Mass. [etc.] : Kluwer academic, c1997. - XXI, 310 p. : ill. ; 24 cm. - (The Kluwer international series in engineering and computer science).ISBN 07923800021. Archivi di dati e conoscenza 2. Elaboratori elettronici - Impiego in medicina 3. Farmacologia - Elaborazione dei dati I. Keravnou, Elpida T. II. Lavrašc, Nada III. Zupan, Blašz610.28563v-610.28563 INT
Intelligent environments : metohods, algorithms and applications / Dorothy Monekosso, Paolo Remagnino, Yoshinori Kuno, editors. - London : Springer, c2009. - xvii, 211 p. : ill. ; 25 cm. - (Advanced information and knowledge processing).Scritti di vari. - Bibliogr.ISBN 97818480034531. Intelligenza artificiale - Elaborazione distribuita 2. Interazione uomo-elaboratore I. Kuno, Yoshinori II. Remagnino, Paolo III. Monekosso, Dorothy006.3v-006.3 INTEL
Intelligent information systems : progress and prospects / editor: R. Davies. - Chichester : Horwood, 1986. - VI, 300 p. ; 25 cm. - (Ellis Horwood series in artificial intelligence).ISBN 08531289601. Biblioteche - Servizi di informazioni bibliografiche - Automazione 2. Informazione - Sistemi 3. Intelligenza artificiale I. Davies, Roy025.524v-025.524 INT
Intelligent technologies : theory and applications : new trends in intelligent technologies / edited by Peter Sincak ... [et al.]. - Amsterdam [etc.] : IOS, c2002. - XI, 346 p. : ill. ; 25 cm. - (Frontiers in artificial intelligence and applications, ISSN 0922-6389 ; 76).ISBN 1586032569
document.doc- Pagina 16 di 31Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050
Sistema Bibliotecario di Trento Biblioteca Polo di Scienze
1. Intelligenza artificiale 2. Reti neurali 3. Sistemi sfocati I. Sincák, Peter006.3v-006.3 INT (02)
Interfacing thought : cognitive aspects of human-computer interaction / edited by John M. Carroll. - 2. print. - Cambridge, Mass. London :MIT press, 1988. - XV, 370 p. ; 24 cm. - (Bradford books).ISBN 02620312561. Uomo e elaboratore elettronico I. Carroll, John M.004.019v-004.019 INT (03)
Intermediate-level image processing / edited by M.J.B. Duff. - London [etc.] : Academic press, 1986. - XI, 316 p. : ill. ; 24 cm.ISBN 01222332551. Immagini ottiche - Elaborazione - Tecniche digitali 2. Elaboratori elettronici - Grafica I. Duff, Michael J.B.006.42v-006.42 INT
International NATO symposium on artificial and human intelligence, Lyon, 1981Artificial and human intelligence : edited review papers presented at the International NATO symposium on Artificial and human intelligence, sposored by the Special programme panel, held in Lyon, France, October, 1981 / edited by Alick Elithorn and RananBanerji. - 2. ed. - Amsterdam [etc.] : North-Holland, 1986. - VII, 344 p. ; 23 cm.ISBN 04448654541. Congressi - Lyon - 1981 2. Intelligenza artificiale - Congressi - 1981 3. Intelletto - Congressi - 1981 I. Banerji, Ranan B. II. Elithorn, Alick006.3v-006.3 INT (15)
International society for knowledge organizationTools for knowledge organization and the human interface : proceedings 1st International ISKO-Conference, Darmstadt, 14-17 August 1990 / edited by Robert Fugmann. - Frankfurt : Indeks, 1991. - 2 v. ; 24 cm. - (Advances in knowledge organization ; 1-2).ISBN 3886720217 (2.v.)*1. Catalogazione - Congressi - 1990 2. Classificazione - Congressi - 1990 3. Conoscenza - Teorie - Congressi - 1990 I. Fugmann, Robert025.42v-025.42 INT
Ion implantation : science and technology / edited by J.F. Ziegler. - Orlando, Fla. [etc.] : Academic press, 1984. - XI, 635 p. : ill. ; 24 cm.ISBN 01278062021. Impiantazione ionica 2. Ioni - Tecnologia I. Ziegler, James F.539.6v-539.6 ION v-539.6 ION (01)
Jackson, PeterLogic-based knowledge representation / Peter Jackson, Han Reichgelt, Frank van Harmelen. - Cambridge, Mass. London : MIT press, c1989. - IX, 255 p. : tab. e diagr. ; 24 cm. - (Mit press series in logic programming).ISBN 026210038X1. Elaboratori elettronici - Programmazione logica - Ricerche 2. Sistemi esperti - Ricerche I. Reichgelt, Han II. Van Harmelen, Frank006.33v-006.33 JAC
Jost, Jürgendocument.doc- Pagina 17 di 31
Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050
Sistema Bibliotecario di Trento Biblioteca Polo di Scienze
Geometry and physics / Jürgen Jost. - Heidelberg : Springer, c2009. - 0 p. : ill. ; 0 cm. - (Titolo collana).ISBN 97836420054041. Geometria differenziale 2. Fisica matematica 3. Teoria dei quanti530.15636v-530.1536 JOS
Kashyap, Vipul Information brokering across heterogeneous digital data : a metadata-based approach / by Vipul Kashyap, Amit Sheth. - Boston, Mass. [etc.] : Kluwer academic, c2000. - xxi, 224 p. : diagr.diagr. ; 24 cm. - (The Kluwer international series on advances in databasesystems).Bibliogr.: p. [213]-220.ISBN 07923788301. Informazione - Recupero - Sistemi 2. Servizi di informazione - Elaborazione dei dati 3. World Wide Web (Sistema di recupero delle informazioni) I. Sheth, Amit025.04v-025.04 KAS
Keller, MarilynSoftware specification and design : a disciplined approach for real-time systems / Marilyn Keller, Ken Shumate. - New York, N.Y. [etc.] : Wiley, 1992. - XXIV, 405 p. : tab. ; 24 cm. - (Wiley series in software engineering practice).ISBN 04715329671. Elaborazione dei dati in tempo reale 2. Software - Sviluppo I. Shumate, Ken004.33v-004.33 KEL
Kerr, Elaine B.Computer-mediated communication systems : status and evaluation / Elaine B. Kerr, Starr Roxanne Hiltz. - Orlando, Fla. [etc.] : Academic press, 1982. - XII, 212 p. ; 24 cm. - (Human communication research series).ISBN 012404980X1. Comunicazione - Elaborazione dei dati 2. Informazione - Sistemi 3. Elaboratori elettronici - Reti di trasmissione I. Hiltz, Starr Roxanne004.65v-004.65 KER
Landsdale, Mark D.Understanding interfaces : a handbook of human-computer dialogue / Mark W. Lansdale and Thomas C. Ormerod. - London [etc.] : Academic press, c1994. - XI, 289 p. : tab. ; 24 cm. - (Computers and people series).ISBN 01252839031. Uomo e elaboratore elettronico I. Ormerod, Thomas C.004.019v-004.019 LAN
Langacker, PaulThe standard model and beyond / Paul Langacker. - Boca Raton, Fla. [etc.] : CRC press, c2010. - XII, 663 p. : ill. ; 24 cm. - (Series in high energy physics, cosmology, and gravitation).ISBN 97814200790671. Fisica nucleare539.72v-539.72 LAN
Lapin, J.E.Portable C and Unix system programming / J.E. Lapin. - Englewood Cliffs, N.J. : Prentice-Hall, c1987. - XIV, 249 p. ; 23 cm. -(Prentice-Hall software series).ISBN 01368649451. Elaboratori elettronici - Programmi - Compatibilità 2. Elaboratori elettronici - Linguaggio C 3. Elaboratori elettronici – Sistema operativo Unix
document.doc- Pagina 18 di 31Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050
Sistema Bibliotecario di Trento Biblioteca Polo di Scienze
005.133v-005.133 LAP
Leinhardt, GaeaListening in on museum conversations / Gaea Leinhardt and Karen Knutson. - Walnut Creek, Calif. [etc.] : Altamira press, c2004. - xvi, 199 p. : ill. ; 23 cm.Biblogr. : p. 181-186.ISBN 07591044251. Musei - Aspetti educativi I. Knutson, Karen069.v-069 LEI
Lindley, DavidGli atomi di Boltzmann / David Lindley. - Torino : Bollati Boringhieri, 2002. - 270 p. ; 22 cm. - (Saggi / [Bollati Boringhieri]).Tit. orig.: Boltzmann's atom : the great debate that launched a revolution in physics.ISBN 88339143481. Boltzmann, Ludwig530.092v-CORSO MAT 228
Logics and models of concurrent systems / edited by Krzyszof R. Apt. - Berlin [etc.] : Springer, 1985. - VIII, 498 p. ; 25 cm. - (NATO ASI series. Series F, Computer and systems sciences ; 13).Convegno tenuto a La Colle-sur-Loup nel 1984.ISBN 35401518181. Congressi - La Colle-sur-Loup - 1984 2. Elaborazione elettronica dei dati - Elaborazione distribuita - Congressi - 1984 3.Elaborazione parallela - Congressi - 1984 I. Apt, Krzysztof R.004.35v-004.35 LOG
Machinelearning methods for planning / edited by Steven Minton. - San Mateo, Calif. : Kaufmann, 1993. - XIII, 540 p. : ill. ; 24 cm. -(The Morgan Kaufmann series in machine learning).ISBN 15586024881. Intelligenza artificiale 2. Apprendimento meccanico I. Minton, Steven006.31v-006.31 MAC
Mamei, MarcoField-based coordination for pervasive multiagent systems / Marco Mamei, Franco Zambonelli. - Berlin Heidelberg : Springer, c2006. - XII, 241 p. : ill. ; 24 cm. - (Springer series in Agent Technology).ISBN 3540279687; ISBN 9783540279683*1. Intelligenza artificiale - Elaborazione distribuita I. Zambonelli, Franco006.3v-006.3 MAM v-006.3 MAM (01)
Mancini, ClaraCinematic hypertext : investigating a new paradigm / Clara Mancini. - Amsterdam [etc.] : IOS, 2005. - ix, 182 p. : ill. ; 24 cm. -(Frontiers in artificial intelligence and applications, ISSN 0922-6389 ; 122).ISBN 15860351341. Sistemi ipertestuali005.72v-005.72 MAN
Marcotty, Michael
document.doc- Pagina 19 di 31Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050
Sistema Bibliotecario di Trento Biblioteca Polo di Scienze
The world of programming languages / Michael Marcotty, Henry Ledgard. - New York, N.Y. [etc.] : Springer, c1987. - XIV, 360 p. : ill. ; 24 cm. - (Springer books on professional computing).Già pubbl. col tit.: Programming language landscape: syntax, semantics and
implementation. - 1. Elaboratori elettronici - Linguaggi I. Ledgard, Henry F.005.13v-005.13 MAR (01)
Martella, GiancarloImpianti informatici : architetture / Giancarlo Martella. - Milano : CLUP, 1978. - 326 p. : ill. ; 24 cm. - (Serie di informatica /[Clup]).ISBN 88700538301. Elaborazione elettronica dei dati - Elaborazione distribuita 2. Elaboratori elettronici - Reti di trasmissione 3. Informazione - Sistemi004.65v-004.65 MAR
Martin, Richard J.Cardiorespiratory disorders during sleep / Richard J. Martin. - Mount Kisco, N.Y. : Futura, 1984. - X, 323 p. : ill. ; 24 cm.ISBN 08799320821. Apnea 2. Apparato respiratorio - Malattie 3. Sonno - Aspetti fisiopatologici 4. Apparato circolatorio - Malattie616.2v-616.2 MAR
Masters of the wired world : cyberspace speaks out / edited by Anne Leer ; foreword by Tony Blair. - London [etc.] : Financial Times management, 1999. - xii, 419 p. : ill ; 24 cm.Scritti di vari. - In cop.: Il compl. del tit. precede il tit. - Parte del titolo: Cybespace speaks
out.ISBN 027363559X1. Informazione - Tecnologia - Aspetti economici 2. Informazione - Tecnologia - Aspetti sociali I. Blair, Tony II. Tit.: Cybespace speaks out303.4833v-303.4833 MAS
McEnery, TonyComputational linguistics: a handbook & toolbox for natural language processing / Tony McEnery. - Wilmslow : Sigma press, 1992. - [6], 263 p. ; 23 cm.ISBN 18505824751. Linguistica - Elaborazione dei dati006.35v-006.35 MCE
Mei, Chiang C.Homogenization methods for multiscale mechanics / Chiang C. Mei, Bogdan Vernescu. - Singapore [etc.] : World scientific, 2009. - XVIII, 330 p. : ill. ; 25 cm.ISBN 97898142824441. Meccanica applicata 2. Ottimizzazione (Matematica) I. Vernescu, Bogdanv-519.6 MEI
Meta-programming in logic programming / edited by Harvey Abramson and M. H. Rogers. - Cambridge, Mass. London : MIT press, c1989. - [10], 541 p. ; 23 cm. - (Logic programming / [MIT]).Nome del convegno dalla pref.ISBN 02625104721. Congressi - Bristol - 1988 2. Intelligenza artificiale - Congressi - 1988 3. Elaboratori elettronici - Programmazione logica - Congressi - 1988 I. Abramson, Harvey II. Rogers, M. H. III. Workshop on Meta-programming in logic programming, Bristol,1988
document.doc- Pagina 20 di 31Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050
Sistema Bibliotecario di Trento Biblioteca Polo di Scienze
006.3v-006.3 MET
Meyer, BertrandEiffel : the language / Bertrand Meyer. - Repr. with corrections. - New York, N.Y. [etc.] : Prentice-Hall, 1992. - XXXV, 594 p. ; 24 cm. - (Prentice-Hall object-oriented series).ISBN 01324792571. Elaboratori elettronici - Linguaggio Eiffel005.36v-005.362 MEY
Miller, Alan R. Programmi scientifici in Pascal / di Alan Miller. - Milano : Jackson, 1983 copyr. - XVII, 360
p. ; 21 cm.ISBN 88705613481. Microelaboratori elettronici Zilog Z-80 - Programmi 2. Elaboratori elettronici -
Linguaggio Pascal005.26v-005.26 MIL
Mind design : philosophy, psychology, artificial intelligence / edited by John Haugeland. - 3. print. - Cambridge, Mass. London : MIT press, 1985. - XII, 368 p. ; 24 cm. - (Bradford books).ISBN 02625805271. Intelligenza artificiale - Saggi I. Haugeland, John006.3v-006.3 MIN
Minoli, DanielDistributed multimedia through broadband communications / Daniel Minoli and Robert Keinath Bellcore. - Boston, Mass. London : Artech house, c1994. - XV, 311 p. ; 24 cm. - (The Artech house telecommunication library).ISBN 08900668921. Elaboratori elettronici - Interfacciamento 2. Telecomunicazioni a banda larga 3. Trasmissione dei dati - Sistemi I. Bellcore, Robert Keinath004.6v-004.6 MIN
Modell, Martin E.Data analysis, data modeling, and classification / Martin E. Modell. - New York, N.Y. [etc.] : McGraw-Hill, 1992. - XIII, 274 p. : ill. ; 24 cm. - (McGraw-Hill software engineering series).ISBN 00704263411. Archivi di dati - Progettazione 2. Archivi di dati - Struttura005.73v-005.73 MOD
Moon, Francis C.Chaotic vibrations : an introduction for applied scientists and engineers / Francis C. Moon. - New York, N.Y. [etc.] : Wiley, 1987. - XV, 309 p. : tab. ; 24 cm. - (A Wiley-interscience publication).ISBN 04718568511. Comportamento caotico nei sistemi 2. Dinamica531.11v-531.11 MOO
Morse, Philip McCordTheoretical acoustics / Philip M. Morse, K. Uno Ingard. - Princeton, N.J. : Princeton university press, 1986. - XIX, [1], 927 p. : tab. ; 24 cm.ISBN 06910240141. Acustica 2. Suono I. Ingard, K. Uno534.
document.doc- Pagina 21 di 31Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050
Sistema Bibliotecario di Trento Biblioteca Polo di Scienze
v-534 MOR (01)
Multimedia retrieval / Henk M. Blanken ... [et al.] (Eds.). - Heidelberg New York, N.Y. : Springer, c2007. - XVIII, 372 p. : ill. ; 24 cm. -(Data-centric systems and applications).ISBN 97835407289481. Informazione - Recupero - Sistemi 2. Sistemi multimediali I. Blanken, Henk M.025.524v-025.524 MUL v-025.524 MUL (01)
Mulvany, Nancy C.Indexing books / Nancy C. Mulvany. - Chicago, Ill. London : University of Chicago press, 1994. - XIII, 320 p. : ill. ; 23 cm. -(Chicago guides to writing, editing and publishing).Bibliogr.: p. 295-299.ISBN 02265501411. Indicizzazione025.3v-025.3 MUL
Murray, AlanAnalogue neural VLSI : a pulse stream approach / Alan Murray and Lionel Tarassenko. - London [etc.] : Chapman & Hall, 1994. - XIII, 147 p. : ill. ; 24 cm. - (Chapman & Hall neural computing series ; 2).ISBN 04124506071. Circuiti integrati 2. Elaboratori elettronici neuronali I. Tarassenko, Lionel006.3v-006.3 MUR
Nabney, Ian T.NETLAB : algorithms for pattern recognition / Ian T. Nabney. - London [etc.] : Springer, 2003. - XVIII, 420 p. : diagr. ; 24 cm. -(Advances in pattern recognition).Bibliogr.: p. [407]-412.ISBN 18523344011. Forma - Riconoscimento - Sistemi 2. Immagini - Elaborazione - Tecniche digitali 3.
Algoritmi006.4v-006.4 NAB
Natural language generation : third international conference, INLG 2004, Brockenhurst, UK, July 14-16, 2004 : proceedings / Anja Belz, Roger Evans, Paul Piwek (eds.). - Berlin [etc.] : Springer, c2004. - x, 218 p. : ill. ; 24 cm. - (Lecture notes in computer science,ISSN 0302-9743 ; 3123).Bibliogr.ISBN 35402234011. Linguaggio - Elaborazione elettronica - Congressi - Brockenhurst - 2004 I. Belz, Anja II. Piwek, Paul III. Evans, Roger IV. International conference INLG, 3., Brockenhurst, 2004006.35v-006.35 NAT
Neutron and X-ray spectroscopy / edited by Françoise Hippert ... [et al.]. - Dordrecht : Springer, 2010. - XVIII, 566 p. : ill. ; 26 cm.ISBN 97890481683851. Spettroscopia atomica 2. Spettroscopia dei raggi X I. Hippert, Françoise539.7213v-539.7213 NEU (02)
Non-invasive
document.doc- Pagina 22 di 31Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050
Sistema Bibliotecario di Trento Biblioteca Polo di Scienze
stimulation of brain and spinal cord : fundamentals and clinical applications : proceedings of a workshop held in Sorrento, Italy, May 24-29, 1987 / editors Paolo M. Rossini, Charles D. Marsden. - New York, N.Y. : Liss, Alan R., c1988. - XVI, 328 p. : ill. ; 24 cm. - (Neurology and neurobiology ; 41).ISBN 08451274381. Cervello - Fisiologia - Congressi - 1987 2. Congressi - Sorrento - 1988 3. Midollo spinale - Congressi - 1987 I. Marsden, Charles D. II. Rossini, Paolo M.612.82v-612.82 NON
O'Shaughnessy, DouglasSpeech communication : human and machine / Douglas O'Shaughnessy. - 2nd ed. - Piscataway, N.J. : IEEE, c2000. - xxiv, 547 p. : ill. ; 26 cm.ISBN 07803344931. Elaboratori elettronici - Riconoscimento della voce umana 2. Linguaggio - Analisi 3. Linguaggio - Elaborazione dei dati 4.Immagini ottiche - Elaborazione - Tecniche digitali006.454v-006.454 OSH v-006.454 OSH (01)
Padmanabhan, ThanuGravitation : foundations and frontiers / T. Padmanabhan. - Cambridge [etc.] : Cambridge university press, 2010. - XVIII, 700 p. : ill. ; 28 cm.ISBN 97805218822311. Gravitazione 2. Relatività531.14v-531.14 PAD
Parallel architectures and computer vision / edited by Ian Page. - Oxford : Clarendon, 1988. - XVII, 329 p. : ill. 24 cm.ISBN 01985374091. Elaborazione parallela 2. Immagini ottiche - Elaborazione - Tecniche digitali I. Page, Ian, lettore in computazione004.35v-004.35 PAR (02)
Parallel computation and computers for artificial intelligence / edited by Janusz S. Kowalik. - Boston, Mass. [etc.] : Kluwer academic, c1988. - XXV, 291 p. : diagr. ; 25 cm. - (The Kluwer international series in engineering and computer science ; 26).Scritti di vari.ISBN 08983822701. Elaborazione parallela - Saggi 2. Intelligenza artificiale - Saggi I. Kowalik, Janusz S.004.35v-004.35 PAR (01)
Paret, DominiqueThe XIIC Bus : from theory to practice / Dominique Paret with Carl Fenger. - Chichester [etc.] : Wiley, c1997. - VIII, [6], 300 p. : ill. ; 25 cm + dischetto alleg.ISBN 04719626861. Elaboratori elettronici - Interfacciamento 2. Reti di elaboratori - Protocollo I2C bus I.
Fenger, Carl004.62v-004.62 PAR
Patterson, David A.Computer architecture : a quantitative approach / David A. Patterson, John L. Hennessy ; with a contribution by david Goldberg. - 4. printing. - San Mateo, Calif. : Kaufmann, 1990. - 1 v. ; 24 cm.ISBN 15586006981. Elaboratori elettronici - Architettura I. Hennessy, John L.004.22
document.doc- Pagina 23 di 31Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050
Sistema Bibliotecario di Trento Biblioteca Polo di Scienze
v-004.22 PAT (01)
Pelozo, Emilio InsfránA requirements engineering approach for object-oriented conceptual modeling / by Emilio Insfrán Pelozo; Supervisor: Prof. Dr. Óscar Pastor López. - [Valencia] : Universidad politécnica de Valencia. Departamento de sistemas informaticos y computacion, 2003. - 362 p. : ill. ; 24 cm. - (PhD Thesis / [Universidad politecnica de Valencia]).Sul front.: Universidad politiecnica de Valencia ...1. Software - Sviluppo 2. Elaboratori elettronici - Programmazione orientata agli oggetti005.117v-005.117 PEL
Peyton Jones, Simon L.The implementation of functional programming languages / Simon L. Peyton Jones ; with chapters by Philip Wadler, Peter Hancock, David Turner. - New York, N.Y. [etc.] : Prentice-Hall, 1987. - XVIII, 445 p. ; 23 cm. - (Prentice-Hall international series in computer science).ISBN 01345332591. Elaboratori elettronici - Programmazione funzionale - Linguaggi005.133v-005.133 PEY
Practical parallel computing : status and prospects / edited by Paul Messina and Almerico Murli. - Chichester [etc.] : Wiley, c1991. - p. 502-742 ; 25 cm. - (Concurrency: practice and experience ; 3/6).ISBN 04719318291. Elaborazione parallela I. Messina, Paul II. Murli, Almerico004.35v-004.35 PRA
Principles of neural science / edited by Eric R. Kandel, James H. Schwartz, Thomas M. Jessell. - 3., ed. - Englewood Cliffs, N.J. : Prentice-Hall, c1991.XLIV, 1135 p. ill. 29 cm.ISBN 08385806881. Neurologia 2. Neuropsicologia I. Jessell, Thomas M. II. Kandel, Eric R. III. Schwartz,
James H.612.8v-612.8 PRI
Ramond, PierreGroup theory : a physicist's survey / Pierre Ramond. - Cambridge [etc.] : Cambridge university press, 2010. - ix, 310 p. : ill. ; 26 cm.Bibliogr.: p. 307.ISBN 97805218960301. Gruppi (Matematica) - Teoria 2. Fisica matematica530.1522v-530.1522 RAM
Rao, T.R.N.Error-control coding for computer systems / T.R.N. Rao, E. Fujiwara. - Englewood Cliffs, N.J. : Prentice-Hall, c1989. - XVI, 524 p. ; 24 cm. - (Prentice-Hall series in computer engineering).ISBN 01328406851. Codici autocorrettivi (Teoria dell'informazione) 2. Codificazione (Matematica) - Teoria I. Fujiwara, E.005.72v-005.72 RAO
Readings in intelligent user interfaces / edited by Mark T. Maybury, Wolfgang Wahlster. - San Francisco, Calif. : Morgan Kaufmann , c1998. - xvii, 648 p. : ill. ; 28 cm.
document.doc- Pagina 24 di 31Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050
Sistema Bibliotecario di Trento Biblioteca Polo di Scienze
Scritti di vari. - Bibliogr.ISBN 15586044481. Elaboratori elettronici - Interfaccia utente 2. Interazione uomo-elaboratore I. Maybury, Mark T. II. Wahlster, Wolfgang004.019v-004.019 REA
Reasoning about plans / James F. Allen... [et al.]. - San Mateo, Calif. : Kaufmann, 1991. - XII, 300 p. : ill. ; 24 cm. - (The Morgan Kaufmann series in representation and reasoning).ISBN 15586013761. Intelligenza artificiale 2. Ragionamento 3. Soluzione di problemi I. Allen, James F.006.3v-006.3 REAS
Reasoning, action and interaction in AI theories and systems : essays dedicated to Luigia Carlucci Aiello / Oliviero Stock, Marco Schaerf (Eds.). - Berlin Heidelberg : Springer, c2006. - XVIII, 342 p. : ill. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ;4155).ISBN 3540379010; ISBN 9783540379010*1. Intelligenza artificiale - Saggi I. Carlucci Aiello, Luigia II. Stock, Oliviero III. Schaerf,
Marco006.3v-006.3 REA
Reingold, Edward M.Combinatorial algorithms: theory and practice / Edward M. Reingold, Jurg Nievergelt, Narsingh Deo. - Englewood Cliffs, N.J. : Prentice-Hall, c1977. - XII, 433 p. ; 24 cm.ISBN 013152447X1. Calcolo combinatorio - Elaborazione dei dati I. Deo, Narsingh II. Nievergelt, Jurg511.6v-511.6 REI (01)
Reiss, Thomas H.Recognizing planar objects using invariant image features / Thomas H. Reiss. - Berlin [etc.] : Springer, c1993. - X, 180 p. : ill., tab. ; 24 cm. - (Lecture notes in computer science ; 676).Bibliogr.ISBN 35405671351. Forma - Riconoscimento - Metodi 2. Immagini ottiche - Elaborazione - Tecniche digitali006.42v-006.42 REI
Reliability in computing : the role of interval methods in scientific computing / edited by Ramon E. Moore. - Boston, Mass. [etc.] : Academic press, 1988. - XV, 428 p. ; 24 cm. - (Perspectives in computing ; 19).ISBN 01250563031. Analisi a intervallo (Matematica) 2. Elaborazione dei dati - Affidabilità I. Moore,
Ramon E.004.v-004 REL
Reversible grammar in natural language processing / edited by Tomek Strzalkowski. - Boston, Mass. [etc.] : Kluwer academic, c1994. - XXI, 454 p. : ill. ; 25 cm. - (The Kluwer international series in engineering and computer science. Natural language processing and machine translation).ISBN 079239416X1. Linguistica - Elaborazione dei dati 2. Traduzione automatica I. Strzalkowski, Tomek006.35v-006.35 REV
document.doc- Pagina 25 di 31Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050
Sistema Bibliotecario di Trento Biblioteca Polo di Scienze
Robotica : modellistica, pianificazione e controllo / Bruno Siciliano ... [et al.]. - 3. ed. - Milano [etc.] : McGraw-Hill libri Italia, c2008. - xix, 647 p. : ill. ; 25 cm. - (Collana di istruzione scientifica. Serie di automatica).Bibliogr.: p. [621]-635.ISBN 97888386632221. Automi I. Siciliano, Bruno629.892v-CORSO TEL 014
Russo, LucioLa rivoluzione dimenticata : il pensiero scientifico greco e la scienza moderna / Lucio Russo ; prefazione di Marcello Cini. - 3. ed. - Milano : Feltrinelli, 2009. - 526 p. ; 20 cm. - (Universale economica Feltrinelli ; 1644).ISBN 97888078164441. Scienze - Grecia antica 2. Scienze - Storia I. Cini, Marcello509.v-CORSO MAT 229
Rutkowski, Anthony M.Integrated services digital networks / Anthony M. Rutkowski. - Dedham, Mass. : Artech house, c1985. - XXIII, 324 p. ; 24 cm. -(The Artech house telecommunication library).Bibliogr.: p. 274-305.ISBN 08900614671. Elaboratori elettronici - Reti di trasmissione 2. Trasmissione dei dati - Sistemi004.6v-004.6 RUT
Sait¢o, Sh¢uz¢oFundamentals of speech signal processing / Shuzo Saito, Kazuo Nakata. - Tokyo [etc.] : Academic press, 1985. - IX, 266 p. : ill. ; 24 cm.ISBN 01261488051. Immagini acustiche - Elaborazione dei dati 2. Linguaggio - Elaborazione dei dati I.
Nakata, Kazuo006.454v-006.454 SAI
Sankar, Pal K.Foundations of soft case-based reasoning / Sankar K. Pal, Simon C. K. Shiu. - Hoboken, N.J. : Wiley, 2004. - 274 p. : ill. ; 24 cm. -(Wiley series on intelligent systems).ISBN 04710863551. Intelligenza artificiale - Applicazioni 2. Sistemi di supporto alle decisioni I. Shiu, Simon
C. K.006.3v-006.3 SAN
Saraswat, Vijay A.Concurrent constraint programming / Vijay A. Saraswat. - Cambridge, Mass. London : MIT press, 1993. - XL, 486 p. ; 24 cm. -(ACM doctoral dissertation awards).ISBN 02621929771. Programmazione parallela005.131v-005.131 SAR
Schank, Roger C.Dynamic memory : a theory of reminding and learning in computers and people / Roger C. Schank. - Cambridge [etc.] : Cambridge university press, 1982. - XV, 234 p. ; 24 cm.ISBN 05212485821. Apprendimento - Teorie 2. Intelligenza artificiale 3. Memoria - Teorie
document.doc- Pagina 26 di 31Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050
Sistema Bibliotecario di Trento Biblioteca Polo di Scienze
004.5v-004.5 SCH
I sensi dell'automa / a cura di G. Adorni, W. Gerbino e V. Roberto. - Trieste : LINT, 1992. - XIV, 309 p. : ill. ; 24 cm.In testa al front.: Consiglio Nazionale delle Ricerche. Associazione italiana per l'intelligenza artificiale. Università degli studi di Parma.1. Intelligenza artificiale 2. Percezione I. Adorni, Giovanni II. Gerbino, Walter III.
Roberto, Vito006.3v-006.3 SEN
Shanahan, MurraySearch, inference and dependencies in artificial intelligence / Murray Shanahan, Richard Southwick. - Chichester : Horwood. New York, N.Y. [etc.] : Halsted, 1989. - 140 p. ; 25 cm. - (Ellis Horwood series in artificial intelligence).ISBN 0470216182; ISBN 07458048881. Intelligenza artificiale I. Southwick, Richard006.3v-006.3 SHA
Shneiderman, BenDesigning the user interface: strategies for effective human-computer interaction / Ben Shneiderman ; illustrations by Carol Wald. - Repr. with corr. - Reading, Mass. [etc.] : Addison-Wesley, 1987. - XV, 448 p., [2] c. di tav. : ill. ; 24 cm.ISBN 02011650581. Elaboratori elettronici - Interfacciamento 2. Uomo e elaboratore elettronico I. Wald,
Carol004.6v-004.6 SHN (01)
Shneiderman, BenDesigning the user interface: strategies for effective human-computer interaction / Ben Shneiderman. - 3. ed. - Reading, Mass. [etc.] : Addison-Wesley, 1998. - XIV, 639 p., [4] c. di tav. : ill. ; 24 cm.1. Elaboratori elettronici - Interfaccia utente 2. Uomo e elaboratore elettronico004.6v-004.6 SHN
Shoham, YoavReasoning about change : time and causation from the stadpoint of artificial intelligence / Yoav Shoham. - Cambridge, Mass. London : MIT press, c1988. - 200 p. ; 24 cm. - (The MIT press series in artificial intelligence).ISBN 02621926911. Causalità 2. Tempo 3. Intelligenza artificiale 4. Ragionamento006.3v-006.3 SHO
Similarity search : the metric space approach / Pavel Zezula ... [et al.]. - New York, N.Y. : Springer science+Business media, c2006. - xvi, 220 p. : ill. ; 24 cm.Bibliogr.: p. [197]-210.ISBN 03872914661. Archivi di dati - Struttura 2. Informazione - Recupero - Sistemi I. Zezula, Pavel005.741v-005.741 ZEZ
Simpson, HenryDeveloping effective user documentation : a human factors approach / Henry Simpson, Steven M. Casey. - New York, N.Y. [etc.] : McGraw-Hill, c1988. - VIII, 290 p. : ill. ; 24 cm.ISBN 0070573360
document.doc- Pagina 27 di 31Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050
Sistema Bibliotecario di Trento Biblioteca Polo di Scienze
1. Documentazione e informatica 2. Elaboratori elettronici - Programmazione - Sviluppo I. Casey, Steven M.005.15v-005.15 SIM
Smart, JulianCross-Platform gui programming with wxwidgets / Julian Smart and Kevin Hock with Stefan Csomor. - Upper Saddle River, N.J. [etc.] : Prentice Hall, 2006. - xxxiv, 700 p. : ill. ; 24 cm + 1 CD-ROM. - (Bruce perens'open source series).ISBN 01314738161. Elaboratori elettronici - Interfaccia utente - Programmazione I. Csomor, Stefan II.
Hock, Kevin005.437v-005.437 SMA
SmartKom : foundations of multimodal dialogue systems / Wolfgang Wahlster (Ed.). - Berlin [etc.] : Springer, c2006. - XVIII, 643 p. : ill. ; 24 cm. - (Cognitive technologies, ISSN 1611-2482).ISBN 3540237321; ISBN 9783540237327*1. Elaboratori elettronici - Riconoscimento della voce umana 2. Elaboratori elettronici - Sistema SmartKom 3. Sistemi multimedialiI. Wahlster, Wolfgang006.454v-006.454 SMA
Steele, Guy L.Common LISP : the language / Guy L. Steele ; with contributions by Scott E. Fahlman...[et al.]. - 2. ed. - Bedford, Mass. : Digital, c1990. - XXIII, 1029 p. : ill. ; 23 cm.ISBN 15555804161. Elaboratori elettronici - Linguaggio COMMON LISP I. Fahlman, Scott E.005.133v-005.133 STE (01)
Stevens, W. RichardAdvanced programming in the UNIX environment / W. Richard Stevens. - Reading, Mass. [etc.] : Addison-Wesley, c1992. - XVIII, 744 p. : tab. ; 24 cm. - (Addison-Eesley professional computing series).ISBN 02015631771. Elaboratori elettronici - Sistema operativo Unix005.43v-005.53 STE
Symposium on Low temperature electronics and high temperature superconductivity, 3., Reno, Nev., 1995Proceedings of the symposium on low temperature electronics and high temperature superconductivity / editors Cor L. Claeys... [et al.]. - Pennington, NJ : Electrochemical society, c1995. - XI, 446 p. : ill. ; 23 cm. - (Energy technology, electronics and dielectricscience and technology divisions. Proceedings volume ; 95-9).ISBN 156677103X1. Congressi - Reno, Nev. - 1995 2. Superconduttori - Proprietà termiche - Congressi - 1995 3. Materiali ad alte temperature - Conducibilità - Congressi - 1995 4. Crioelettronica - Congressi - 1995 I. Claeys, Cor L.537.623v-537.623 SYM
The synaptic organization of the brain / edited by Gordon M. Shepherd. - 3. ed. - New York, N.Y. Oxford : Oxford university press, 1990. - 560 p. : ill. ; 23 cm.Bibliogr.: p. 475-541.ISBN 01950625661. Circuiti neuronali 2. Sinapsi 3. Cervello - Fisiologia I. Shepherd, Gordon M.612.82v-612.82 SYN v-612.82 SYN (01)
document.doc- Pagina 28 di 31Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050
Sistema Bibliotecario di Trento Biblioteca Polo di Scienze
The syntax of early english / Olga Fischer ... [et al.]. - Cambridge : Cambridge university press, 2000. - XVIII, 341 p. ; 23 cm. - (Cambridge syntax guides).ISBN 05215562601. Lingua anglosassone - Sintassi 2. Lingua inglese - Sintassi I. Fischer, Olga429.5v-429.5 FIS
Systems engineering : principles and practice of computer-based systems engineering / edited by Bernhard Thomé. - Chichester [etc.] : Wiley, c1993. - XXII, 394 p. : tab. ; 25 cm. - (Wiley series in software based systems).ISBN 04719355221. Elaboratori elettronici - Impiego nella progettazione 2. Sistemi - Progettazione I.
Thomé, Bernhard004.21v-004.21 SYS
Taylor, DaveLearning Unix for Mac OS X panther / Dave Taylor and Brian Jepson. - 3. ed. - Beijing [etc.] : O'Reilly, 2003. - xiii, 168 p. : ill. ; 23 cm.ISBN 05960061791. Elaboratori elettronici - Sistema operativo Unix 2. Elaboratori elettronici Macintosh - Sistema operativo Mac OS X I. Jepson, Brian005.4465v-005.4465 TAY
Teledermatology / edited by Richard Wootton, Amanda M.M. Oakley ; foreword by Douglas Perednia. - London : Royal society of medicine press, c2002. - XVII, 331 p. : ill. ; 24 cm.ISBN 18531550711. Elaboratori elettronici - Impiego in dermatologia I. Oakley, Amanda II. Wootton,
Richard616.5075v-616.5075 TEL
Tennent, R.D.Principles of programming languages / R.D. Tennent. - New York, N.Y. [etc.] : Prentice-Hall, 1981. - XIV, 271 p. ; 24 cm. -(Prentice-Hall international series in computer science).ISBN 01370987311. Elaboratori elettronici - Linguaggi005.13v.005.13 TEN
Try it? : improving exhibits through formative evaluation / Samuel Taylor editor ; Beberly Serrel assistant editor. - New York, NY. : New York Hall of Science. Washington : Association of Science-Technology Centers Incorporated, c1991. - 117 p. : ill. ; 23 cm.ISBN 09440402921. Musei - Organizzazione 2. Musei - Visitatori - Inchieste I. Serrell, Beverly II. Taylor,
Samuel069.1v-069.1 TRY
Vahid, FrankEmbedded system design : a unified hardware/software introduction / Frank Vahid, Tony Givargis. - New York, N.Y. [etc.] : Wiley, c2002. - xxi, 324 p. : ill. ; 24 cm.ISBN 0471386782 ; ISBN 97804713867801. Elaboratori elettronici - Sistemi integrati - Progettazione e costruzione 2. Sistemi di controllo dedicati - Progettazione I. Givargis, Tony004.22
document.doc- Pagina 29 di 31Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050
Sistema Bibliotecario di Trento Biblioteca Polo di Scienze
v-004.22 VAH
Vianello, GiorgioEsercizi e temi d'esame di meccanica per gli istituti tecnici industriali / Giorgio Vianello. - 3. rist. - Firenze : Sansoni, 1986. - VIII, 330 p. : ill. ; 24 cm. - (Manuali scientifici e tecnici Sansoni).1. Meccanica - Esercizi531.076v-531.076 VIA
VLSIfor artificial intelligence / edited by José G. Delgado-Frias, Will R. Moore. - Boston, Mass. [etc.] : Kluwer academic, c1989. - XII, 274 p. : ill. ; 24 cm. - (The Kluwer international series in engineering and computer science. Vlsi, computer architecture and digital signal processing ; 68).ISBN 07923900081. Circuiti integrati 2. Intelligenza artificiale - Elaborazione dei dati I. Delgado-Frias, José G. II. Moore, Will R.006.3v-006.3 VLS
Wallen, Lincoln A.Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics / Lincoln A. Wallen. - Cambridge, Mass. London : MIT press, 1989. - 239 p. : tab. ; 24 cm.ISBN 02622314411. Intuizione matematica 2. Prova (Matematica) 3. Modalità (Logica)511.3v-511.3 WAL
Webb, Andrew RoyStatistical pattern recognition / Andrew R. Webb. - 2nd ed., repr. - Chichester : Wiley, 2003. - xviii, 496 p. : ill. ; 25 cm.Bibliogr.: p. [459]-490.ISBN 04708451471. Forma - Riconoscimento006.4v-006.4 WEB v-CORSO INF 161
Weizenbaum, JosephComputer power and human reason : from judgment to calculation / Joseph Weizenbaum. - New York San Francisco, Calif. : Freeman, 1976 copyr. - XII, 300 p. : ill. ; 24 cm.ISBN 07167046331. Intelligenza artificiale - Saggi 2. Elaboratori elettronici 3. Uomo e elaboratore
elettronico004.v-004 WEI
What's new in cardiac imaging? : SPECT, PET, and MRI / edited by Ernst E. van der Wall... [et al.]. - Dordrecht [etc.] : Kluwer academic, 1992. - XX, 544 p. : ill. ; 25 cm. - (Developments in cardiovascular medicine ; 133).ISBN 07923161501. Cuore - Tomografia assiale computerizzata 2. Spettroscopia a risonanza magnetica nucleare - Applicazioni in cardiologia I. Wall, Ernst E. van der616.1207575v-616.120 WHA
Whitfield, James F.Calcium, cell cycles and cancer / James F. Whitefield. - Boca Raton, Fla. : CRC press, 1990. - [14], 263 p. ; 26 cm.ISBN 08493623341. Calcio - Effetti fisiologici 2. Cancro - Studi 3. Ciclo cellulare
document.doc- Pagina 30 di 31Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050
Sistema Bibliotecario di Trento Biblioteca Polo di Scienze
612.01524v-612.01524 WHI
Wierzbicka, AnnaEnglish speech act verbs : a semantic dictionary / Anna Wierzbicka. - Sydney [etc.] : Academic press, c1987. - VIII, 397 p. ; 24 cm.Edito con legatura in cartone (24 cm) e in brossura (23 cm).ISBN 0123128102; ISBN 0123128110 (brossura)1. Lingua inglese - Verbi - Etimologia - Dizionari 2. Lingua inglese - Verbi - Semantica422.v- 422 WIE
Zadaci upraznenija po matematiceskomu analizu, in italiano Esercizi e problemi di analisi matematica / G. Baranenkov ... [et al.] ; a cura di B. Demidovišc. - 6. ed., 1. rist. - Roma : Editori riuniti, 2010. - 486 p. : tab. e graf. ; 21 cm. - (Biblioteca/scienze).ISBN 97888647320151. Analisi matematica - Esercizi I. Baranenkov, G. II. Demidovišc, Boris P.515.076v-CORSO TEL 013
Zwiebach, BartonA first course in string theory / Barton Zwiebach. - 2nd ed. - Cambridge [etc.] : Cambridge university press, 2009. - xxii, 673 p. : ill. ; 26 cm.Bibliogr.: p. [659]-666.ISBN 97805218803291. Stringhe - Teorie539.7258
v-539.7258 ZWI
document.doc- Pagina 31 di 31Via Sommarive, 14 – 38100 Trento, Italia - Tel. +39 0461/881510, Fax +39 0461/882050