Biblioteca Polo di Scienze
Download 0.69 Mb.
|
The Core language engine / edited by Hiyan Alshawi. - Cambridge, Mass. London : MIT press, 1992. - XVI, 322 p. ; 24 cm. - (ACL-MIT press series in natural language processing). ISBN 0262011263 1. Lingua inglese - Traduzioni 2. Linguistica - Elaborazione dei dati I. Alshawi, Hiyan 428.02
Formal specification of advanced Al architectures / Iain D. Craig. - New York, N.Y. [etc.] : Horwood, c1991. - XV, 319 p. : ill. ; 25 cm. - (Ellis Horwood series in artificial intelligence). ISBN 0133252000 1. Elaboratori elettronici - Linguaggio Z 2. Intelligenza artificiale - Elaborazione dei dati 3. Sistemi esperti 006.3
issues in parsing technology / edited by Masaru Tomita. - Boston, Mass. [etc.] : Kluwer academic, 1991. - XIX, 297 p. : tab. ; 24 cm. - (The Kluwer international series in engineering and computer science. Natural language processing and machine translation). ISBN 0792391314 1. Intelligenza artificiale 2. Linguaggio - Elaborazione dei dati I. Tomita, Masaru 006.35
and expert systems applications : 10th international conference, DEXA'99 : Florence, Italy, August 30-September 3, 1999 : proceedings / Trevor Bench-Capon, Giovanni Soda, A Min Tjoa (eds.). - Berlin [etc.] : Springer, c1999. - XVIII, 1105 p. : ill. ; 24 cm. - (Lecture notes in computer science ; 1677). Altro titolo: DEXA 99. ISBN 3540664483 1. Archivi di dati - Gestione - Congressi - 1999 2. Congressi - Firenze - 1999 3. Sistemi esperti - Congressi - 1999 I. Bench-Capon, T.J.M. II. Tjoa, A Min III. Soda, Giovanni 005.74
v-005.74 DATA (02) v-005.74 DATA (03) De Pretis, Daria Valutazione amministrazione e discrezionalità tecnica / Daria De Pretis. - Padova : CEDAM, 1995. - XI, 416 p. ; 24 cm. - (Pubblicazioni del Dipartimento di scienze giuridiche dell'Università di Trento ; 21). Indice degli autori. ISBN 8813192118 1. Amministrazione pubblica - Discrezionalità 2. Definizioni giuridiche - Interpretazione - Diritto amministrativo - Germania 342.45
Le bugie della scienza : perchè e come gli scienziati imbrogliano / Federico Di Trocchio. - 2. ed. - Milano : Club degli editori, 1993. - 364 p. ; 23 cm. Bibliogr.: p. [337]-351. 1. Scoperte scientifiche - Falsificazioni 509.
and defaults : studies in pure and applied intensional logic / edited by Maarten de Rijke. - Dordrecht [etc.] : Kluwer academic, c1993.- IX, 388 p. : ill. ; 23 cm. - (Synthese library ; 229). ISBN 0792323424 1. Modalità (Logica) I. Rijke, Maarten De 511.3
Evaluation of ultraviolet radiation hazards in hospitals / by B.L. Diffey and F.C. Langley. - London : Institute of physical sciences in medicine, c1986. - VII, 84 p. : ill. ; 21 cm. - (Report of the Institute of physical sciences in medicine ; 49). ISBN 0904181448 1. Attinoterapia - Misure di sicurezza I. Langley, F.C. 612.014484
sulla frequenza delle parole d'uso della lingua italiana. - Firenze : Accademia Aliprandi, 1994. - II, 401 p. ; 30 cm. 1. Lingua italiana - Lessico - Spogli di frequenza 453.
v-453 DIZ Doedens, Crist-Jan Text databases : one database model and several retrieval languages / Crist-Jan Doedens. - Amsterdam Atlanta, Ga. : Rodopi, 1994. - 314 p. : ill. ; 22 cm. - (Language and computers ; 10). ISBN 9051837291 1. Linguaggio - Archivi di dati 2. Linguaggio - Elaborazione dei dati 410.285
Aggiornamento di dati interdipendenti nei multidatabase : modello formale e metodo di calcolo : tesi di laurea / di: Antonia Donà ; relatore: Roberto Giacobazzi ; correlatore: Luciano Serafini. - [10], 144 p. : ill. ; 30 cm. Università degli Studi di verona, Facoltà di Scienze Matematiche, fisiche e naturali, Corso di Laurea in Informatica, a. acc. 1998-1999. 1. Archivi di dati - Elaborazione distribuita 2. Archivi di dati - Gestione I. Giacobazzi, Roberto II. Serafini, Luciano 005.758
Come ottenere la concessione di un brevetto : invenzioni industriali, modelli industriali, protezione e sfruttamento in Italia, brevetto europeo, brevetto comunitario, deposito e iter delle domande / Gianfranco Dragotti. - Milano : Giuffrè, 1995. - X, 189 p. : tab., fig. ; 24 cm + 2 audiocassette. - (Cosa & come. Azienda). ISBN 8814050813 1. Brevetti d'invenzione - Guide pratiche 346.450486 v-346.4504 DRA Duchi, Enrica Risoluzione automatica di ambiguità mediante la similarità semantica: applicazione in un sistema di information retrieval / Enrica Duchi ; relatore: Alfio Andronico ; correlatore: Bernardo Magnini. - [3], II, 104 c. : ill. ; 30 cm. Manoscritto. - Verso delle c. bianco. - Tesi di laurea - Università degli studi di Siena, Facoltà di scienze matematiche fisiche e naturali, Corso di laurea in matematica, a. acc. 1997-98. 1. Informazione - Recupero - Sistemi - Tesi di laurea 2. Linguaggio - Elaborazione dei dati - Tesi di aurea 3. Linguaggio - Archivi di dati - Tesi di laurea I. Andronico, Alfio II. Magnini, Bernardo 410.285
Principles of automated theorem proving / David A. Duffy. - Chichester [etc.] : Wiley, 1991. - XVIII, 243 p. ; 24 cm. ISBN 0471927848 1. Soluzione di problemi - Elaborazione elettronica dei dati 511.3
Basic introduction to bioelectromagnetics / Carl H. Durney, Douglas A. Christensen. - Boca Raton, Fla. [etc.] : CRC press, c2000. - 169 p. : ill. ; 26 cm. ISBN 0849311985 1. Elettromagnetismo - Effetti fisiologici I. Christensen, Douglas A. 612.01442 v-612.01442 DUR Ebbinghaus, Heinz-Dieter Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas. - New York, N.Y. [etc.] : Springer, 1984. - IX, 216 p. ; 25 cm. - (Undergraduate texts in mathematics). Tit. orig.: Einfuhrung in die mathematische Logik. ISBN 0387908951 1. Logica simbolica I. Flum, Jörg II. Thomas, Wolfgang 511.3
modeling framework : a developer's guide / Frank Budinsky ... [et al.] ; [foreword by Sridhar Iyengar]. - Boston, Mass. [etc.] : Addison-Wesley, c2004. - 720 p. : ill. ; 24 cm. - (The eclipse series). ISBN 0131425420 1. Software - Sviluppo 2. Elaboratori elettronici - Linguaggio Java I. Budinsky, Frank 005.1
of data warehousing and mining / John Wang. - Hershey, PA. [etc.] : Idea Group, c2006. - 2 v. (lx, 1248, 34 p. compless) : ill. ; 29 cm. ISBN 1591405572 1. Archivi di dati - Enciclopedie e dizionari 2. Archivi di dati e conoscenza I. Wang, John 005.74
Drawbridge Up : mathematics, a cultural anathema / Hans Magnus Enzensberger ; translated by Tom Artin ; [Illustrationen von Karl Heinrich Hofmann]. - Natick, Mass. : Peters, A.K., c1999. - 47, [1] p. : ill. ; 19 cm. Tit. orig.: Zugbruecke ausser betrieb : die mathematik im Jenseits der Kultur : eine Aussenansicht. - Testo tedesco a fronte.. ISBN 1568810997 1. Matematica - Aspetti sociali 510.
v-510 ENZ Ershov, Yuri L. Mathematical logic / Yu. L. Ershov, E.A. Palyutin ; translated from the russian by Vladimir shokurov. - Moskva : Mir, 1984. – 303 p. ; 21 cm. Tit. orig.: Matematjceskaja logjka. 1. Logica matematica I. Palyutin, Eugeny A. 511.3
Euralex 1994 : proceedings : papers submitted to the 6th EURALEX international congress on lexicography in Amsterdam, The Netherlands / Willy Martin ... [et al.]. - [S.l. : s.n.], c1999. - 628 p. : diagr. ; 24 cm. ISBN 9090075372 1. Lessicografia - Elaborazione dei dati - Congressi - Amsterdam - 1994 I. Martin, Willy 413.028
Eurolan'99 : 4th Eurolan summer school on Human language technology : Ia¥si 19-31 of July / Dan Cristea ... [et al.] (editors). - Ia¥si : Universitatea "Alexandru Ioan Cuza". Facultatea de Informatica, 1999. - 1 v. (varie sequenze) : ill. ; 30 cm. - (Technical report / Facultatea de informaticša, Universitatea Alexandru Ioan Cuza ; 02/99). 1. Congressi - Iasi - 1999 2. Linguaggio - Elaborazione elettronica - Congressi - 1999 3. Linguaggio - Archivi di dati - Congressi - 1999 I. Cristea, Dan 410.285
v-410.285 EUR (01) European association for machine translation 11th Annual conference of the European association for machine translation : proceedings : June 19 & 20, 2006, Oslo University (Norway). - [S.l. : s.n.], c2006. - vi, 252 p. ; 30 cm. Altro titolo: EAMT 2006. ISBN 8273682943 1. Traduzione automatica - Congressi - Oslo - 2006 418.020285 v-418.0202 EUR European conference on principles and practice of knowledge discovery in databases, 7., Dubrovnik, 2003 Knowledge discovey in databases : PKDD 2003 : 7th European Conference on principles and practice of knowledge discovery in databases : Cavtat-Dubrovnik, Coatia, September 22-26, 2003 : proceedings / Nada Lavrašc, Dragan Gamberger, Ljupšc Todorovski, Hendrik Blockeel (Eds.). - Berlin [etc.] : Springer, c2003. - XVI, 508 p. : diagr. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 2838). Bibliogr. ISBN 3540200851 1. Archivi di dati e conoscenza - Congressi - Dubrovnik - 2003 I. Lavrašc, Nada 006.3
v-006.3 EUR (02) v-DEPO 00985 European conference on principles and practice of knowledge discovery in databases, 8., Pisa, 2004 Knowledge discovey in databases : PKDD 2004 : 8th European Conference on principles and practice of knowledge discovery in databases : Pisa, Italy, September 20-24, 2004 : proceedings / Jean-François Boulicaut ... [et al.] (Eds.). - Berlin [etc.] : Springer, c2004. - XIX, 560 p. : diagr. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 3202). ISBN 3540231080 1. Archivi di dati e conoscenza - Congressi - Pisa - 2004 I. Boulicaut, Jean-François II. Tit.: PKDD 2004 006.3
Knowledge discovey in databases : PKDD 2005 : 9th European Conference on Principles and practice of knowledge discovery in databases : Porto, Portugal, October 3-7, 2005 : Proceedings / Alípio Jorge ... [et al.] (eds.). - Berlin [etc.] : Springer, c2005. - XXIII, 719 p. : diagr. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 3721). ISBN 3540292446 1. Archivi di dati e conoscenza - Congressi - Porto - 2005 I. Jorge, Alípio II. Tit.: PKDD 2005 006.3
Proceedings of ESSCIRC 2005 : 31st European solid-state circuit conference : Grenoble, France, 12-16 September 2005 / edited by Laurent Fesquet ... (et al.). - [S.l.] : IEEE, c2005. - [4], XVIII, 538 p. : ill. ; 31 cm. In testa al front.: Essderc, Esscirc. ISBN 0780392051 1. Circuiti integrati - Congressi - Grenoble - 2005 2. Semiconduttori - Congressi - Grenoble - 2005 I. Fesquet, Laurent 621.395
v-621.395 EUR European workshop on Case-based reasoning, 2., Chantilly, 1994 Second European workshop on case-based reasoning (EWCBR 94) : presentations and posters / Mark Keane, Jean-Paul Haton, Michel Manago (Eds.). - Paris : Acknosoft, [1994?]. - IV, 381 p. : ill. ; 30 cm. 1. Congressi - Chantilly - 1994 2. Sistemi esperti - Congressi - 1994 3. Sistemi di supporto alle decisioni - Congressi - 1994 I. Haton, Jean-Paul II. Keane, Mark T. III. Manago, Michel 006.33
v-006.33 EUR European workshop on Natural language generation, 4., Pisa, 1993 The fourth European workshop on Natural language generation : Pisa, 28-30 April 1993, Hotel Mediterraneo. - [S.l. : s.n.], [1993?]. - 178, [15] p. ; 30 cm. Preprint. 1. Congressi - Pisa - 1993 2. Linguaggio - Elaborazione dei dati - Congressi - 1993 410.285
Gestione e contabilità dell'ente locale / Giuseppe Farneti. - Rimini : Maggioli, 1996. - 474 p. ; 24 cm. - (Svimap network ; 5). ISBN 8838707758 1. Enti locali - Gestione finanziaria - Controllo 352.10945
Artificial intelligence: its scope and limits / James H. Fetzer. - Dordrecht [etc.] : Kluwer academic, c1990. - XVII, 338 p. ; 23 cm. - (Studies in cognitive systems ; 4). ISBN 0792305485 1. Intelligenza artificiale 006.3
Proceedings of the FLoC workshop finite model theory and its applications : Trento, Italy, July 1, 1999. - [S.l. : s.n.], [1999?]. – 1 v. ; 30 cm. Dati dalla cop. - In testa al front.: The 1999, Federated logic conference. - Paginaz. a varie frequenze. 1. Congressi - Trento - 1999 2. Logica - Teoria dei modelli - Congressi - 1999 511.3
Proceedings of the FLoC workshop Grobner bases and rewriting techniques : Trento, Italy, June 30 - July 1, 1999. - [S.l. : s.n.], [1999?]. - 1 v. ; 30 cm. Dati dalla cop. - In testa alla cop.: The 1999, Federated logic conference. - Paginaz. a varie frequenze. 1. Analisi numerica - Elaborazione elettronica dei dati - Congressi - 1999 2. Congressi - Trento - 1999 3. Moduli (Algebra) - Congressi - 1999 4. Elaboratori elettronici - Funzioni di sostituzione dei dati - Congressi - 1999 512.24
Proceedings of the FLoC workshop intuitionistic modal logics and applications : Trento, Italy, July 6, 1999. - [S.l. : s.n.], [1999?]. - [6] p. ; 30 cm. Dati dalla cop. - In testa alla cop.: The 1999, Federated logic conference. 1. Congressi - Trento - 1999 2. Modalità (Logica) - Congressi - 1999 3. Insiemi - Teoria assiomatica - Congressi - 1999 511.3
Bio-inspired artificial intelligence : theories, methods and technologies / Dario Floreano, Claudio Mattiussi. - Cambridge, Mass. London : MIT press, c2008. - xiv, 659 p. : ill. ; 24 cm. - (Intelligent robots and autonomous agents). Bibliogr.: p. [587]-649. ISBN 9780262062718 1. Automi 2. Sistemi autoadattanti 3. Reti neurali (Informatica) 4. Intelligenza artificiale - Elaborazione dei dati I. Mattiussi, Claudio 006.3
v-006.3 FLO Fontana, Anna Maria Manuale dei contratti di ricerca con l'Unione europea : istituzioni di diritto e tecnica dei contratti di ricerca / Anna maria Fontana, Roberto Cippitani. - Padova : CEDAM, 2000. - 295 p. ; 24 cm. ISBN 8813225547 1. Ricerca scientifica - Contratti - Diritto comunitario I. Cippitani, Roberto 341.753
v-341.753 FON Forte, Pierpaolo La nuova tutela del diritto d'autore : la riforma della normativa sul diritto d'autore e sull'ordinamento della SIAE (Legge 18 agosto 2000, n.248 e DM 4 giugno 2001) / Pierpaolo Forte. - Milano : Il sole 24 ore Pirola, 2001. - X, 191 p. ; 24 cm. - (Attualità legislativa). Con appendice legislativa. ISBN 8832443910 1. Diritti d'autore - Legislazione I. Italia 346.4504
v-346.4504 FOR Foundations of artificial intelligence / edited by David Kirsh. - Cambridge, Mass. London : MIT press, 1992. - 358 p. ; 26 cm. - (Bradford books) (Special issues of artificial intelligence: an international journal). ISBN 0262610752 1. Intelligenza artificiale I. Kirsh, David 006.3
of real-world intelligence / edited by Yoshinori Uesaka, Pentti Kanerva, Hideki Asoh. - Stanford, Calif. : CSLI, c2001. - XII, 316 p. : diagr. ; 23 cm. Bibliogr.: p. 308-311. ISBN 1575863383 1. Intelligenza artificiale 2. Reti neurali I. Asoh, Hideki II. Uesaka, Yoshinori4edt III. Kanerva, Pentti 006.3
v-006.3 FOU Foundations of software science and computation structures : 6th international conference, FOSSACS 2003 : held as part of the Joint european conferences on theory and practice of software, ETAPS 2003 : Warsaw, Poland, April 7-11, 2003 : proceedings / Andrew D. Gordons (eds.). - Berlin [etc.] : Springer, c2003. - XII, 440 p. : ill. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 2620). Altro titolo: ETAPS 2003. - Altro titolo: FOSSACS 2003 ISBN 3540008977 1. Software - Congressi - Warszawa - 2003 I. Gordon, Andrew D. 005.1
v-005.1 FOU (04) Foundations of software science and computation structures : 8th international conference, FOSSACS 2005 : held as part of the Joint european conferences on theory and practice of software, ETAPS 2005 : Edinburgh, UK, April 4-8, 2005 : proceedings / Vladimiro Sassone (Ed.). - Berlin [etc.] : Springer, c2005. - XIII, 519 p. : ill. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 3441). Altro titolo: ETAPS 2005. - Altro titolo: FOSSACS 2005. ISBN 3540253882 1. Software - Congressi - Edinburgh - 2005 I. Sassone, Vladimiro 005.1
v-005.1 FOU (05) Foundations of software technology and theoretical computer science : 23rd conference, Mumbai, India : December 15-17, 2003 : proceedings / Sparitosh K. Pandya, Jaikumar Radhakrishnan (Eds.). - Berlin [etc.] : Springer, c2003. - XIII, 446 p. ; 24 cm. - (Lecture notes in computer science ; 2914). Precede il tit.: FSTTCS 2003. - Altro titolo: FSTTCS 2003. - Bibliogr. 1. Informatica - Congressi - Bombay - 2003 2. Software - Congressi - Bombay - 2003 I. Pandya, Paritosh K. II. Radhakrishnan, Jaikumar 005.
v-005 FOU From pixels to features III : frontiers in handwriting recognition / edited by S. Impedovo, J.C. Simon. - Amsterdam [etc.] : North-Holland, 1992. - XIII, 515 p. ; 25 cm. ISBN 0444896651 1. Immagini ottiche - Elaborazione - Tecniche digitali 2. Scrittura - Elaborazione elettronica I. Impedovo, Sebastiano II. Simon, Jean Claude 006.37
Mente, comportamento e intelligenza artificiale / Luciano Gallino. - Milano : Edizioni di Comunità, 1984. - 77, [2] p. ; 20 cm. - (Paperback / [Edizioni di Comunità]). ISBN 8824502113 1. Intelligenza artificiale 2. Sistemi esperti 3. Mente 006.3
Data fitting in the chemical sciences by the method of least squares / Peter Gans. - Chichester [etc.] : Wiley, 1992. - XII, 258 p. : ill. ; 24 cm. ISBN 0471934127 1. Curva interpolante 2. Minimi quadrati 511.42
practices in language / edited by Sarah Benor ... ISBN 1575863189 1. Linguaggio - Sociologia 2. Linguaggio e sesso I. Benor, Sarah 306.44
Intelligent machines : an introductory perspective of artificial intelligence and robotics / William B. Gevarter. - Englewood Cliffs, N.J. : Prentice-Hall, 1985. - XVI, 282 p. : tab. ; 24 cm. ISBN 0134688104 1. Automi 2. Intelligenza artificiale 006.3
Multimodalità e multimedialità nella comunicazione : atti delle XI giornate di studio del Gruppo di fonetica sperimentale (A.I.A.) : Palazzo del Bo, Archivio Antico e Aula Nievo, 29-30 novembre, 1 dicembre 2000 / a cura di Emanuela Magno Caldognetto e Piero Cosi. - Padova : Unipress, 2001. - VI, 253 p. : ill. ; 24 cm. - (Collana degli atti dell'Associazione italiana di acustica ; 28). ISBN 8880981536 1. Elaboratori elettronici - Riconoscimento della voce umana - Congressi - Padova - 2000 2. Linguaggio - Elaborazione dei dati - Congressi - Padova - 2000 410.285
Semantic domains in computational linguistics / Alfio Massimiliano Gliozzo; advisor: Dr. Carlo Strapparava. - xviii, 206 p. : ill. ; 21 cm. Manoscritto. - PhD Dissertation, International Doctorate School in information and communication technologies, DIT- University Trento. 1. Linguistica - Elaborazione dei dati - Tesi di dottorato 2. Semantica - Elaborazione dei dati - Tesi di dottorato 410.285
Topoi : the categorial analysis of logic / Robert Goldblatt. - 2nd print., revised ed. - Amsterdam [etc.] : North-Holland, 1986. - XVI, 551 p. ; 23 cm. - (Studies in logic and the foundations of mathematics ; vol. 98). ISBN 0444867112 1. Categoria (Matematica) 2. Topoi 3. Logica - Teoria dei modelli 512.55
Logics of time and computation / Robert Goldblatt. - Stanford, Calif. : CSLI, c1987. - IX, 131 p. ; 23 cm. - (CSLI lecture notes ; 7). 1. Computabilità - Teoria 2. Linguaggio - Modelli matematici 3. Logica matematica 511.3
v-511.3 GOLD (01) Golumbic, Martin Charles Algorithmic graph theory and perfect graphs / Martin Charles Golumbic. - 2nd. ed. - Amsterdam [etc.] : Elsevier, 2004. - xxvi, 314 p. : ill. ; 25 cm. - (Annals of discrete mathematics / [Elsevier] ; 57). ISBN 0444515305 1. Teoria dei grafi 511.5
Visual effects in a digital world / Karen E. Goulekas. - San Diego, Calif. : Kaufmann, c2001. - X, 600 p., [16] c. di tav. : ill. ; 24 cm. Bibliogr.: p. 593-600. ISBN 0122937856 1. Elaboratori elettronici - Grafica - Dizionari 2. Immagini - Elaborazione - Tecniche digitali - Dizionari 006.60321 v-CONS 006.6032 GOU A grammar writer's cookbook / Miriam Butt ... [et. al.]. - Stanford, Calif. : CSLI, 1999. - XII, 244 p. : tab. ; 23 cm. ISBN 1575861704 1. Grammatica comparata 2. Linguistica - Elaborazione dei dati I. Butt, Miriam 415.0285
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:
|