Biblioteca Polo di Scienze

differential equations and related subjects : proceedings of the conference dedicated to Louis Nirenberg / M. Miranda (editor). - Harlow : Longman scientific & technical, 1992. - 256 p. ; 25 cm. - (Pitman research notes in mathematics series).

ISBN 0582099269

1. Equazioni alle derivate parziali - Congressi - 1990 2. Congressi - Trento - 1990 I. Miranda, Mario II. Nirenberg, Louis

515.353

v-515.353 PAR
Partridge, Derek A.

Artificial intelligence : applications in the future of software engineering / D. Partridge. - Chichester : Horwood. New York, N.Y. [etc. : Wiley, 1986. - 241 p. : ill. ; 25 cm. - (Ellis Horwood series in artificial intelligence).

ISBN 0853127530

1. Elaboratori elettronici - Programmi 2. Intelligenza artificiale

006.3

v-006.3 PAR v-006.3 PAR (01)
Pasça, Marius

Open-domain question answering from large text collections / Marius Pasça. - Stanford, Calif. : CSLI, 2003. - XIII, 149 p. : ill. ; 23 cm. - (Studies in computational linguistics).

Bibliogr.: p. 137-144.

ISBN 1575864282

1. Informazione - Recupero - Sistemi 2. Linguistica - Elaborazione dei dati 3. Interrogazione (Grammatica) - Elaborazione dei dati

410.285

Heuristics : intelligent search strategies for computer problem solving / Judea Pearl. - repr. with corr. - Reading, Mass. [etc.] :

Addison-Wesley, 1985. - XVII, 382 p. ; 24 cm. - (Addison-Wesley series in artificial intelligence).

ISBN 0201055945

1. Intelligenza artificiale 2. Programmazione euristica 3. Soluzione di problemi - Elaborazione elettronica dei dati

006.3

La bellezza dei frattali : immagini di sistemi dinamici complessi / Heinz-Otto Peitgen, Peter H. Richter. - Torino : Bollati Boringhieri, 1987. - XII, 195 p. : ill. ; 29 cm.

Tit. orig.: The beauty of fractals : images of complex dynamical systems. - dynamical systems.

ISBN 8833904202

1. Analisi globale 2. Frattali 3. Insieme di Mandelbrot I. Richter, Peter H.

514.

Prolog and natural-language analysis / Fernando C. N. Pereira and Stuart M. Shieber. - Stanford, Calif. : CSLI, c1987. - VIII, 260 p. ; 23 cm. - (CSLI lecture notes ; 10).

Bibliogr.: p. 231-244.

ISBN 0937073180

1. Elaboratori elettronici - Linguaggio Prolog 2. Linguistica - Elaborazione dei dati I. Shieber, Stuart M.

410.285

processing and psychopictorics / edited by Bernice Sacks Lipkin and Azriel Rosenfeld. - New York, N. Y. London : Academic press, 1970. - VIII, 526 p. : ill. ; 24 cm. - (Computer science and applied mathematics).

ISBN 0124515509

1. Forma - Percezione 2. Elaboratori elettronici - Grafica 3. Immagini ottiche - Elaborazione - Tecniche digitali I. Lipkin, Bernice Sacks II. Rosenfeld, Azriel

006.6

v-006.6 PIC
Portuguese conference on Artificial intelligence, 4., Lisboa, 1989

EPIA 89 : 4th Portuguese conference on Artificial intelligence Lisbon, Portugal, September 26-29, 1989 : proceedings / J.P. Martins, E.M. Morgado (eds.). - Berlin [etc.] : Springer, c1989. - XII,400 p. ; 24 cm. - (Lecture notes in computer science ; 390).

ISBN 3540516654

1. Intelligenza artificiale - Congressi - 1989 2. Congressi - Lisboa - 1989 I. Martins, Joƒao Pavƒao II. Morgado, Ernesto Marques

006.3

v-006.3 POR

Principles

and parameters in comparative grammar / edited by Robert Freidin. - Cambridge, Mass. London : MIT press, 1991. - XII, 463 p. ; 24 cm. - (Current studies in linguistics series ; 20).

ISBN 0262061406

1. Grammatica comparata I. Freidin, Robert

415.

v-415 PRI
Principles

and practice of constraint programming - CP 2005 : 11th international conference, CP 2005 : Sitges, Spain, October 1-5, 2005 : proceedings / Peter van Beek (Ed.). - Berlin [etc.] : Springer, c2005. - XX, 887 p. : diagr. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 3709).

