Biblioteca Polo di Scienze

Mathematica : a system for doing mathematics by computer / Stephen Wolfram. - 2. print. - Redwood City, Calif. [etc.] : Addison-Wesley, c1988. - XVIII, 749 p. : ill. ; 24 cm.

ISBN 0201193345

1. Elaboratori elettronici - Impiego in matematica 2. Microelaboratori elettronici - Programmi Mathematica

510.28553

v-510.28553 WOL v-510.28553 WOL (1) v-DEPO 00982 v-DEPO 00982 (01)

WordNet

and other lexical resources : applications, extensions and customizations : NAACL 2001 Workshop : Pittsburgh, 3-4 June, 2001. - New Brunswick, NY : Association for computational linguistics, c2001. - IV, 193 p. : tab. ; 28 cm.

Il terzo sottotit. precede il tit.

1. Linguaggio - Archivi di dati - Congressi - Pittsburgh, Pa. - 2001 2. Linguaggio - Elaborazione dei dati - Congressi - Pittsburg, Pa. - 2001

410.285

v-410.285 WORD
Workshop on Case-based reasoning, Washington, D.C. 1991

Case-based reasoning : proceedings of a workshop held at the Madison Hotel, Washington, D.C., May 8-10, 1991. - [S.l.] : Defense advanced research projects agency. Information science and technology office, 1991. - IX, 373 p. : ill. ; 28 cm.

ISBN 1558601996

1. Congressi - Washington, D.C. - 1991 2. Intelligenza artificiale - Congressi - 1991 3. Ragionamento - Congressi - 1991

153.43

v-153.43 WOR
Workshop on constraints in formal verification, Tallin, 2005

2005 Conference on automated deduction : workshop on constraints in formal verification : July 23 2005, Tallin, Estonia / [organizing committee Joao Marques Silva, Miroslav Velev]. - [S.l. : s.n.], 2005. - [4], 104. : tab. ; 31 cm.

Workshop tenuto precedentemente al 20th International conference automated deduction, Tallinn, Estonia : CADE 2005.

1. Logica simbolica - Congressi - Tallin - 2005 2. Software - Verifica - Modelli matematici - Congressi - Tallin - 2005 I. Marques Silva, Joao II. Velev, Miroslav

004.24015113

v-004.240151 WOR
Workshop on Language resources for content-based image retrieval, Genova 2006

Ontolmage 2006 : workshop on language resources for content-based image retrieval : W02 : satellite workshop : Monday 22nd May 2006 "Magazzini del Cotone" Conference Center, Genova, Italy / Editor Gregory Grefenstette. - [S.l. : s.n.], [2006?]. - 51 p. ; 30 cm.

Il terzo e quarto sottotit. precedono il tit. - Workshop tenuto all'interno di LREC 2006.

1. Linguaggio - Archivi di dati - Congressi - Genova - 2006 I. Grefenstette, Gregory

410.285

v-410.285 WOR (04)
Workshop on Minimizing the effort for language resource acquisition, Granada, 1998

Workshop on Minimizing the effort for language resource acquisition : Granada, Spain, May 26, 1998. - [S.l. : s.n.], [1998?]. - [42] p. : ill. ; 30 cm.

In testa al front.: LREC, First international conference on language resources and evaluation.

1. Congressi - Granada - 1998 2. Linguaggio - Archivi di dati - Congressi - 1998

410.285

v-410.285 WOR
Workshop on Multi-layer corpus-based analysis, Iasi, Romania, 2001

Workshop on Multi-layer corpus-based analysis : July 31-August 1, 2001 - Iasi, Romania / organizers Dan Cristea ... [et al.]. - [6], 55 p. : diagr. ; 30 cm.

In testa al front.: Eurolan 2001 : Summer Institute on creation and exploitation of annotated language resources, 30 July-11 August 2001, Iasi, Romania.

1. Linguaggio - Archivi di dati - Congressi - Iasi - 2001 2. Linguaggio - Elaborazione dei dati - Congressi - Iasi - 2001 I. Cristea, Dan

410.285

v-410.285 WOR (02)
Workshop on Multilingual information management : current levels and future abilities, Granada, 1998

Workshop on Multilingual information management : current levels and future abilities : held in conjunction with The first international language resources and evaluation conference, may 31-june 1, 1998, Granada, Spain. - [S.l. : s.n.], [1998?]. - VII, 77 p. ; 30 cm.

