Biblioteca Polo di Scienze
Download 0.69 Mb.
|
v-005.432 BOT 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
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
Prolog programming for artificial intelligence / Ivan Bratko. - Wokingham [etc.] : Addison-Wesley, 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
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
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 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
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
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
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 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
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
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
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
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
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
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 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.
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 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
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.
Barriers / Noam Chomsky. - Cambridge, Mass. London : MIT press, c1986. - 102 p. ; 24 cm. - (Linguistic inquiry monographs ; 13). ISBN 0262530678 1. Grammatica generativa 415.
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
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.
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
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.
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). 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.
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
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
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
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 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 .. 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
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
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
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) Directory: files -> download download -> Northern England’s set-jetting locations download -> Contact Hour per Semester download -> The 19th Annual Hahn Moo-Sook Colloquium in the Korean Humanities download -> Grade 11 Listening comprehension Operation Migration download -> Project summary download -> Contact Hour per Semester download -> Application forms please fill out and sign the adequate application form download -> United nations ep download -> The Ministry of Education and Science of Ukraine kirovohrad rayon Olympiad in the English Language download -> Ieee editorial style manual. V. Editing references Download 0.69 Mb. Share with your friends:
|