Altro titolo: CP 2005.

ISBN 3540292381

1. Dimostrazione automatica di teoremi - Congressi - Sitges - 2005 2. Elaboratori elettronici - Programmazione logica - Congressi - Sitges - 2005 I. Van Beek, Peter II. International conference on principles and practice of constraint programming, 11., Sitges, 2005

005.115

of formal grammar 2003 / Gerhard Jäger ... editors [et al.]. - [S.l. : s.n.], 2003. - 201 p. : tab. ; 30 cm.

Dati dalla cop. - Atti della 8° conferenza tenuta a Vienna nei giorni 16-17 agosto 2003, in congiunzione con ESSLLI 2003.

1. Grammatica - Modelli matematici - Congressi - Wien - 2003 2. Linguistica - Elaborazione dei dati - Congressi - Wien - 2003 I. Jäger, Gerhard

415.0285

v-415.0285 PRO
Proceedings

of the student research workshop, demontration abstracts and tutorial abstracts : ACL-02 companion volume to the proceedings of the conference : 7-10 July 2002 University of Pennsylvania Philadelphia, PA, USA / student research workshop chairs Alexander Koller and Gideon S. Mann ; demonstrations chair Ronnie W. Smith ; tutorials chair Hwee Tou Ng. - Menlo Park, Calif. : Association

for computational linguistics, c2002. - vi, 126 p. : diagr. ; 28 cm.

ISBN 1558608850

1. Linguaggio - Elaborazione dei dati - Congressi - Philadelphia, PA - 2002 I. Koller, Alexander, informatico II. Mann, Gideon S.

410.285

of the student research workshop, interactive posters-demonstrations, and tutorial abstracts : ACL-04 companion volume to the proceedings of the conference : 21-26 July, 2004 Barcelona, Spain / [co-chairs Leonoor van der Beek ... et al.]. - Stroudsburg, Pa. : Association for computational linguistics, c2004. - iii, 241 p. : diagr. ; 28 cm.

Primo sottotit. precede il tit. - Cur. a pag. [1].

ISBN 1932432337

1. Linguaggio - Elaborazione dei dati - Congressi - Barcelona - 2004 I. Van der Beek, Leonoor

410.285

system models of learning and development / edited by David Klahr, Pat Langley and Robert Neches. - Cambridge, Mass. London : MIT press, 1987. - XII, 466 p. : graf. ; 24 cm. - (Bradford books) (Computational models of cognition and perception).

ISBN 0262111144

1. Apprendimento - Teorie 2. Conoscenza - Psicologia 3. Intelligenza - Sviluppo I. Klahr, David II. Neches, Robert III. Langley, Pat

153.

v-153 PRO v-DEPO 00983
Progettare

col computer : periferiche grafiche e software per la progettazione computerizzata / [realizzato in collaborazione con Benson, sviluppo grafico del pensiero]. - Milano : Minisystems, 1983. - 96 p. : ill. ; 16 cm.

Suppl. a: Computer, n. 59.

1. Elaboratori elettronici - Impiego nella progettazione 2. Elaboratori elettronici - Grafica

006.6

v-006.6 PRO
Progress

in artificial intelligence / editors Luc Steels and J.A. Campbell. - Repr. - Chichester : Horwood, 1986. - 320 p. ; 25 cm. - (Ellis Horwood series in artificial intelligence).

ISBN 0853128308

1. Intelligenza artificiale I. Campbell, John Arthur II. Steels, Luc

006.3

v-006.3 PRO
Progress

in medical radiation physics / edited by Colin G. Orton. - New York, N.Y. London : Plenum press, 1982-1985 copyr. - 2 v.(XIII, 388; XV, 254 p.) : ill. ; 24 cm.

ISBN O-306-40713-2 (v.1); 0-306-41789-8 (v.2).

1. Elaboratori elettronici - Impiego in medicina 2. Ingegneria biomedica 3. Radioterapia I. Orton, Colin G.

612.01448

v-612.01448 PROG (I-II)

Radford, Andrew

