Biblioteca Polo di Scienze
Download 0.69 Mb.
|
v-006.33 CAD (01) International conference on Expert database systems, 1., Charleston, S.C., 1986 Proceedings from the first International conference on Expert database systems / Larry Kerschberg, editor. - Menlo Park, Calif. [etc.] : Benjamin/Cummings, c1987. - XI, 501 p. ; 29 cm. - (Benjamin/Cummings series in database systems and applications). Altro titolo: Expert database systems. ISBN 0805332715 1. Archivi di dati - Gestione - Congressi - 1986 2. Sistemi esperti - Congressi - 1986 3. Congressi - Charleston, S.C. - 1986 I. Kerschberg, Larry II. Tit.: Proceedings from the first International conference on Expert database systems 006.33
v-006.33 INT (09) International conference on software engineering, 25., Portland, Or., 2003 25th International conference on software engineering : ICSE 2003 : 3-10 May 2003 : Portland, Oregon, USA : proceedings. – Los Alamitos, Calif. : IEEE computer society, c2003. - XXIV, 833 p. : ill. ; 28 cm. L'ultimo compl. del tit. precede il tit. - Altro titolo: ICSE 2003. ISBN 076951877X 1. Software - Ingegneria - Congressi - Portland, Or. - 2003 005.1
v-005.1 INT (05) International conference on software maintenance, Amsterdam, 2003 Proceedings international conference on Software maintenance : ICSM 2003 : 22-26 September 2003, Amsterdam, The netherlands / sponsored by IEEE computer society technical council on software engineering (TCSE). - Los Alamitos, Calif. [etc.] : IEEE computer society, c2003. - XVI, 468 p. : diagr. ; 28 cm. Nell'occh.: The architecture of existing systems. - : ICSM 2003. ISBN 0769519059 1. Software - Manutenzione - Congressi - Amsterdam - 2003 I. Tit.: Proceedings international conference on Software maintenance 005.16
v-005.16 INT International conference on software maintenance, 18., Montreal, 2002 Proceedings international conference on Software maintenance : October 3-6, 2002, Montreal, Quebec, Canada / sponsored by IEEE computer society technical council on software engineering (TCSE). - Los Alamitos, Calif. [etc.] : IEEE computer society, c2002. - XVIII, 668 p. : diagr. ; 28 cm. : ICSM 2002. ISBN 0769518192 1. Software - Manutenzione - Congressi - Montréal - 2002 I. Tit.: Proceedings international conference on Software maintenance 005.16
v-005.16 INT (01) International conference on the theory and applications of cryptographic techniques, 21., Amsterdam, 2002 Advances in cryptology - EUROCRYPY 2002 : international conference on the theory and applications of cryptographic techniques, Amsterdam, The Netherlands, April 28-May 2, 2002 : proceedings / Lars Knudsen (ed.). - Berlin [etc.] : Springer, c2002. - XII, 545 p. : ill. ; 24 cm. - (Lecture notes in computer science ; 2332). Altro titolo: Theory and application of cryptographic techniques. ISBN 3540435530 1. Archivi di dati - Protezione - Congressi - Amsterdam - 2002 2. Crittografia - Congressi - Amsterdam - 2002 3. Elaboratori elettronici - Misure di sicurezza - Congressi - Amsterdam - 2002 I. Knudsen, Lars II. Tit.: Advances in cryptology - EUROCRYPY 2002 005.82
Web engineering : 7th international conference, ICWE 2007 : Como, Italy, July 16-20, 2007 : proceedings / Luciano Baresi, Piero Fraternali, Geert-Jan Houben (Eds.) . - Berlin Heidelberg : Springer, c2007. - XVI, 576 p. : ill. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 4607). Altro titolo: ICWE 2007. ISBN 3540735968; ISBN 9783540735960 1. World Wide Web (Sistema di recupero delle informazioni) - Congressi - Como - 2007 I. Baresi, Luciano II. Fraternali, Piero III. Houben, Geert-Jan IV. Tit.: Web engineering 005.75
v-005.75 WEB International conference SAT, 8., Saint Andrews, 2005 Theory and applications of satisfiability testing : 8th international conference, SAT 2005 : St Andrews, UK, June 19-23, 2005 : proceedings / Fahiem Bacchus, Toby Walsh (eds.). - Berlin Heidelberg : Springer, c2005. - XII, 492 p. : diagr. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 3569). 1. Algoritmi - Congressi - Saint Andrews - 2005 2. Decisione - Modelli matematici - Congressi - Saint Andrews - 2005 3. Logica simbolica - Congressi - Saint Andrews - 2005 I. Bacchus, Fahiem II. Walsh, Toby 511.3
v-511.3 INT (04) International conference SAT, 9., Seattle, Wash., 2006 Theory and applications of satisfiability testing-SAT 2006 : 9th international conference : Seattle, WA, USA, August 12-15, 2006 : proceedings / Armin Biere, Carla P. Gomes (Eds.). - Berlin Heidelberg : Springer, c2006. - XII, 438 p. : diagr. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 4121). ISBN 3540372067 1. Algoritmi - Congressi - Seattle, Wash. - 2006 2. Decisione - Modelli matematici - Congressi - Seattle, Wash. - 2006 3. Logica simbolica - Congressi - Seattle, Wash. - 2006 I. Biere, Armin II. Gomes, Carla P. 511.3
Automated reasoning : second international conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings / David Basin, Michaël Rusinoeitch (Eds.). - Berlin [etc.] : Springer, c2004. - XII, 4911 p. : ill. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 3097). Altro titolo: IJCAR 2004. ISBN 3540223452 1. Dimostrazione automatica di teoremi - Congressi - Cork - 2004 I. Basin, David II. Rusinowitch, Michaël III. Tit.: Automated reasoning 006.333
v-006.333 INT v-006.333 INT (01) International symposium on smart graphics, 3., Heidelberg, 2003 Smart Graphics : third international symposium on Smart Graphics, SG 2003, Heidelberg, Germany, July 2-4, 2003 : proceedings / Andreas Butz, Antonio Krüger, Patrick Olivier (eds.). - Berlin [etc.] : Springer, c2003. - XI, 260 p. : ill. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 2733). Altro titolo: SG 2003. ISBN 3540405577 1. Elaboratori elettronici - Grafica - Congressi - Heidelberg - 2003 2. Intelligenza artificiale - Congressi - Heidelberg - 2003 I. Butz, Andrea II. Krüger, Antonio III. Olivier, Patrick IV. Tit.: Smart Graphics 006.6
v-006.6 INT International working conference on cooperating knowledge based systems, Keele, 1990 CKBS '90 : proceedings of the International working conference on Cooperating knowledge based systems, 3-5 October 1990, University of Keele, UK / edited by S.M. Deen... - London [etc.] : Springer, 1991 copyr. - XIV, 325 p. : ill. ; 24 cm. Altro titolo: Cooperating knowledge based systems. ISBN 0387196498; ISBN 3540196498 1. Congressi - Keele - 1990 2. Sistemi esperti - Congressi - 1990 I. Deen, Sayyed Misbah II. Tit.: CKBS '90 006.33
v-006.33 INT (10) International workshop AOSE 2001, 2., Montreal, 2001 Agent-oriented software engineering II : second international workshop, AOSE 2001 : Montreal, Canada, May 29, 2001 : revised papers and invited contributions / Michael J. Wooldridge, Paolo Ciancarini, Gerhard Weiss (eds.). - Berlin [etc.] : Springer, c2002. - X, 317 p. : diagr. ; 24 cm. - (Lecture notes in computer science ; 2222). ISBN 3540432825 1. Software - Ingegneria - Congressi - Montreal - 2001 I. Weiss, Gerhard II. Wooldridge, Michael III. Ciancarini, Paolo 005.1
Intelligent agents VII : agent theories architectures and languages : 7th international workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000 : proceedings / Cristiano Castelfranchi, Yves Lespérance (eds.). - Berlin [etc.] : Springer, c2001. - XVII, 356 p. : diagr. ; 24 cm. - (Lecture notes in computer science ; 1986). Tit. orig.: ATAL 2000. ISBN 3540424229 1. Elaboratori elettronici - Architettura - Congressi - Boston, Mass. - 2000 2. Intelligenza artificiale - Congressi - Boston, Mass. - 2000 I. Castelfranchi, Cristiano II. Lespérance, Yves III. Tit.: Intelligent agents VII 006.3
v-006.3 INTEL (04) International workshop ATAL, 8., Seattle, 2001 Intelligent agents VIII : agent theories, architectures, and languages : 8th international workshop, ATAL 2001, Seattle, WA, USA, Augusty 1-3, 2001 : revised papers / John-Jules Ch. Meyer, Milind Tambe (eds.). - Berlin [etc.] : Springer, c2002. - XVII, 356 p. : diagr. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 2333). Parte del titolo: ATAL 2001. ISBN 3540438580 1. Elaboratori elettronici - Architettura - Congressi - Seattle, Wash. - 2001 2. Intelligenza artificiale - Congressi - Seattle, Wash. - 2001 I. Meyer, John-Jules Ch. II. Tambe, Milind III. Tit.: Intelligent agents VIII 006.3
Tenth International workshop Expert Systems & their applications : Avignon, France, May 28 - June 1st. 1990 : general conference Tools, techniques & applications = Dixième Journées internationales Les systemes experts & leurs applications : Avignon, France, 28 mai - 1er juin 1990 : conference generale Outils, techniques & applications. - Nanterre : EC2, c1990. - 2 v. (981 p.) : tab. ; 24 cm. - (Avignon '90). Tit. parallelo: Dixième Journées internationales Les systemes experts & leurs applications : Avignon, France, 28 mai - 1er juin 1990 : conference generale Outils, techniques & applications. ISBN 2906899364 1. Congressi - Avignon - 1990 2. Intelligenza artificiale - Congressi - 1990 3. Sistemi esperti - Congressi - 1990 I. Tit.: Tenth International workshop Expert Systems & their applications 006.33
Intelligent agents V : agent theories, architectures and languages : 5th International workshop, ATAL '98 : Paris, France, July 4-7, 1998 : proceedings / Jörg P. Müller, Munindar P. Singh, Anand S. Rao ( eds.). - Berlin [etc.] : Springer, c1999. - xxiv, 455 p. ; 24 cm. - (Lecture notes in computer science ; 1555). Altro titolo: ATAL '98. ISBN 3540657134 1. Elaboratori elettronici - Architettura - Congressi - Paris - 1998 2. Intelligenza artificiale - Congressi - Paris - 1998 I. Müller, Jörg P. II. Rao, Anand III. Singh, Munindar Paul IV. Tit.: Intelligent agents V 006.3
Proceedings of SENSEVAL-3 : third international workshop on the evaluation of systems for the semantic analysis of text : held in cooperation with ACL 2004 : 25-26 July 2004, Barcelona, Spain. - Stroudsburg, Pa. : Association for computational linguistics, c2004. - VII, 268, : ill.. ; 30 cm. ISBN 1932432442 1. Linguaggio - Elaborazione dei dati - Congressi - Barcelona - 2004 2. Semantica - Elaborazione dei dati - Congressi - Barcelona - 2004 410.285
v-410.285 INTE v-410.285 INTE (01) International workshop on Lexically driven information extraction, Frascati, 1997 Proceedings of the International workshop on Lexically driven information extraction, Frascati, Italy - July 16th, 1997. - [S.l. : s.n.], 1997. - IV, 118 p. : tab. ; 30 cm. - (Research report / [Dipartimento di scienze dell'informazione. Universit{ di Roma "La Sapienza"] ; 6/97). In testa al front.: Dipartimento di scienze dell'informazione. Università di Roma "La Sapienza". - Altro titolo: Lexically driven information extraction. 1. Congressi - Frascati - 1997 2. Linguistica - Elaborazione dei dati - Congressi - 1997 3. Informazione - Recupero - Sistemi - Congressi - 1997 I. Tit.: Proceedings of the International workshop on Lexically driven information extraction, Frascati, Italy - July 16th, 1997 006.35
IWSLT 2004 Proceedings : September 30-October 1, 2004 : ATR Spoken language translation research laboratories : Kyoto, Japan : Interspeech 2004-Icslp satellite workshop International workshop on spoken language translation : evaluation campaign on spoken language translation ... - [S.l. : s.n.], 2004. - xxii, 154 p. : ill. ; 30 cm. Dati dalla cop. - L'ultimo compl. del tit. precede il tit. 1. Linguaggio - Elaborazione dei dati - Congressi - Kyoto - 2004 2. Traduzione automatica - Congressi - Kyoto - 2004 418.02
IWSLT 2006 : proceedings of the 3rd international workshop on spoken language translation : November 27-November 28, 2006, Palulu Plaza, Kyoto, Japan / editor: Michael Paul ; editorial assistants : Ciaki Morita, Kiyonori Ohtake. - [S.l. : s.n.], [2006?]. - xviii, 216 p. : ill. ; 30 cm. Sul front.: Local organization ... 1. Linguaggio - Elaborazione dei dati - Congressi - Kyoto - 2006 2. Traduzione automatica - Congressi - Kyoto - 2006 I. Paul, Michael 418.02
Proceedings fourth international workshop on Web site evolution WSE 2002 : Montréal, Canada, 2 October 2002 / sponsored by the IEEE computer society technical committee software engineering. - Los Alamitos, Calif. [etc.] : IEEE computer society, Dati dalla cop. - : WSE 2002. ISBN 0769518044 1. Siti web - Programmazione - Congressi - Montréal - 2002 I. Tit.: Proceedings fourth international workshop on Web site evolution WSE 2002 005.72
v-005.72 INT International workshop, CIA, 8., Erfurt, 2004 Cooperative information agents VIII : 8th International workshop, CIA 2004 : Erfurt, Germany, September 27-29, 2004 : proceedings / Matthias Klusch ... [et al.] (eds.). - Berlin [etc.] : Springer, c2004. - XI, 302, [1] p. : ill. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 3191). Altro titolo: CIA 2004. ISBN 3540231706 1. Archivi di dati - Elaborazione distribuita - Congressi - Erfurt - 2004 2. Intelligenza artificiale - Elaborazione distribuita - Congressi - Erfurt - 2004 I. Klusch, Matthias II. Tit.: Cooperative information agents VIII 005.758
v-005.758 INT (02) Internet imaging III : 21-23 January 2002, San Jose, USA / Giordano B. Beretta, Raimondo Schettini chairs/editors. - Bellingham, Wash. : SPIE-The International society for optical engineering, c2002. - XI, 288 p. : ill ; 28 cm. - (Proceedings of SPIE-The International society for optical engineering ; 4672). Il sottotit. segue la formulaz. di respons. ISBN 081944412X 1. Immagini - Elaborazione - Tecniche digitali - Congressi - San Jose, Calif. - 2002 2. Internet (Rete di elaboratori) - Congressi – San Jose, Calif. - 2002 I. Beretta, Giordano B. II. Schettini, Raimondo 006.6
v-006.6 INT ISO Information technology : portable operating system interface (POSIX) / sponsor, Technical committee on operating systems and application environments of the IEEE computer society ... - 2. print. - New York, N.Y. : IEEE, 1990-. - v. ; 30 cm. - (International standard / [ISO] ; ISO/IEC 9945). 1: System application program interface (API) C language. - 1992. - XVII, 356p. - ISBN 1-55937-061-0 ISBN 1559370610 1. Elaboratori elettronici - Sistemi operativi - Standardizzazione 005.430218 v-005.4302 ISO Israeli symposium on Artificial intelligence, vision and pattern recognition, 5., Tel-Aviv, 1988 Proceedings of the fifth Israeli symposium on Artificial intelligence, vision and pattern recognition : Tel-Aviv, Ganei-Hata'arucha, December 27-28, 1988 / edited by Ehud Shapiro. - Tel Aviv : Information processing association of Israel, [1988?]. - IX, [2], 452 p. : ill. ; 25 cm. Altro front. in israeliano sull'ultima p. - Tit. orig.: Artificial intelligence vision and pattern recognition. 1. Congressi - Tel Aviv - 1988 2. Intelligenza artificiale - Congressi - 1988 3. Forma - Riconoscimento - Sistemi - Congressi - 1988 I. Shapiro, Ehud II. Tit.: Proceedings of the fifth Israeli symposium on Artificial intelligence, vision and pattern recognition 006.3
Natural language processing for online applications : text retrieval, extraction and categorization / Peter Jackson , Isabelle Moulinier. - Amsterdam, Philadelphia, Pa. : John Benjamins, c2002. - X, 225 p. : ill. ; 22 cm. - (Natural language processing ; 5). ISBN 902724989X 1. Informazione - Recupero - Sistemi 2. Linguaggio - Elaborazione dei dati I. Moulinier, Isabelle 006.35
The way of z : practical programming with formal methods / Jonathan Jacky. - Cambridge : University press, 1997. - XVIII, 350 p. ; 25 cm. ISBN 0521550416 1. Elaboratori elettronici - Linguaggio Z 005.12
Spotting and discovering terms through natural language processing / Christian Jacquemin. - Cambridge, Mass. London : MIT press, c2001. - VIII, 378 p. : diagr. ; 24 cm. Bibliogr.: p. [353]-368. ISBN 0262100851 1. Linguaggio - Elaborazione dei dati 410.285
v-410.285 JAC Jensen, Henrik Wann Realistic image synthesis using photon mapping / Henrik Wann Jensen. - Natick, Mass. : Peters, c2001. - XVII, 181 p. : ill. ; 24 cm. Bibliogr.: p. 169-177. ISBN 1568811470 1. Elaboratori elettronici - Grafica 006.693
v-006.693 JEN John, Fritz Partial differential equations / Fritz John. - 4. ed. - New York, N.Y. [etc.] : Springer, 1986. - X, 249 p. ; 24 cm. - (Applied mathematical sciences ; 1). ISBN 0387906096; ISBN 3540906096 1. Equazioni alle derivate parziali 515.353
Neural network design and the complexity of learning / J. Stephen Judd. - Cambridge, Mass. London : MIT press, c1990. - [18], 150 p. : ill. ; 24 cm. - (Bradford books) (Neural network modeling and connectionism). ISBN 0262100452 1. Complessità di calcolo 2. Intelligenza artificiale 3. Elaboratori elettronici neuronali 006.3
On unique and non-unique reference and asymmetric quantification / a dissertation presented by Nirit Kadmon. - Amherst, Mass. : University of Massachusetts press, 1987. - XII, 377 p. : tab. ; 23 cm. 1. Asimmetria (Linguistica) 2. Implicazione (Logica) 3. Lingua inglese - Composti nominali 425.
v-425 KAD Kandel, Abraham Fuzzy mathematical techniques with applications / Abraham Kandel. - Repr. with corr. - Reading, Mass. [etc.] : Addison-Wesley, 1986. - XIV, 274 p. ; 24 cm. ISBN 0201117525 1. Insiemi sfocati 2. Sistemi sfocati 511.32
Cardiovascular system and physical exercise / Victor L. Karpman. - Boca Raton, Fla. : CRC press, 1987. - 196 p. : tab. ; 26 cm. ISBN 0849365287 1. Apparato circolatorio - Fisiologia 2. Esercizi fisici - Aspetti fisiologici 3. Medicina sportiva 612.1
Connectedness and binary branching / Richard S. Kayne. - Dordrecht Cinnaminson, N.J. : Foris, 1984. - XIV, 258 p. ; 24 cm. - (Studies in generative grammar ; 16). ISBN 9067650293 1. Grammatica generativa 415.
The semantics of the English progressive / by Katherine Susan Kearns. - Cambridge, Mass. : MIT press, 1991. - 310 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. Lingua inglese - Costruzione progressiva 2. Lingua inglese - Semantica 425.
based problem solving / Janusz S. Kowalik, editor. - Englewood Cliffs, N.J. : Prentice-Hall, c1986. - XXV, 336 p. : ill. ; 25 cm. ISBN 0135165768 1. Intelligenza artificiale 2. Sistemi esperti 3. Soluzione di problemi - Elaborazione elettronica dei dati I. Kowalik, Janusz S. 006.33
Proceeding the seventh knowledge-based software engineering conference, McLean, Virginia, September 20-23, 1992. - Los Alamitos, Calif. [etc.] : IEEE computer society, c1992. - IX, 259 p. ; 28 cm. ISBN 0818628804 1. Congressi - McLean, Va. - 1992 2. Intelligenza artificiale - Congressi - 1992 3. Elaboratori elettronici - Programmazione - Congressi - 1992 006.3
Learning to solve problems by searching for macro-operators / Richard E. Korf. - Boston, Mass. [etc.] : Pitman, 1985. - 147 p. ; 25 cm. - (Research notes in artificial intelligence ; 5). ISBN 0273086901 1. Intelligenza artificiale 2. Soluzione di problemi 006.3
Mathematical linguistics / András Kornai. - London : Springer, c2008. - xiii, 289 p. : diagr.. ; 24 cm. - (Advanced information and knowledge processing). Bibliogr. : p. [251]-280. ISBN 9781846289859 1. Linguistica matematica 410.151
v-410.151 KOR Kraus, Sarit Strategic negotiation in multiagent environments / Sarit Kraus. - Cambridge, Mass. London : MIT press, c2001. - XIV, 266 p. : diagr. ; 24 cm. - (Intelligent robots and autonomous agents). Bibliogr.: p. [245]-257. ISBN 0262112647 1. Intelligenza artificiale - Elaborazione distribuita 006.3
v-006.3 KRA v-006.3 KRA (01) Kreiseliana about and around Georg Kreisel / edited by Piergiorgio Odifreddi. - Wellesley, Mass. : Peters, A.K., 1996. - XI, 495 p. : ritr. ; 23 cm. ISBN 156881061X 1. Logica matematica 2. Kreisel, Georg I. Odifreddi, Piergiorgio 511.30924
Expert systems in medicine : 1970-1985 / Casimir A. Kulikowski. - [S.l. : s.n.], [1986?]. - 28 p. ; 23 cm. Contiene anche: Evolution of an expert system: from internist to caduceus / Harry E. Pople, jr. (30 p.). Types of knowledge as bases for reasoning in medical AI programs / Peter Szolovits (16 p. non num.). - Sulla cop.: International conference on Artificial intelligence in medicine, Castello Visconteo, Pavia, Italy september 13-14, 1985. - Tit. orig.: Evolution of an expert system : from internist to caduceus. - Tit. orig.: Types of knowledge as bases for reasoni in medical AI programs. - Altro titolo: Artificial intelligence in medicine. 1. Elaboratori elettronici - Impiego in medicina 2. Sistemi esperti - Impiego in medicina I. Pople, Harry E., jr. II. Szolovits, Peter III. International conference on Artificial intelligence in medicine, Pavia, 1985 610.285
v-610.285 KUL Ladd, Robert D. Intonational phonology / D. Robert Ladd. - Repr. - Cambridge : Cambridge university press, 2001. - XV, 334 p. : ill. ; 23 cm. - (Cambridge studies in linguistics ; 79). Bibliogr.: p. 302-320. ISBN 0521475759 1. Grammatica - Fonologia 2. Intonazione (Fonetica) 414.6
v-414.6 LAD Lang, Serge Complex analysis / Serge Lang. - 2.ed. - New York, N.Y. [etc.] : Springer, c1985. - XIV, 367 p, : ill. ; 25 cm. - (Graduate texts in mathematics ; 103). ISBN 0387960856 1. Funzioni di variabile complessa 2. Analisi matematica 515.9
and Gesture / edited by David McNeill. - Cambridge : Cambridge university press, 2000. - IX, 409 p. ; 23 cm. - (Language, culture and cognition ; 2). ISBN 0521777615 1. Linguaggio dei gesti I. McNeill, David 419.
creation and language change : creolization, diacheony, and development / edited by Michel DeGraff. - Cambridge, Mass. London : MIT press, 2001. - X, 573 p. : diagr. ; 25 cm. - (MIT press series in learning, development and conceptual change). Bibliogr.: p. 534-543. ISBN 0262041685 1. Dialetti creoli 2. Linguaggio dei gesti 3. Linguaggio - Apprendimento 4. Grammatica comparata I. DeGraff, Michel 410.
v-410 LAN Lanz, Oswald Probabilistic multi-person tracking for ambient intelligence / Oswald Lanz ; advisor: Roberto Brunelli. - [8], xi, 188 p. : ill. ; 22 cm + 1 CD-ROM. Manoscritto. - Dati dalla cop. - Tesi di dottorato - Università di Trento, Facoltà di scienze matematiche, fisiche e naturali, Dipartimento di informatica e telecomunicazioni. 1. Immagini - Elaborazione - Tecniche digitali - Tesi di dottorato 2. Intelligenza artificiale - Elaborazione distribuita - Tesi di dottorato 006.3
Essays on restrictiveness and learnability / Howard Lasnik. - Dordrecht [etc.] : Kluwer academic, 1990. - IX, 269 p. : ill. ; 25 cm. - (Studies in natural language and linguistic theory ; 20). ISBN 0792306287 1. Grammatica comparata 2. Grammatica generativa 415.
v-415 LAS Lasnik, Howard Move Ã: conditions on its application and output / Howard Lasnik and Mamoru Saito. - Cambridge, Mass. London : MIT press, 1992. - IX, 222 p. ; 24 cm. - (Current studies in linguistics series ; 22). ISBN 0262121611 1. Grammatica comparata - Sintassi 2. Grammatica generativa I. Saito, Mamoru 415.
Object-oriented software engineering : practical software development using UML and Java / Timothy C. Lethbridge, Robert Laganière. - XIII, 497 p. : ill. ; 25 cm. Bibliogr. : p. <451>-475. ISBN 0077097610 1. Software - Sviluppo 2. Elaboratori elettronici - Programmazione orientata agli oggetti I. Laganière, Robert 005.117
v-005.117 LET Lind, Jürgen Iterative software engineering for multiagent systems : the MASSIVE method / Juergen Lind. - Berlin [etc.] : Springer, c2001. - XIV, 286 p. : ill. ; 24 cm. - (Lecture notes in computer science ; 1994). Bibliogr.: p. [265]-279. ISBN 3540421661 1. Software - Ingegneria 2. Software - Sviluppo 005.1
v-005.1 LIN Linguistic approaches to artificial intelligence / Ulrich Schmitz, Ruediger Schuetz, Andreas Kunz (Eds.). - Frankfurt am Main [etc.] : Lang, 1990. - II, 558 p. ; 21 cm. - (Duisburger Arbeiten zur Sprach- und Kulturwissenschaft = Duisburg papers on language and culture ; 6). ISBN 3631407378 1. Intelligenza artificiale 2. Linguistica - Elaborazione dei dati I. Kunz, Andreas II. Schütz, Rüdiger III. Schmitz, Ulrich 006.3
structure and linguistic structure : cross-linguistic perspectives / edited by C.-T. James Huang and Robert May. - Dordrecht [etc.] : Kluwer academic, 1990. - XXVIII, 284 p. : .tab. ; 23 cm. - (Studies in linguistics and philosophy ; 40). ISBN 0792309146 1. Grammatica comparata 2. Linguaggio e logica I. Huang, C.-T. James II. May, Robert 415.
for emerging applications of databases / Jan Chomicki, Ron van der Mayden, Gunter Saake (eds.). - Berlin [etc.] : Springer, c2003. - XV, 368 p. : ill. ; 24 cm. Bibliogr. : p. 356-361. ISBN 3540007059 1. Archivi di dati - Gestione 2. Programmazione logica I. Chomicki, Jan II. Saake, Gunter III. Van der Meyden, Ron 005.74
v-005.74 LOG Maffei, Carlo Riccardo Trasformazione dei parametri acustici per la normalizzazione del parlatore / relatore : dott. Diego Giuliani ; correlatore : prof. Goffredo Haus ; laureando : Carlo Riccardo Maffei. - [7], VII, 106 c. ; 30 cm. Manoscritto. - Verso delle c. bianco. - Dattiloscritto. - Tesi di laurea. - Università degli studi di Milano. Facoltà di scienze matematiche, fisiche e naturali, Corso di laurea in Scienza dell'informazioen, a. acc. 1994-95. 1. Elaboratori elettronici - Riconoscimento della voce umana - Tesi di laurea 006.454
Image synthesis : theory and practice / Nadia Magnenat-Thalmann, Daniel Thalmann. - Tokyo [etc.] : Springer, c1987. - XV, 400 p. : ill. ; 25 cm. - (Computer science workbench). Bibliogr.: p. [365]-392. ISBN 4431700234 1. Immagini ottiche - Elaborazione - Tecniche digitali 2. Elaboratori elettronici - Grafica I. Thalmann, Daniel 006.6
v-006.6 MAG Maio, Dario Sistemi informativi e rappresentazione della conoscenza : appunti tratti dalle lezioni di D. Maio, P. Tiberio / A cura di U. Rinaldi. - Bologna : Pitagora, c1988. - VII, 237 p. : ill. ; 24 cm. ISBN 8837104227 1. Archivi di dati - Progettazione I. Rinaldi, Ubaldo II. Tiberio, Paolo 005.74
Teoria e applicazioni delle macchine calcolatrici / Marco Maiocchi. - Milano : CEA, 1984. - XI, 490 p. ; 24 cm. 1. Elaboratori elettronici - Impiego 2. Algoritmi 3. Elaboratori elettronici - Struttura 004.
v-DEPO 000981 Manning, Christopher D. Foundations of statistical natural language processing / Christopher D. Manning, Hinrich Schutze. - Cambridge, Mass. London : MIT press, c1999. - XXXVII, 680 p. : ill. ; 24 cm. ISBN 0262133601 1. Linguistica - Elaborazione dei dati - Metodi statistici I. Schütze, Hinrich 410.285
The language of new media / Lev Manovich. - 2. print. - Cambridge, Mass. London : MIT press, c2001. - XXXIX, 354 p. : ill. ; 23 cm. - (Leonardo / [MIT press]). ISBN 0262632551 1. Cinematografia - Tecnica 2. Mezzi di comunicazione - Innovazione tecnologica 302.2
Economia trentina : dizionario / Mauro Marcantoni. - Trento : IASA, c2000. - 280 p. : tab. ; 21 cm. - (Economia e territorio). In testa al front.: GM Guida Monaci. 1. Trentino - Economia - Dizionari 330.945385
The mechanics of mind = La meccanica della mente / Giorgio Marchetti. - [S.l.] : Espansione, 1993 (Roma : Edigraf). - 156 p. ; 24 cm. Tit. parallelo: La meccanica della mente. 1. Mente
153. v-153 MAR Markel, John D. Linear prediction of speech / J.D. Markel, A.H. Gray, jr. - Berlin [etc.] : Springer, 1976. - XII, 288 p. : graf. ; 25 cm. - (Communication and cybernetics ; 12). ISBN 3540075631 1. Elaboratori elettronici - Riconoscimento della voce umana 2. Segnali - Elaborazione - Tecniche digitali 3. Linguaggio - Elaborazione dei dati 006.454
English text : system and structure / by J.R. Martin. - Philadelphia, Pa. Amsterdam : Benjamins, 1992. - XIV, 620 p. ; 21 cm. ISBN 1556194854; ISBN 9027221294 1. Discorso - Analisi 2. Lingua inglese - Sintassi 420.141
Speech perception by ear and eye: a paradigm for psychological inquiry / Dominic William Massaro. - Hillsdale, N.J. London : Erlbaum, Lawrence, Associates, 1987. - [10], 320 p. : tab. ; 23 cm. Bibliogr.: p. [283]-307. ISBN 080580062X 1. Percezione acustica 2. Percezione visiva 153.6
v-153.6 MAS Mathematical reasoning with diagrams : from intuition to automation / Mateja Jamnik. - Stanford, Calif. : CSLI, c2001. - XII, 204 p. : ill. ; 23 cm. - (CSLI lecture notes ; 127). ISBN 1575863243 1. Dimostrazione automatica di teoremi 2. Logica simbolica I. Jamnik, Mateja 511.3
Costruire un sistema esperto : intelligenza artificiale in BASIC / Alessandro Mazzetti. - Padova : Muzzio, 1986. - 165 p. ; 21 cm. - (Intelligenza artificiale e robotica ; 2). ISBN 887021303X 1. Intelligenza artificiale 2. Sistemi esperti 006.33
Applicazione dei sistemi esperti : esperienze reali : analisi degli strumenti e studio dei casi / Alessandro Mazzetti. - Padova : Muzzio, 1987. - 122 p. ; 21 cm. - (Intelligenza artificiale e robotica ; 8). ISBN 8870213545* 1. Sistemi esperti 006.33
Java and XML / Brett McLaughlin. - Beijing [etc.] : O'Reilly, c2000. - XVI, 479 p. : ill. ; 24 cm. - (The Java series). ISBN 0596000162 1. Elaboratori elettronici - Linguaggio Java 2. Elaboratori elettronici - Linguaggio XML 005.72 V-005.72 MCL (01) Medical language processing : computer management of narrative data / [Naomi Sager ... et al.]. - Reading, Mass. [etc.] : Addison-Wesley, c1987. - XIII, 348 p. ; 24 cm. Autori dalla p. contro il front. ISBN 0201168103 1. Cartelle cliniche - Elaborazione dei dati 2. Medicina - Terminologia - Elaborazione dei dati I. Sager, Naomi 610.285
v-610.285 MED Mel, Slater Computer graphics and virtual environments : from realism to real-time / Mel Slater, Anthony and Yiorgos Chrysanthou. – Harlow [etc.] : Addison-Wesley, 2002. - XXIII, 571 p., [8] c. di tav. : diagr. ; 25 cm. Bibliogr.: p. [538]-556. ISBN 0201624206 1. Elaboratori elettronici - Grafica 2. Realtà virtuale I. Chrysanthou, Yiorgos II. Steed, Anthony 006.6
v-006.6 MEL Mendelson, Elliott Introduction to mathematical logic / Elliott Mendelson. - 3. ed. - Monterey, Calif. : Wadsworth & Brooks-Cole advanced books & software, c1987. - IX, 341 p. ; 24 cm. - (The Wadsworth & Brooks-Cole mathematics series). Bibliogr.: p. 289-307. ISBN 0534066240 1. Logica matematica 511.3
v-511.3 MEN (01) Menezes, Alfred J. Handbook of applied cryptography / Alfred J. Menezes, Paul C. van Oorschot, Scott A. Vanstone. - Boca Raton, Fla. [etc.] : CRC press, c1997. - [30], 780 p. : tab., diagr. ; 26 cm. - (CRC press series on discrete mathematics and its applications). Bibliogr.: p. 703-754. ISBN 0849385237 1. Crittografia (Informatica) - Manuali 2. Elaboratori elettronici - Controllo d'accesso I. Oorschot, Paul C. van II. Vanstone, Scott A. 005.82
v-005.82 MEN v-005.82 MEN (01) v-005.82 MEN (02) Merzi, Mattia Una tecnica per la coordinazione di agenti mediante multicast : implementazione e confronti / relatore: dott. Roberto Sebastiani ; responsabile esterno: dott. Paolo Busetta ; laureanda: Mattia Merzi. - IV, 70 p. : diagr. ; 30 cm. Manoscritto. - Dattiloscritto. - Verso delle pagine bianco. - Tesi di laurea - Università degli studi di Trento, Facoltà di scienze matematiche, fisiche e naturali, Corso di laurea in informatica, a. acc. 2003-2004. 1. Intelligenza artificiale - Elaborazione distribuita - Tesi di laurea 006.3
: theory & applications / edited by Ibrahim Osman and James P. Kelly. - Boston, Mass. [etc.] : Kluwer academic, c1996. - X, 690 p. : ill. ; 24 cm. ISBN 0792397002 1. Ottimizzazione (Calcolo combinatorio) 2. Algoritmi I. Kelly, James Patrick II. Osman, Ibrahim H. 519.3
Matrix analysis and applied linear algebra / Carl Mayer. - Philadelphia, Pa. : SIAM, c2000. - XII, 718 p. : ill ; 25 cm + 1 CD-ROM. Altro titolo: Solutions manual. Contiene anche ( P. 171): Solutions manual / Carl Meyer ISBN 0898714540 1. Algebra lineare 512.5
Internet Explorer 4 Resource Kit : tutti gli strumenti e le informazioni tecniche per la distribuzione e il supporto di Internet Explorer nell'azienda. - Milano : Mondadori informatica. Redmond, Wash. : Microsoft press, 1998. - 2 v.(LXXXVIII, 864 p. compless.) : ill. ; 24 cm + 2 CD-ROM. - (Sistemi, linguaggi e applicazioni / [Mondadori]). In custodia. ISBN 8871318846 1. Microelaboratori elettronici - Programmi Microsoft Internet Explorer 005.713769 v-005.7137 MIC v-005.7137 MIC (01) Microsoft windows NT server, in italiano Microsoft windows NT server. - Milano : Mondadori informatica. Redmond, Wash. : Microsoft press, 1997. - 3 v. ; 24 cm. - (Sistemi, linguaggi e applicazioni / [Mondadori]). In testa al front.: Microsoft professional editions. - Tit. orig.: Microsoft windows NT server. - 3 v. in cofanetto. [1] : Guida alle risorse. - XXIII, 331 p., tab. + 1 CD-ROM [2] : Guida alle reti. - XXXIV, 810 p., ill. [3] : Guida a internet. - XVI, 188, [4] p. ISBN 8871317548 1. Elaboratori elettronici - Sistema operativo Windows NT 4.0 005.43
A critiquing approach to expert computer advice: ATTENDING / Perry L. Miller. - Boston, Mass. [etc.] : Pitman, 1984. - 112 p. ; 25 cm. - (Research notes in artificial intelligence ; 1). ISBN 0273086650 1. Anestesiologia - Elaborazione dei dati 2. Sistemi esperti - Impiego in anestesiologia 3. Medicina - Elaborazione dei dati 610.285
Expert critiquing systems : practice-based medical consultation by computer / Perry L. Miller. - New York, N.Y. [etc.] : Springer, 1986 copyr. - VI, 175 p. : ill. ; 24 cm. - (Computers and medicine). ISBN 0387962913; ISBN 3540962913 1. Elaboratori elettronici - Impiego in medicina 2. Medicina - Elaborazione dei dati 3. Sistemi esperti - Impiego in medicina 610.285
La privacy : guida alla applicazione della legge 675/1996 / Tiziana Minella. - Napoli : Simone, 2000. - 542 p. ; 24 cm. Con appendice normativa. ISBN 8824418015 1. Diritto alla riservatezza - Legislazione 2. Diritto alla riservatezza - Tutela 342.45
v-342.450858 MIN Modern optical characterization techniques for semiconductors and semiconductor devices / O.J. Glembocki, Fred H. Pollak, J.J. Song chairs-editors. - Bellingham, Wash. : SPIE-The International society for optical engineering, 1987. - VI, 282 p. : ill. ; 28 cm. - (Proceedings of SPIE-The International society for optical engineering ; v. 794). Atti del congresso tenuto a Bay Point, Florida il 26-27 marzo 1987. ISBN 089252829X 1. Congressi - Bay Point, Fl. - 1987 2. Semiconduttori - Effetti delle radiazioni - Congressi - 1987 3. Spettroscopia a laser - Congressi - 1987 4. Strumenti ottici - Applicazione all'industria - Congressi - 1987 I. Glembocki, O.J. II. Song, J.J. III. Pollak, Fred H. 535.84
v-535.84 MOD Modular programming applied to natural language processing : proceedings of the workshop held as part of EUROLAN 2001 Summer School : 30 July - 11 August 2001, Iasi, Romania / edited by Constantin Orasan, Catalina Barbu, Richard Evans. - Wolverhampton : University of Wolverhampton, [2001?]. - [6], 58 p. : diagr. ; 30 cm. 1. Linguaggio - Elaborazione dei dati - Congressi - Iasi - 2001 I. Barbu, Catalina II. Richard, Evans III. Orasan, Constantin 410.285
v-410.285 MOD Monachesi, Paola A lexical approach to italian cliticization / Ulf-Dietrich Reips and Michael Bosnjak (eds.). - Stanford, Calif. : CSLI, c1999. - XV, 347 p. : ill. ; 21 cm. - (CSLI lecture notes ; 84). ISBN 1575861089 1. Lingua italiana - Pronomi 455.
A general explanation-based learning mechanism and its application to narrative understanding / Raymond J. Mooney. - London : Pitman. San Mateo, Calif. : Kaufmann, 1990. - 166 p. : tab. ; 25 cm. - (Research notes in artificial intelligence). ISBN 0273088157 1. Intelligenza artificiale 2. Apprendimento meccanico 006.3
Foundations of a logic of knowledge, action, and communication / Morgenstern, Leora. - Facsim. - Ann Arbor, Mich. : University microfilms international, 1990. - VII, 320 p. ; 21 cm. Thesis (Ph.D.) - New York University, 1988. - Ripr. facs. dal microfilm dell'originale dattiloscritto. 1. Intelligenza artificiale 2. Conoscenza 006.3
Building Oracle XML application / Steve Muench. - Beijing [etc.] : O'Reilly, c2000. - XVI, 792 p. : ill. ; 24 cm. ISBN 1565926919 1. Elaboratori elettronici - Programma Oracle 2. Elaboratori elettronici - Linguaggio XML 005.72
intelligent information presentation / edited by Oliviero Stock and Massimo Zancanaro. - Dordrecht : Springer, c2005. - XII, 343 p. : ill. ; 24 cm. - (Text, speech and language technology ; 27). ISBN 1402030509 1. Elaboratori elettronici - Interfaccia utente 2. Linguaggio - Elaborazione elettronica 3. Elaboratori elettronici - Grafica I. Stock, Oliviero II. Zancanaro, Massimo 006.35
v-006.35 MUL Nait Abdallah, Areski The logic of partial information / Areski Nait Abdallah. - Berlin [etc.] : Springer, 1995. - XXV, 715 p. : tab. ; 24 cm. - (EATCS monographs on theoretical computer science). ISBN 3540565833 1. Elaboratori elettronici - Linguaggi - Semantica 2. Logica simbolica 3. Algoritmi 006.33
Predication theory : a case study for indexing theory / Donna Jo Napoli. - Cambridge [etc.] : Cambridge university press, 1989. - IX, 369 p. ; 24 cm. - (Cambridge studies in linguistics ; 50). ISBN 0521352983 1. Anafora (Grammatica) 2. Verbi - Tempi 415.
Proceedings fifteenth National conference on Artificial intelligence (AAAI-98) : tenth Conference on Innovative applications of artificial intelligence (IAAI-98) / Sponsored by the American Associaton for Artificial Intelligence. - Menlo Park, Calif. : AAAI Press. Cambridge, Mass. London : MIT press, c1998. - XXIV, 1218 p. : ill. ; 28 cm. Altro titolo: AAAI-98. - Altro titolo: IAAI-98. ISBN 0262510987 1. Congressi - Madison, Wis. - 1998 2. Intelligenza artificiale - Congressi - 1998 I. American association for artificial intelligence II. Conference on Innovative applications of artificial intelligence, 10., Madison, 1998 III. Tit.: Proceedings fifteenth National conference on Artificial intelligence (AAAI-98) 006.3
v-005.3 NAT National research council. Committee on the possible effect of electromagnetic fields on biologic systems Possible health effects of exposure to residential electric and magnetic fields / Committe on the possible effects of electromagnetic fields on biologic systems, Board on radiation effects research, Commission on life sciences, National research council. - Washington, D.C. : National Academy press, c1997. - XIX, 356 p. : ill. ; 24 cm. Bibliogr.: p. 302-337. ISBN 0309054478 1. Elettromagnetismo - Effetti fisiologici 612.01442 v-612.01442 NAT Neagu, Nicoletta Constraint satisfaction techniques for agent-based reasoning / Nicoletta Neagu. - Basel [etc.] : Birkhäuser, 2005. - X, 157 p. : ill. ; 24 cm. - (Whitestein series in software agent technologies). Bibliogr. : p. [149]-157. ISBN 3764372176 1. Intelligenza artificiale 006.3
v-006.31 NEA Nebel, Bernhard Reasoning and revision in hybrid representation systems / Bernhard Nebel. - Berlin [etc.] : Springer, 1990. - X, 270 p. ; 24 cm. - (Lecture notes in computer science ; 422). Bibliogr.: p. [237]-255. ISBN 0387524436; ISBN 3540524436 1. Conoscenza - Elaborazione dei dati 2. Intelligenza artificiale 006.3
v-006.3 NEB Negri, Matteo La valutazione di moduli nell'elaborazione del linguaggio naturale : problemi e metodi / Relatore: Carla Bazzanella ; Candidato: Matteo Negri. - IV, 202 p. : ill. ; 30 cm. Manoscritto. - Tesi di laurea: Università degli Studi di Torino, Facoltà di Lettere e Filosofia, Tesi di laurea in Filosofia e Linguaggio, a. acc. 1999-2000. 1. Linguaggio - Elaborazione dei dati - Tesi di laurea I. Bazzanella, Carla 410.285
Context-free grammars: covers, normal forms, and parsing / Anton Nijholt. - Berlin [etc.] : Springer, c1980. - VII, 253 p. ; 24 cm. - (Lecture notes in computer science ; 93). ISBN 3540102450 1. Linguaggi formali 511.3
v-511.3 NIJ Nilsson, Nils J. Principles of artificial intelligence / Nils J. Nilsson. - Berlin [etc.] : Springer, 1982. - XV, 476 p. : ill. ; 24 cm. - (Symbolic computation. Artificial intelligence). ISBN 0387113401; ISBN 3540113401 1. Intelligenza artificiale 006.3
Interactive media: : the semiotics of embodied inetraction / by Shaleph O'Neill. - London : Springer, c2008. - x, 184 p. : ill. ; 24 cm. Bibliogr. ISBN 9781848000353 1. Elaboratori elettronici - Interfaccia utente 2. Uomo e elaboratore elettronico 3. Semiotica 005.437019 v-005.437019 ONE Objects, agents and features : international seminar : Dagstuhl Castle, Germany, February 16-21, 2003 : revised and invited papers / Mark D. Ryan, John-Jules Ch. Meyer, Hans-Dieter Ehrich (eds.). - Berlin [etc.] : Springer, c2004. - [8], 226 p. : ill. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 2975). ISBN 3540219897 1. Elaboratori elettronici - Programmazione orientata agli oggetti - Congressi - Dagstuhl Schloss - 2003 2. Intelligenza artificiale - Congressi - Dagstuhl Schloss - 2003 I. Ehrich, Hans Dieter II. Meyer, John-Jules Ch. III. Ryan, Mark D. 006.3
blender 2.3 guide : free 3D creation suite for modeling, animation and rendering / produced and edited by Ton Roosendaal and Stefano Selleri. - San Francisco, Calif. : No Starch press, c2004. - 768 p. : ill. ; 24 cm + 1 CD-ROM. Segue il tit.: Blender Foundation. ISBN 1593270410 1. Elaboratori elettronici - Impiego nella cinematografia d'animazione 2. Microelaboratori elettronici - Programmi Blender 3. Immagini ottiche tridimensionali - Elaborazione - Tecniche digitali 4. Elaboratori elettronici - Grafica I. Roosendaal, Ton II. Selleri, Stefano 006.696
v-006.696 OFF On conceptual modelling : perspectives from artificial intelligence, databases and programming languages / edited by Michael L. Brodie, John Mylopoulos, Joachim W. Schmidt. - 2nd print. - New York, N.Y. [etc.] : Springer, 1986. - XI, 510 p. ; 24 cm. - (Topics in information systems). ISBN 0387908420 1. Archivi di dati - Gestione 2. Intelligenza artificiale 3. Elaboratori elettronici - Programmazione 4. Elaboratori elettronici - Modelli di simulazione 006.3
the move to meaningful internet systems 2002 : coopis, doa and odbase 2002 : confederated international conferences coopis, doa and odbase 2002 : proceedings / Robert Meersman, Zahir Tari ... et al. [eds.]. - Berlin [etc.] : Springer, c2002. - XXIII, 1367 p. : ill. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 2519). Altro titolo: CoopIS 2002. ISBN 3540001069 1. Archivi di dati - Elaborazione distribuita - Cooperazione internazionale - Congressi - Irvine, Calif. - 2002 2. Internet (Rete di elaboratori) - Congressi - Irvine, Calif. - 2002 I. Meersman, Robert A. II. Tari, Zahir 005.758
v-005.758 ONT On the move to meaningful internet systems 2004 : OMT federated international conferences CoopIS, DOA and ODBASE 2004 and workshops and posters GADA, JTRES, MIOS, WORM, WOSE, PhDS and INTEROP 2004 : Agia Napa, Cyprus, October 25-29, 2004 : proceedings Robert Meersman, ... (et al.) (eds). - Berlin Heidelberg : Springer, c2004. - 2v. (L, 1648 p. compless.) : ill. ; 24 cm. - (Lecture notes in computer science, ISSN 0302-9743 ; 3290 ; 3291). Altro titolo: CoopIS 2004. - Altro titolo: DOA 2004. - Altro titolo: ODBASE 2004. ISBN 3540236627 (2.v.)*; ISBN 3540236635 (1.v.)* 1. Archivi di dati - Elaborazione distribuita - Cooperazione internazionale - Congressi - Agia Napa (Cipro) - 2004 2. Internet (Rete di elaboratori) - Congressi - Agia Napa (Cipro) - 2004 I. Meersman, Robert A. 005.758
: ontologies and lexical knowledge bases : 27th May 2002 : workshop proceedings / [editors Kiril Simov]. - [S.l. : s.n.], [2002?]. - V, 73 p. : diagr. ; 30 cm. Dati dalla cop. - Secondo sottotit. precede il tit. - Precede il tit.: LRC 2002. 1. Linguaggio - Archivi di dati - Congressi - Las Palmas - 2002 I. Simov, Kiril 410.285
characterization techniques for semiconductor technology / D.E. Aspnes, S.So, R.F. Potter editors. - Ann Arbor, Mich. : University microfilms international, [1982?]. - X, 262 c. : ill. ; 26 cm. - (Proceedings of SPIE-The International society for optical engineering ; 276). Atti del congresso tenuto a San Jose, California il 1-2 aprile 1981. - Verso delle c. bianche. - Ripr. facs. da microfilm della 2. print.: Bellingham, Wash. : SPIE, 1982. 1. Congressi - San Jose, Calif. - 1981 2. Semiconduttori - Effetti delle radiazioni - Congressi - 1981 3. Strumenti ottici - Applicazioni all'industria - Congressi - 1981 4. Spettroscopia ottica - Congressi - 1981 I. Aspnes, D.E. II. Potter, Roy F. III. So, Samuel S. 535.84
Ricerca e sviluppo negli Stati Uniti / di Claudio Orzalesi. - [S.l. : s.n.], 1985. - 84 p. : graf. ; 28 cm. 1. Ricerca scientifica - Stati Uniti d'America 2. Stati Uniti d'America - Politica scientifica 3. Stati Uniti d'America – Politica tecnologica 507.2073
v-507.2073 ORZ 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:
|