In calce al front. compaiono i nomi degli organizzatori.

1. Congressi - Granada - 1998 2. Linguaggio - Elaborazione dei dati - Congressi - 1998 3. Linguaggio - Archivi di dati – Congressi - 1998 I. International conference on Language resources & evaluation, 1., Granada, 1998

410.285

v-410.285 WOR (01)
Workshop on Reference architectures and data standards for NLP, Edinburgh, 1999

Proceedings of the AISB '99 Workshop on Reference architectures and data standards for NLP. - [S.l.] : The Society for the Study of Artificial Intelligence and Simulation of Behaviour, 1999. - [2], II, 54 p. : ill. ; 30 cm.

In testa al front.: AISB '99 Convention, 6th-9th April 1999 Edinburgh College of Art & Division of Informatics, University of Edinburgh. - Altro titolo: AISB '99 convention.

ISBN 1902956079

1. Congressi - Edinburgh - 1999 2. Linguaggio - Elaborazione dei dati - Congressi - 1999 I. Society f or the study of artificial intelligence and the simulation of behaviour

410.285

TC-STAR Workshop on Speech-to-speech translation : Barcelona, June 19-21, 2006 / [edited by Antonio Bonafonte, Rafael E. Banchs and Asunción Moreno]. - [S.l. : s.n.], [2006]. - xii, 244 p. : diagr. ; 30 cm + 1 CD ROM.

Nome dei cur. dal verso del front. - : TC-STAR 2006.

ISBN 2951740832

1. Traduzione automatica - Congressi - Barcelona - 2006 I. Banchs, Rafael E. II. Moreno, Asunción III. Bonafonte, Antonio IV. Tit.: TC-STAR Workshop on Speech-to-speech translation

418.02

DiaBruck 2003 : proceedings of the 7th workshop on The semantics and pragmatics of dialogue : 4-6 September 2003, Wallerfangen / edited by Ivana Kruijff-Korbayová and Claudia Kosny. - Saarbrücken : Universität des Saarlandes, 2003. - VI, 210 p. : ill. ; 30 cm.

Dati dall cop.

1. Dialogo - Elaborazione dei dati - Congressi - Wallerfangen - 2003 2. Semantica - Elaborazione dei dati - Congressi – Wallerfangen - 2003 I. Kosny, Claudia II. Kruijff-Korbayová, Ivana

410.285

v-410.285 WOR (05)
Workshop on treebanks and linguistic theories, 3., Tübingen, 2004

Proceedings of the third workshop on treebanks and linguistic theories (TLT 2004) : Tübingen, December 10-11, 2004 / organized by the Collaborative research centre 441 "Linguistic data structures" University of Tübingen, Germany and the Nordic treebank network ; editors

Sandra Kübler ...[et al.]. - [S.l. : s.n.], 2004?. - v, 203 p. : ill. ; 24 cm.

ISBN 3980918327

1. Linguaggio - Archivi di dati - Congressi - Tübingen - 2004 2. Linguistica - Elaborazione dei dati - Congressi - Tübingen - 2004 I. Kübler, Sandra II. Tit.: TLT 2004

410.285

multilayers for diffractometers, monochromators, and spectrometers / Finn E. Christensen chairmann-editor. - Bellingham, Wash. : SPIE-The International society for optical engineering, 1988. - VIII, 271 p. : ill. ; 28 cm. - (Proceedings of SPIE-The International society for optical engineering ; v. 984).

Atti del congresso tenuto a San Diego, California il 17-19 agosto 1988.

ISBN 081940019X

1. Apparecchi elettronici a raggi X multistrato - Congressi - 1988 2. Congressi - San Diego, Calif. - 1988 I. Christensen, Finn E.

537.535

wish is my command : programming by example / edited by Henry Liebermann. - San Francisco, Calif. [etc.] : Morgan Kaufmann, 2001. - XVIII, 416 p. : ill. ; 24 cm. - (The Morgan Kaufmann series in interactive technologies).

ISBN 1558606882

1. Elaboratori elettronici - Programmazione I. Lieberman, Henry

005.2

v-005.2 YOU
Zanobini, Stefano

Una logica cognitiva degli indicali / relatore: ch.mo prof. Enrico Moriconi ; candidato: Stefano Zanobini. - 142 c. ; 30 cm.