Transformational grammar : a first course / Andrew Radford. - Repr. - Cambridge [etc.] : Cambridge university press, 1988. - XII, 625 p. ; 23 cm. - (Cambridge textbooks in linguistics).

ISBN 0521347505

1. Grammatica generativa

415.

v-415 RAD

Rahim, Mazin G.

Artificial neural networks for speech analysis-synthesis / Mazin G. Rahim. - London [etc.] : Chapman & Hall, 1994. - XIII, 199 p. ; 24 cm. - (Chapman & Hall neural computing series ; 6).

ISBN 0412563703

1. Elaboratori elettronici - Riconoscimento della voce umana 2. Elaboratori elettronici neuronali

006.454

v-006.454 RAH
Ramsay, Allan

Formal methods in artificial intelligence / Allan Ramsay. - Cambridge [etc.] : Cambridge university press, 1988. - IX, 279 p. ; 26 cm. - (Cambridge tracts in theoretical computer science ; 6).

ISBN 0521352363

1. Intelligenza artificiale - Metodi 2. Logica matematica 3. Logica simbolica

006.3

v-006.3 RAM v-006.3 RAM (01)

Rauch-Hindin, Wendy B.

A guide to commercial artificial intelligence : fundamentals and real-world applications / Wendy B. Rauch-Hindin. - Englewood Cliffs, N.J. : Prentice-Hall, c1988. - XXVI, 523 p. : ill. ; 24 cm.

ISBN 0133687708

1. Intelligenza artificiale 2. Sistemi esperti

006.3

v-006.3 RAU
Readings

in artificial intelligence / a collection of articles by Amarel...[et al.] ; edited by Bonnie Lynn Webber and Nils J. Nilsson. – Los Altos, Calif. : Kaufmann, 1985. - X, 547 p. : ill. ; 29 cm.

ISBN 0934613036

1. Intelligenza artificiale - Saggi I. Amarel, Saul II. Nilsson, Nils J. III. Webber, Bonnie Lynn

006.3

v-006.3 READ (05)
Readings

in planning / edited by James Allen, James Hendler, Austin Tate. - San Mateo, Calif. : Kaufmann, 1990. - XII, 754 p. : tab. ; 28 cm. - (The Morgan Kaufmann series in representation and reasoning).

ISBN 1558601309

1. Intelligenza artificiale I. Allen, James F. II. Tate, Austin III. Hendler, James A.

006.3

v-006.3 READ (06)
Real

world applications of intelligent techonolgies / edited by Hans-Jurgen Zimmermann, Mircea Gh. Negoita, Dan Dascalu. - Bucure¥sti : Editura Academiei Române, 1995. - 229 p. : ill. ; 23 cm.

Dal verso del front.: Proceedings of the Workshop Real world applications of intelligent technologies, Mangalia, Romania, September, 1995.

ISBN 9732705531

1. Intelligenza artificiale - Applicazioni 2. Sistemi sfocati - Applicazioni I. Dascalu, Dan II. Negoita, Mircea Gh. III. Zimmermann, Hans-Jürgen

511.322

Disegnare col computer / Giancarlo Realini. - Milano : Tecniche nuove, 1983. - 110, [1] p. : ill. ; 24 cm. - (Informatica / [Tecniche nuove]).

ISBN 887081114X

1. Elaboratori elettronici - Impiego nel disegno tecnico 2. Elaboratori elettronici - Grafica

006.6

v-006.6 REA
Reason

maintenance systems and their applications / editors: Barbara Smith and Gerald Kelleher. - Chichester : Horwood, 1988. - VI, 170 p. ; 25 cm. - (Ellis Horwood series in artificial intelligence).

ISBN 0745804829

1. Intelligenza artificiale I. Kelleher, Gerald II. Smith, Barbara

006.3

v-006.3 REAS0
Reeves, Byron

The media equation : how people treat computers, television and new media like real people and places communicate / Byron Reeves& Clifford Nass. - Stanford, Calif. : CSLI, c2002. - XIV, 305 p. ; 24 cm.

ISBN 1575860538

1. Comunicazioni di massa - Ascolto 2. Comunicazioni di massa - Aspetti psicologici I. Nass, Clifford

302.23

v-302.23 REE v-302.23 REE (01)
Roberts, Edward Baer

