Biblioteca Polo di Scienze
Download 0.69 Mb.
|
v-415.0285 GRA rammatical representation / J. Guéron, H.G. Obenauer, J.Y. Pollock (eds.). - Dordrecht Cinnaminson, N.J. : Foris, 1985. - VI, 362 p. ; 25 cm. - (Studies in generative grammar ; 22). ISBN 906765115X 1. Grammatica generativa I. Gueron, Jacqueline II. Pollock, Jean-Yves III. Obenauer, Hans Georg 415.
v-415 GRA Halliday, Michael Alexander Kirkwood Cohesion in English / M.A.K. Halliday, Ruqaiya Hasan. - 7. impr. - London New York, N.Y. : Longman, 1985. - XV, 374 p. ; 22 cm. -(English language series ; 6). ISBN 0582550416 1. Lingua inglese - Semantica 2. Lingua inglese - Stilistica I. Hasan, Ruqaiya 425.
Situation semantics and semantic interpretation in constraint-based grammars / Per-Kristian Halvorsen. - Stanford, Calif. : CSLI, c1987. - 13 p. ; 28 cm. - (CSLI report ; 101/87). Verso delle c. bianco. 1. Discorso - Analisi semantica 412.
for language engineers / edited by Ali Farghaly. - Stanford, Calif. : CSLI, 2003. - XI, 442 p. : ill. ; 23 cm. - (CSLI lecture notes ; 164). ISBN 1575863960 1. Linguistica - Elaborazione dei dati I. Farghaly, Ali 410.285
of graph grammars and computing by graph transformation / edited by H. Ehrig, G, Engels, H.J. Kreowski, G. Rozenberg. – Singapore [etc.] : World scientific, c1999-2003. - v. : ill. ; 22 cm. 2: Applications, languages and tools. - XIX, 698 p. - 1 CD-ROM 1: Foundations / edited by Grzegorz Rozenberg. -2003. - XV, 553 p. ISBN 9810228848 (1.v.); ISBN 9810240201 (2.v.)* 1. Teoria dei grafi - Elaborazione dei dati 2. Logica matematica I. Ehrig, Hartmut II. Rozenberg, Grzegorz 511.3
of image and video processing / editor Al Bovik. - San Diego, Calif. [etc.] : Academic press, c2000. - XV, 891 p., [24] c. di tav. : ill. ; 29 cm. - (Academic press series in communications, networking, and multimedia). ISBN 0121197905 1. Immagini - Elaborazione - Tecniche digitali 2. Sistemi multimediali I. Bovik, Al 006.6
of natural language processing / edited by Robert Dale, Hermann Moisl, Harold Somers. - New York, N.Y. Basel : Dekker, c2000. - XVIII, 943 p. : diagr. ; 26 cm. ISBN 0824790006 1. Linguaggio - Elaborazione elettronica - Manuali I. Dale, Robert II. Somers, Harold III. Moisl, Hermann 006.35
of pattern recognition and image processing / edited by Tzay Y. Young, King-Sun Fu. - Orlando, Fla. [etc.] : Academic press, 1986. - XX, 705 p. : ill. ; 25 cm. - (Handbooks in science and technology). ISBN 0127745602 1. Forma - Riconoscimento - Sistemi 2. Immagini ottiche - Elaborazione I. Fu, King Sun II. Young, Tzay Y. 006.4
Computer graphics : a programming approach / Steven Harrington. - New York, N.Y. [etc.] : McGraw-Hill, 1983. - XV, 448 p. : tab. ; 24 cm. ISBN 0070267510 1. Elaboratori elettronici - Grafica 2. Elaboratori elettronici - Programmazione 006.66
Introduction to formal language theory / Michael A. Harrison. - Reading, Mass. [etc.] : Addison-Wesley, c1978. - XIV, 594 p. ; 24 cm. - (Addison-Wesley series in computer science). ISBN 0201029553 1. Linguaggi formali 511.3
Indefinitive pronouns / Martin Haspelmath. - Oxford : Clarendon, 1997. - XVI, 364 p. : ill. ; 24 cm. - (Oxford studies in typology and linguistic theory). Bibliogr.: p. 330-353. ISBN 0198235607 1. Grammatica comparata - Pronomi 415.
v-415 HAS Herbrand, Jacques Logical writings / Jacques Herbrand ; edited by Warren D. Goldfarb ; a translation of the "Ecrits logiques" edited by Jean van Heijenoort. - Dordrecht [etc.] : Reidel, c1971. - VII, 312 p. : ill. ; 23 cm. Tit. orig.: Ècrits logiques. ISBN 9027701768 1. Logica matematica I. Goldfarb, Warren D. 511.3
v-511.3 HER (01) Herburger, Elena What counts : focus and quantification / Elena Herburger. - Cambridge, Mass. : MIT press, c2000. - X, 166 p. ; 23 cm. - (Linguistic inquiry monographs ; 36). Bibliogr.: p. [155]-160. ISBN 026258185X 1. Focus (Linguistica) 2. Grammatica comparata 3. Semantica 415.
v-415 HER Hillis, W. Daniel The connection machine / W. Daniel Hillis. - 3. print. - Cambridge, Mass. London : MIT press, 1986. - XIII, 190 p. : tab. ; 23 cm. - (The MIT press series in artificial intelligence). ISBN 0262081571 1. Intelligenza artificiale 006.3
Differential equations, dynamical systems, and linear algebra / Morris W. Hirsch and Stephen Smale. - San Diego, Calif. [etc.] : Academic press, c1974. - XI, 358 p. ; 24 cm. - (Pure and applied mathematics / [Academic press] ; 60). ISBN 0123495504 1. Equazioni differenziali 2. Sistemi dinamici 3. Algebra lineare I. Smale, Stephen 515.35
Transitivity : grammatical relations in government-binding theory / Teun Hoekstra. - 2nd print. - Dordrecht Providence : Foris, 1987. - XII, 311 p. ; 24 cm. - (Linguistic models / [Foris] ; 6). ISBN 9067650145 1. Grammatica 2. Linguistica 415.
The syntax of argument-structure-changing morphology / by Mika Christine Hoffman. - Cambridge, Mass. : MIT press, 1991. – 245 p. ; 22 cm. Sul front: Submitted to the Department of linguistics and philosophy in partial fulfillment of the requirements for the degree of doctor of philosophy at the Massachussetts Institute of technology. 1. Grammatica comparata - Sintassi 2. Lingue bantù - Morfologia 496.39
Logic as grammar / Norbert Hornstein. - 2. print. - Cambridge, Mass. London : MIT press, 1986. - X, 176 p. ; 24 cm. - (Bradford books). Sottotit. di cop.: an approach to meaning in natural language. 1. Grammatica 2. Semantica 3. Linguaggio e logica 415.
Focus in the theory of grammar and the syntax of Hungarian / Julia Horvath. - Dordrecht Riverton : Foris, 1986. - VIII, 241 p. ; 24 cm. - (Studies in generative grammar ; 24). ISBN 9067651222 1. Lingua ungherese - Grammatica 2. Lingua ungherese - Sintassi 494.5115
Human language technology conference of the North American chapter of the Association of Computational Linguistics : June 4-9, 2006 New York, New York, USA / Robert C. Moore, General Chair. - Stroudsburg, Pa. : Association for computational linguistics, c2006. - 2 v. : graf. ; 28 cm. In testa al front.: HLT-NAACL 2006. - Altro titolo: HLT-NAACL 2006. [1] : Proceedings of the main conference. - xxxviii, 497 p. [2] : Companion volume : short papers, doctoral consortium, demonstrations ... - vi, 310 p. 1. Linguaggio - Elaborazione elettronica - Congressi - New York, N.Y. - 2006 I. Moore, Robert C. II. Association of computational linguistics. North American chapter III. Tit.: Human language technology conference of the North American chapter f the Association of Computational Linguistics 410.285
Applied nonparametric regression / Wolfgang Hardle. - Cambridge [etc.] : Cambridge university press, 1990. - XV, 333 p. : tab. ; 24 cm. - (Econometric society monographs ; 19). Stampato negli Stati Uniti d'America. - Bibliogr.: p. 305-323. - Indice dei nomi. ISBN 0521382483 1. Analisi della regressione 519.536
v-519.536 HAR IEEE IEEE standard for information technology : test methods for measuring conformance to POSIX / sponsor, Technical committee on operating systems and application environments of the IEEE computer society... - New York, N.Y. : IEEE, c1991. - X, 47 p. ; 30 cm. - (Ieee standard ; 1003.3-91). ISBN 1559371048 1. Elaboratori elettronici - Sistemi operativi - Standardizzazione 005.430218
Proceedings 12th Ieee International workshop on program comprehension : IWPC 2004, 24-26 June 2004, Bari, Italy. - Los Alamitos, Calif. [etc.] : IEEE computer society, c2004. - xiii, 271 p.ill. ; 28 cm. ISBN 0769521495 1. Software - Ingegneria - Congressi - Bari - 2004 005.16
Proceedings second IEEE international workshop on source code analysis and manipulation : 1 October 2002, Montreal, Canada : SCAM 2002 / sponsored by Institute of electrical and electronics engineers (IEEE). - Los Alamitos, Calif. [etc.] : IEEE computer society, C2002. - X, 183 p. : diagr. ; 28 cm. Secondo sottotit. precede il tit. - : SCAM 2002. ISBN 0769517935 1. Software - Sviluppo - Congressi - Montreal - 2002 I. Tit.: Proceedings second IEEE international workshop on source code analysis and manipulation 005.12
v-005.12 IEE IEEE international workshop on web site evolution theme: architecture, 5., Amsterdam, 2003 Proceedings fifth IEEE international workshop on web site evolution theme : architecture : Amsterdam, The Netherlands, 22 September 2003 / edited by Kenny Wong. - Los Alamitos, Calif. [etc.] : IEEE computer society, c2003. - VI, 4, 109 p. ; 28 cm. WSE 2003. ISBN 0769520162 1. Siti web - Programmazione - Congressi - Amsterdam - 2003 I. Wong, Kenny II. Tit.: Proceedings fifth IEEE International workshop on web site evolution theme III. Tit.: WSE 2003 005.72
v-005.72 IEE IFIP WG 10.5 Workshop on Silicon architectures for neural nets, Saint Paul de Vence, 1990 Silicon architectures for neural nets : proceedings of the IFIP WG 10.5 workshop on Silicon architectures for neural nets, Saint Paul de Vence, France, 28-30 November, 1990 / edited by Mariagiovanna Sami, Jesus Calzadilla-Daguerre. - Amsterdam [etc.] : North-Holland, 1991. - IX, 304 p. : ill. ; 23 cm. ISBN 0444891137 1. Congressi - Saint-Paul-de-Vence - 1990 2. Elaboratori elettronici - Architettura - Congressi - 1990 3. Elaboratori elettronici neuronali - Congressi - 1990 I. Calzadilla-Daguerre, Jesus II. Sami, Maria Giovanna 006.3
selection and construction for data mining / edited by Huan Liu, Hiroshi Motoda. - Boston, Mass. [etc.] : Kluwer academic, c2001. - XXV, 416 p. : diagr. ; 24 cm. - (The Kluwer international series in engineering and computer science). ISBN 0792372093 1. Analisi dei dati 2. Intelligenza artificiale 3. Archivi di dati e conoscenza I. Liu, Huan II. Motoda, Hiroshi 006.3
knowledge-based systems : an introduction / edited by Tim O'Shea, John Self, Glan Thomas. - London [etc.] : Harper & Row, 1987. - XI, 231 p. ; 25 cm. - (Series in information technology). ISBN 0063183668 1. Intelligenza artificiale I. O'Shea, Tim II. Self, John III. Thomas, Glan 006.3
Artificial intelligence: methodology, systems, and applications : 13th international conference, AIMSA 2008 : Varna, Bulgaria, September 4-6, 2008 : proceedings / Danail Dochev, Marco Pistore, Paolo Traverso (Eds.). - Berlin Heidelberg : Springer, c2008. - XII, 416 p. : ill. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 5253). Altro titolo: AIMSA 2008. ISBN 9783540857754 1. Intelligenza artificiale - Congressi - Varna - 2004 I. Dochev, Danail II. Pistore, Marco III. Traverso, Paolo IV. Tit.: Artificial intelligence: methodology, systems, and applications 006.3
v-006.3 INT (08) International conference AIMSA, 8., Sozopol, 1998 Artificial intelligence : methodology, systems, applications : 8th international conference, AIMSA '98 : Sozopol, Bulgaria, September 21-23, 1998 : proceedings / Fausto Giunchiglia (ed.). - Berlin [etc.] : Springer, c1998. - ix, 502 p. ; 24 cm. - (Lecture notes in computer science ; 1480). Altro titolo: AIMSA 1998. ISBN 354064993X 1. Intelligenza artificiale - Congressi - Sozopol - 1998 I. Giunchiglia, Fausto II. Tit.: Artificial intelligence 006.3
v-006.3 INT (07) International conference CICLing, 6., Ciudad de Mexico, 2005 Computational linguistics and intelligent text processing : 6th international conference, CICLing 2005, Mexico City, Mexico : February 13-19, 2005 : proceedings/ Alexander Gelbukh (Ed.). - Berlin [etc.] : Springer, c2005. - XVII, 8290 p. : ill. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 3406). Altro titolo: CICLing 2005. ISBN 3540245235 1. Discorso - Analisi - Elaborazione dei dati - Congressi - Ciudad de Mexico - 2005 2. Informazione - Recupero - Sistemi - Congressi - Ciudad de Mexico - 2005 3. Linguistica - Elaborazione dei dati - Congressi - Ciudad de Mexico - 2005 I. Gelbukh, Alexander 410.285
Database and expert systems applications : 11th international conference DEXA 2000 : London, UK, September 4-8, 2000 : proceedings / Mohamed Ibrahim, Joseph Kueng, Norman Revell (eds.). - Berlin [etc.] : Springer, 2000. - XIX, 1005 p. : ill. ; 24 cm. - (Lecture notes in computer science ; 1873). Altro titolo: DEXA 2000. ISBN 3540679782 1. Archivi di dati - Gestione - Congressi - London - 2000 2. Sistemi esperti - Congressi - London - 2000 I. Ibrahim, Mohamed II. Revell, Norman III. Küng, Joseph 005.74
v-005.74 INT (08) International Conference ICATPN 2004, 25., Bologna, 2004 Applications and theory of Petri Nets 2004 : 25th International conference, ICATPN 2004 : Bologna, Italy, June 21-25, 2004 : proceedings / Jordi Cortadella, Wolfgang Reisig (eds.). - Berlin [etc.] : Springer, c2004. - XI, 503 p. : ill. ; 24 cm. - (Lecture notes in computer science ; 3099). Altro titolo: ICATPN 2004. ISBN 3540222367 1. Reti di petri - Congressi - Bologna - 2004 I. Cortadella, Jordi II. Reisig, Wolfgang III. Tit.: Applications and theory of Petri Nets 2004 511.3
v-511.3 INT (06) International Conference IVA 2006, 6., Marina Del Rey, CA 2006 Intelligent virtual agents : 6th International conferencee IVA 2006 : Marina Del Rey, CA, USA, August 21-23, 2006 : proceedings / Jonathan Gratch ... [et al.]. - Berlin Heidelberg : Springer, c2006. - XIV, 466 p, [8]. : tab. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 4133). Altro titolo: IVA 2006. 1. Elaboratori elettronici - Modelli di simulazione - Congressi - Marina Del Rey, Calif. - 2006 2. Sistemi ipermediali - Congressi - Marina Del Rey, Calif. - 2006 I. Gratch, Jonathan II. Tit.: Intelligent virtual agents 006.3
Knowledge-based intelligent information and engineering systems : 7th International conference KES 2003 : Oxford, UK, September 3-5, 2003 : proceedings / Vasile Palade, Robert J. Howlett, Lakhmi Jain (eds.). - Berlin [etc.] : Springer, c2003. - 2 v. (CII, 2916 p. compless.) : ill. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 2773-2774). ISBN 3540408037 (1.v.)*; ISBN 3540408045 (2.v.)* 1. Intelligenza artificiale - Congressi - Oxford - 2003 2. Sistemi esperti - Congressi - Oxford - 2003 I. Howlett, Robert J. II. Palade, Vasile III. Jain, Lakhmi C. 006.33 v-006.33 INT (11) (I-II) International conference on Artificial neural networks (ICANN-91), Espoo, 1991 Artificial neural networks : proceedings of the 1991 International conference on Artificial neural networks (ICANN-91), : Espoo, Finland, 24-28 June, 1991 / edited by Teuvo Kohonen, Kai Maekisara, Olli Simula and Jari Kangas. - Amsterdam [etc.] : North-Holland, 1991. - 2 v.(XIX, XIX, 1819 p.) ;. Atti della conferenza tenuta a Espoo, nel 1991. ISBN 0444891781 1. Circuiti neuronali - Congressi - 1991 2. Elaboratori elettronici neuronali - Congressi - 1991 3. Congressi - Espoo - 1991 I. Kangas, Jari II. Kohonen, Teuvo III. Mäkisara, Kai IV. Simula, Olli 006.3
v-006.3 INTE (05) (I-II) International conference on artificial neural networks, 17, Porto, 2007 Artificial neural networks - ICANN 2007 : 17th International Conference, Porto, Portugal, September 9-13, 2007 : procedings / Joaquim Marques de Sá ... [et al.]. - Berlin Heidelberg : Springer, c2007. - 2 v. (LXII, 1968 p. compless.) : tab. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 4668, 4669). Altro titolo: ICANN 2007. ISBN 9783540746898 (1. v.)*; ISBN 9783540746935 (2. v.)* 1. Circuiti neuronali - Oporto - Congressi - 2007 2. Elaboratori elettronici neuronali - Oporto - Congressi - 2007 I. Tit.: Artificial neural networks - ICANN 2007 006.3
v-006.3 INT (10) (I-II) International conference on Automated deduction, 11., Saratoga Springs, 1992 Automated deduction, CADE-11 : 11th International conference on Automated deduction, Saratoga Springs, NY Usa, June 15-18 1992 : proceedings / D. Kapur (ed.). - Berlin [etc.] : Springer, c1992. - XV, 793 p. ; 25 cm. - (Lecture notes in computer science ; 607). Bibliogr. ISBN 3540556028 1. Congressi - Saratoga Springs, N.Y. - 1992 2. Dimostrazione automatica di teoremi - Congressi - 1992 3. Logica matematica - Congressi - 1992 4. Logica simbolica - Congressi - 1992 I. Kapur, Deepak 511.3
v-006.33 CAD (02) International conference on automated deduction, 12., Nancy, 1994 Automated deduction, CADE-12 : 12th International conference on automated deduction, Nancy, France, June 26-July 1, 1994 : proceedings / Alan Bundy (ed.). - Berlin [etc.] : Springer, c1994. - XVI, 848 p. ; 24 cm. - (Lecture notes in computer science ; 814). ISBN 0387581561; ISBN 3540581561 1. Congressi - Nancy - 1994 2. Dimostrazione automatica di teoremi - Congressi - 1994 3. Logica simbolica - Congressi - 1994 4. Logica matematica - Congressi - 1994 I. Bundy, Alan 006.33
Automated deduction, CADE-13 : 13th international conference on Automated Deduction : New Brunswick, NJ, USA : July 30-August 3, 1996 : proceedings / M.A. McRobbie, J.K. Slaney (Eds.). - Berlin [etc.] : Springer, c1996. - XV, 764 p. : ill., tab. ; 24 cm. - (Lecture notes in computer science ; 1104). Scritti di vari. ISBN 3540615113 1. Congressi - New Brunswick, N.J. - 1996 2. Logica matematica - Congressi - 1996 3. Logica simbolica - Congressi - 1996 4. Dimostrazione automatica di teoremi - Congressi - 1996 I. McRobbie, Michael A. II. Slaney, John K. 006.33
v-006.33 CAD (04) International Conference on Automated Deduction, 15., Lindau, 1998 Automated deduction, CADE-15 : 15th International conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings / Claude Kirchner, Hélène Kirchner (Eds.). - Berlin [etc.] : Springer, 1998-. - XIV, 441 p. : ill. ; 23 cm. - (Lecture notes in computer science ; 1421). ISBN 3540646752 1. Congressi - Lindau - 1998 2. Dimostrazione automatica di teoremi - Congressi - 1998 3. Logica simbolica - Congressi - 1998 006.33
Automated deduction, CADE-16 : 16th International conference on automated deduction, Trento, Italy, July 7-10, 1999 : proceedings / Harald Ganzinger (ed.). - Berlin [etc.] : Springer, c1999. - XIV, 428 p. : diagr. ; 24 cm. - (Lecture notes in computer science ; 1632). Altro titolo: Automated deduction-CADE-16. ISBN 3540662227 1. Congressi - Trento - 1999 2. Dimostrazione automatica di teoremi - Congressi - 1999 3. Logica simbolica - Congressi - 1999 I. Ganzinger, Harald II. Tit.: Automated deduction, CADE-16 511.3
Automated deduction, CADE-20 : 20th International conference on automated deduction, Tallin, Estonia, July 22-27, 2005 : proceedings / Robert Nieuwenhuis (Ed.). - Berlin Heidelberg : Springer, c2005. - XIII, 457 p. : diagr. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 3632). Altro titolo: CADE-20. 1. Dimostrazione automatica di teoremi - Congressi - Tallin - 2005 2. Logica simbolica - Congressi - Tallin - 2005 I. Nieuwenhuis, Robert II. Tit.: Automated deduction, CADE-20 006.33
v-006.33 CAD (07) International conference on Automated deduction, 22., Montreal, 2009 Automated deduction, CADE-22 : 22th International conference on Automated deduction, Montreal, Canada, August 2-7, 2009 : proceedings / Renate A. Schmidt (Ed.). - Berlin [etc.] : Springer, c2009. - XIV, 504 p. : diagr. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 5663). Altro titolo: CADE-22. ISBN 9783642089585 . Dimostrazione automatica di teoremi - Congressi - Montreal - 2009 2. Logica simbolica - Congressi - Montreal - 2009 I. Schmidt, Renate A. II. Tit.: Automated deduction, CADE-22 006.33
v-006.33 CAD (08) International conference on automated deduction, 8., Oxford, 1986 8th International conference on automated deduction : Oxford, England, July 27-August 1, 1986, proceedings / edited by Joerg H. Siekmann. - Berlin [etc.] : Springer, 1986 copyr. - IX, 708 p. ; 25 cm. - (Lecture notes in computer science ; 230). ISBN 3540167803 1. Congressi - Oxford - 1986 2. Logica simbolica - Congressi - 1986 3. Deduzione - Automazione - Congressi - 1986 I. Siekmann, Jörg H. 006.33
9th international conference on Automated deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings / E. Lusk, R. Overbeek (eds.). - Berlin [etc.] : Springer, c1988. - X, 775 p. ; 24 cm. - (Lecture notes in computer science ; 310). Altro titolo: Automated deduction. ISBN 038719343X; ISBN 354019343X 1. Congressi - Argonne, Ill. - 1988 2. Dimostrazione automatica di teoremi - Congressi - 1988 3. Logica matematica - Congressi - 1988 4. Logica simbolica - Congressi - 1988 I. Lusk, Ewing II. Overbeek, Ross 511.3
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:
|