Manoscritto. - Dattiloscritto. - Verso delle c. bianco. - Tesi di laurea - Università degli studi di Pisa. Facoltà di lettere e filosofia, Corso di laurea in filosofia, a. acc. 1999-2000.

1. Contesto (Linguistica) - Tesi di laurea 2. Logica matematica - Tesi di laurea

511.3

v-511.3 ZAN
Zeidenberg, Matthew

Neural network models in artificial intelligence / Matthew Zeidenberg. - New York, N.Y. [etc.] : Horwood, 1990. - 268 p. ; 25 cm. - (Ellis Horwood series in artificial intelligence).

ISBN 0136121853

1. Elaboratori elettronici neuronali 2. Intelligenza artificiale

006.3

v-006.3 ZEI
Zeki, Semir

Inner vision : an exploration of art and the brain / Semir Zeki. - Oxford : University press, c1999. - X, 224 p. : ill. ; 25 cm.

ISBN 0198505191

1. Arte - Psicologia 2. Cervello - Fisiologia 3. Neurologia 4. Percezione visiva

612.82

v-612.82 ZEK
Zhou, Jianying

Non-repudiation in electronic commerce / Jianying Zhou. - Boston, Mass. London : Artech house, c2001. - XIV, 200 p. ; 24 cm. - (Artech House computer security series).

ISBN 1580532470

1. Crittografia (Informatica) 2. Reti di elaboratori - Sicurezza di funzionamento 3. Commercio elettronico

005.8

v-005.8 ZHO v-005.8 ZHO (01)
Ziccardi, Giovanni, 1969-

Il diritto d'autore nell'era digitale : evoluzione tecnologica e copyright, internet, mp3, DivX;-), open source, Gnu/Linux, free software, mezzi di protezione / Giovanni Ziccardi ; introduzione di John Perry Barlow. -Il diritto d'autore nell'era digitale : evoluzione tecnologica e copyright, internet, mp3, DivX;-), open source, Gnu-Linux, free software, mezzi di protezione / Giovanni Ziccardi ; introduzione di John Perry Barlow. - Milano : Il sole 24 ore Pirola, 2001. - XXI, 343 p. ; 24 cm. - (Diritto / [Il sole 24 ore

Pirola]).

ISBN 8832444593

1. Diritti d'autore - Legislazione

346.45

Il diritto d'autore nell'era digitale : evoluzione tecnologica e copyright, internet, mp3, DivX;-), open source, Gnu/Linux, free software, mezzi di protezione / Giovanni Ziccardi ; introduzione di John Perry Barlow. -Il diritto d'autore nell'era digitale : evoluzione tecnologica e copyright, internet, mp3, DivX;-), open source, Gnu-Linux, free software, mezzi di protezione / Giovanni Ziccardi ; introduzione di John Perry Barlow. - Milano : Il sole 24 ore Pirola, 2001. - XXI, 343 p. ; 24 cm. - (Diritto / [Il sole 24 ore

Pirola]).

ISBN 8832444593

1. Diritti d'autore - Legislazione

346.45

L'organizzazione della creatività / Mario Zingales ; prefazione di Silvio Ceccato. - Bologna : Cappelli, 1974. - 196 p. : ill. ; 21 cm. - (Saggi Cappelli).

1. Creatività I. Ceccato, Silvio

153.35

CaseLP, a rapid prototyping environment for agent-based software / by Floriano Zini. - Genova : Università di Genova. Dipartimento di informatica e scienze dell'informazione, 2000. - [8] p., 154 p. : diagr. ; 22 cm. - (Theses series ; DISI-TH-2001-03).

A p. [4]: Dottorato di ricerca in informatica, Dipartimento di informatica escienze dell'informazione, Università degli studi di Genova, Ph.D. Thesis in Computer Science.

1. Intelligenza artificiale - Elaborazione distribuita 2. Programmazione logica

006.3

v-006.3 ZIN
Zubizarreta, Maria Luisa

Levels of representation in the lexicon and in the syntax / Maria Luisa Zubizarreta. - Dordrecht Providence : Foris, 1987. - VI, 198 p. : ill. ; 25 cm. - (Studies in generative grammar ; 31).

ISBN 9067652857

1. Grammatica generativa 2. Sintassi - Analisi 3. Lessico - Analisi