Entrepreneurs in high technology : lessons from MIT and beyond / Edward B. Roberts. - New York, N.Y. Oxford : Oxford university press, 1991. - XII, 385 p. : tab. ; 25 cm.

ISBN 0195067045

1. Aziende industriali - Innovazione tecnologica - Boston, Mass. 2. Imprenditori - Boston, Mass. - Sec.20. 3. Massachusetts institute of technology

338.476200097446

v-338.4762 ROB
Roberts, Ian G.

The representation of implicit and dethematized subjects / Ian G. Roberts. - Dordrecht Providence : Foris, 1987. - IX, 300 p. ; 24 cm. - (Linguistic models / [Foris] ; 10).

ISBN 9067653012

1. Grammatica generativa 2. Lingua inglese - Sintassi - Forma passiva

415.

v-415 ROB
Roosendaal, Ton

The official blender gamekit : interactive 3-D for artists / edited by Ton Roosendaal and Carsten Wartmann. - San Francisco, Calif. : No Starch press, c2003. - xix, 335 p. : ill. ; 24 cm + 1 CD-ROM.

ISBN 1593270046

1. Elaboratori elettronici - Impiego nella cinematografia d'animazione 2. Microelaboratori elettronici - Grafica 3. Microelaboratori elettronici - Programmi Blender 4. Immagini ottiche tridimensionali - Elaborazione - Tecniche digitali I. Wartmann, Carsten

006.696

v-006.696 ROS
Rosing, Michael

Implementing elliptic curve cryptography / Michael Rosing. - Greenwich, Conn. : Manning, c1999. - XIV, 313 p. : ill. ; 23 cm.

ISBN 1884777694

1. Crittografia (Informatica) 2. Elaboratori elettronici - Sicurezza di funzionamento 3. Curve ellittiche - Elaborazione dei dati

005.82

v-005.82 ROS
Rothwell, John D.

Control of human voluntary movement / John Rothwell. - 2. ed. - London [etc.] : Chapman & Hall, 1994. - VII, 506 p. : ill. ; 24 cm.

ISBN 0412477009

1. Apparato locomotore - Fisiologia 2. Attività muscolare - Fisiologia

612.76

v-612.76 ROT
Russell, Stuart Jonathan

Do the right thing : studies in limited rationality / Stuart Russell and Eric Wefald. - Cambridge, Mass. London : MIT press, 1991. - XX, 200 p. : tab. ; 24 cm. - (Artificial intelligence).

Bibliogr.: p. [187]-194.

ISBN 0262181444

1. Intelligenza artificiale 2. Ragionamento I. Wefald, Eric

006.3

Lezioni sulle matrici : teoria degli autosistemi e sue applicazioni con argomenti avanzati di teoria delle matrici / Luigi Salce. – Padova : Decibel. Bologna : Zanichelli, 1993. - VIII, 198 p. ; 25 cm.

ISBN 8808102203

1. Matrici (Matematica)

512.9434

v-512.9434 SAL
Sanchis, Luis E.

Reflexive structures : an introduction to computability theory / Luis E. Sanchis. - New York, N.Y. [etc.] : Springer, 1988. - XII, 233 p. ; 24 cm.

ISBN 0387967281

1. Funzioni computabili 2. Funzioni ricorsive

511.3

v-511.3 SAN
Scalise, Sergio

Generative morphology / Sergio Scalise. - 2nd ed. - Dordrecht Riverton : Foris, 1986. - X, 237 p. ; 24 cm. - (Studies in generative grammar ; 18).

ISBN 9067650897

1. Grammatica generativa

415.

v-415 SCA (01)
Scandinavian conference on artificial intelligence, Tromso, 1988

Scandinavian conference on artificial intelligence : proceedings of the SCAI '88, Tromsø, Norway, 9-11 March 1988 / Thore Danielsen, editor. - Amsterdam Springfield, Va. : IOS, 1988. - X, 381 p. ; 24 cm.

ISBN 9051990030

1. Congressi - Tromsø - 1988 2. Intelligenza artificiale - Congressi - 1988 I. Danielsen, Thore

006.3

v-006.3 SCA (01)
Scandinavian conference on artificial intelligence, 3., Roskilde, 1991

Scandinavian conference on Artificial intelligence-91 : Odin's ravens : proceedings of the SCAI'91 : Roskilde, Denmark : 21-24 May 1991 / edited by B. Mayoh. - Amsterdam [etc.] : IOS, 1991. - [6], 339 p. : ill. ; 24 cm. - (Frontiers in artificial intelligence and applications).

ISBN 9051990561

1. Congressi - Roskilde - 1991 2. Intelligenza artificiale - Congressi - 1991 I. Mayoh, Brian

006.3

v-006.3 SCA
Schmucker, Kurt J.

Fuzzy sets, natural language computations, and risk analysis / Kurt J. Schmucker ; foreword by Lofti A. Zadeh. - Rockville, Md. : Computer science press, 1984 copyr. - XV, 192 p. : ill. ; 24 cm.

ISBN 0914894838

1. Insiemi sfocati 2. Rischi 3. Linguaggio - Elaborazione dei dati

511.322

v-511.322 SCH

Schütte, Kurt

Proof theory / Kurt Schutte ; translation from the German by J.N. Crossley. - Berlin [etc.] : Springer, 1977. - XII, 302 p. ; 25 cm. - (Grundlehren der mathematischen Wissenschaften ; 225).

Translation of the revised version of: Beweistheorie. - Tit. orig.: Beweistheorie.

ISBN 3540079114

1. Teoria della dimostrazione 2. Logica matematica

511.3

Proceedings of the scientific conference Artificial intelligence in industry from theory to practice and 3rd SQEL workshop on Multi-Lingual information retrieval dialogs : April 22-24, 1998 : High Tatras, Slovakia / editors: Jan Sarnovsky ... [et al.]. - Kosice : Technical University of Kosice, 1998. - [12], 479 p. : ill. ; 24 cm.

In testa al front.: Technical University of Kosice. Department of cybernetics and artificial intelligence.

ISBN 8088786835

1. Intelligenza artificiale - Impiego nell'industria - Congressi - Košsice - 1998 I. Sarnovsky, Jan II. SQEL workshop on Multi-Lingual information retrieval dialogs, 3., Vysoke Tatry, 1998

338.470063

Physics with many positrons : proceedings of the international school of physics "Enrico Fermi" : course CLXXIV : Varenna on Lake Como : Villa Monastero : 7 - 17 July 2009 / edited by A. Dupasquier and A.P. Mills directors of the course and R.S. Brusa. – Amsterdam [etc.] : IOS, 2010. - XX, 598 p. : ill. ; 25 cm. - (Rendiconti della Scuola internazionale di fisica Enrico Fermi = Proceedings of the

International school of physics Enrico Fermi ; 174).

In testa al front.: Italian physics society. - I compl. del tit. precedono il tit. - Altro front. in it. - Bibliogr.

ISBN 9781607506461

1. Positroni - Congressi - Varenna - 2009 I. Brusa, Roberto S. II. Dupasquier, Alfredo III. Mills, Allen P., jr. IV. Società italiana di fisica

539.7214

v-539.7214 SCU (02)
Selman, Daniel

Java 3D programming / Daniel Selman. - Greenwich, Conn. : Manning, c2002. - XXIII, 376 p. : ill. ; 24 cm.

ISBN 1930110359

1. Elaboratori elettronici - Grafica 2. Elaboratori elettronici - Linguaggio Java

005.133

V-005.133 SEL
Shastri, Lokendra

Semantic networks: an evidential formalization and its connectionist realization / Lokendra Shastri. - London : Pitman. Los Altos, Calif. : Kaufmann, 1988. - 222 p. ; 25 cm. - (Research notes in artificial intelligence).

ISBN 0273087797

1. Elaborazione dei dati in tempo reale 2. Intelligenza artificiale 3. Ragionamento

006.3

v-006.3 SHAS
Shavlik, Jude W.

Extending explanation-based learning by generalizing the structure of explanations / Jude W. Shaavlik. - London : Pitman. San Mateo, Calif. : Kaufmann, 1990. - 219 p. ; 24 cm. - (Research notes in artificial intelligence).

ISBN 0273088173; ISBN 1558601090

1. Intelligenza artificiale 2. Soluzione di problemi - Elaborazione elettronica dei dati

006.3

v-006.3 SHAV
Shoenfield, Joseph R.

Mathematical logic / Joseph R. Shoenfield. - Reading, Mass. [etc.] : Addison-Wesley, c1967. - VII, 343 p. ; 24 cm. - (Addison-Wesley series in logic).

ISBN 0201070286

1. Logica matematica

511.3

v-511.3 SHO (02)
SIGLEX

99 : standardizing lexical resources : proceedings of a workshop : June 21-22 1999 : University of Maryland, College Park, Maryland, USA. - College Park, Md. : University of Maryland, 1999. - 97 p., [4] c. di tav. : ill. ; 28 cm.

Dati dalla cop.

1. Congressi - College Park, Md. - 1999 2. Lessico - Elaborazione dei dati - Congressi - 1999 3. Linguaggio - Archivi di dati - Congressi - 1999 I. Association for Computational Linguistics. Special interest group II. National science foundation

413.028

v-413.028 SIG
Sippu, Seppo

Parsing theory / Seppo Sippu, Eljas Soisalon-Soininen. - Berlin [etc.] : Springer, 1988-1990. - 2 v. ; 25 cm. - (EATCS monographs on theoretical computer science ; 15.20).

1 : Languages and parsing. - VIII, 228 p.

2 : LR(k) and LL(k) parsing. - VIII, 426 p.

ISBN 0387137203 (1.v.)*; ISBN 0387517324 (2.v.)*

1. Elaboratori elettronici - Linguaggi 2. Linguaggio - Elaborazione dei dati 3. Linguaggi formali I. Soisalon-Soininen, Eljas

511.3

v-511.3 SIPP (I-II)

Sklansky, Jack

Pattern classifiers and trainable machines / Jack Sklansky, Gustav N. Wassel. - New York, N.Y. [etc.] : Springer, 1981 copyr. - XI, 335 p. : ill. ; 25 cm.

ISBN 0387904352

1. Forma - Riconoscimento - Sistemi I. Wassel, Gustav N.

621.399

v-621.399 SKL
Society for the study of artificial intelligence and the simulation of behaviour

AISB 91 : proceedings of the eighth conference of the Society for the study of artificial intelligence and simulation of behaviour / edited by Luc Steels and Barbara Smith. - London [etc.] : Springer, c1991. - XII, 265 p. : ill. ; 24 cm.

ISBN 3540196714

1. Congressi - Leeds - 1991 2. Elaboratori elettronici - Modelli di simulazione - Congressi - 1991 3. Intelligenza artificiale - Congressi - 1991 I. Smith, Barbara II. Steels, Luc

006.3

v-006.3 SOC

Soft

computing agents : new trends for designing autonomous systems / Vincenzo Loia, Salvatore Sessa editors. - Heidelberg New York, N.Y. : Physica-Verlag, c2001. - VIII, 220 p. : ill. ; 24 cm. - (Studies in fuzziness and soft computing ; 75).

ISBN 3790814040

1. Intelligenza artificiale - Elaborazione distribuita 2. Sistemi esperti - Progettazione I. Loia, Vincenzo II. Sessa, Salvatore

006.3

v-006.3 SOF (01)
Sombé, Léa

Reasoning under incomplete information in artificial intelligence : a comparison of formalisms using a single example / Léa Sombé. - New York, N.Y. [etc.] : Wiley, 1990. - 324-472 p. ; 26 cm. - (Wiley professional computing).

Num. speciale di: International journal of intelligent systems. V. 5, n. 4 (1990).

ISBN 0471529796

1. Intelligenza artificiale 2. Ragionamento

006.3

Fast learning and invariant object recognition : the sixth-generation breakthrough / Branko Soucek and The Iris Group. - New York, N.Y. [etc.] : Wiley, 1992. - XIII, 279 p. : ill. ; 24 cm. - (Sixth-generation computer technology series).

ISBN 0471574309

1. Immagini ottiche - Elaborazione - Tecniche digitali 2. Apprendimento meccanico I. IRIS group

006.37

v-006.37 SOU
Sowa, John F.

Conceptual structures : information processing in mind and machine / John F. Sowa. - Reading, Mass. [etc.] : Addison-Wesley, 1983. - XIV, 481 p. : tab. ; 24 cm.

ISBN 0201144727

1. Conoscenza - Elaborazione dei dati 2. Intelligenza artificiale 3. Sistemi esperti

006.35