Biblioteca do ISEL

Your search returned 1946 results. Subscribe to this search

|
Case-based reasoning : experiences, lessons & future directions / David B. LeakePublication: Menlo Park : AAAI Press / The MIT Press, 1996Description: XIV, 420 p. : il. ; 23 cm.Availability: Items available for loan: [LEA. 681.5(007)] (1). Items available for reference: [LEA. 681.5(007)] (1).

Empirical methods for artificial intelligence / Paul R. CohenPublication: Cambridge : The MIT Press, 1995Description: XVI, 405 p. : il.Availability: Items available for loan: [COH. 004.8] (1). Items available for reference: [COH. 004.8] (1).

From logic to logic programming / Kees DoetsPublication: Cambridge : The MIT Press, 1994Description: XII, 214 p. : il.Availability: Items available for loan: [DOE. 004.8] (1). Items available for reference: [DOE. 004.8] (1).

Intelligent knowledge based systems in electrical power engineering / J. R. McDonald... [et al.]Publication: London : Chapman & Hall, 1997Description: XII, 224 p. : il.Availability: Items available for loan: [MCD. 004.8] (1).

Artificial intelligence and mobile robots : case studies of successful robot systems / David Kortenkamp, R. Peter Bonasso, Robin MurphyPublication: Menlo Park : AAAI Press/The MIT Press, 1998Description: X, 390 p. : il.Availability: Items available for loan: [KOR. 004.8] (1).

Statistical methods for speech recognition / Frederick JelinekPublication: Cambridge : MIT, 1999Description: XXI, 283 p. : il.Availability: Items available for loan: [JEL. 004.8] (2). Items available for reference: [JEL. 004.8] (1).

Alpha AXP architecture reference manual / Richard L. Sites, Richard T. WitekPublication: Boston : Digital Press, 1995Description: [pág. var.] : il.Availability: Items available for loan: [SIT. 004.2] (1). Items available for reference: [SIT. 004.2] (1).

Data mining / Pieter Adriaans, Dolf ZantingePublication: Harlow : Addison-Wesley, 1998Description: XI, 158 p. : il.Availability: Items available for loan: [ADR. 004.65] (1).

Expert systems : principles and programming / Joseph Giarratano, Gary RileyPublication: Boston : PWS Publishing Company, 1998Description: XVI, 597 p. : il. + CD-ROMAvailability: Items available for loan: [GIA. 004.8] (2).

Hormigon armado tomo I / P. Jimenez Montoya, A. Garcia Meseguer, F. Moran CabrePublication: Barcelona : Editorial Gustavo Gili, 1991Description: XXXVII, 710 p. : il. ; 28 cm.Availability: Items available for loan: [MON. 693.5] (2). Items available for reference: [MON. 693.5] (1).

Design of prestressed concrete / Arthur H. NilsonPublication: New York : John Wiley & Sons, 1987Description: XII, 592 p. : il. ; 23 cm.Availability: Items available for loan: [NIL. 693.5] (1). Items available for reference: [NIL. 693.5] (1).

Memento appliqué d'urbanisme tome 1 : l'analyse urbanistique / Alain PlesiatPublication: Dole : ACEIF - Agence en Conseil, Etude, Information et Formation, 1997Description: 246 p. : il. ; 26 cm.Availability: Items available for loan: [PLE. 71] (1).

Standard handbook of architectural engineering : a practical manual for architects, engineers, contractors & related professions & occupations / Robert Brown ButlerPublication: New York : McGraw-Hill, 1998Description: XXXIV, 1071 p. : il. ; 24 cm. + disquete.Availability: Items available for loan: [BUT. 624] (1).

Introduction to expert systems / Peter JacksonPublication: Harlow : Addison-Wesley, 1990Description: XVII, 526 p. : il.Availability: Items available for loan: [JAC. 004.8] (1).

Geotechnical engineering for the preservation of monuments and historic sites / Carlo ViggianiPublication: Rotterdam : A. A. Balkema, 1997Description: XVII, 880 p. : il. ; 26 cm. + mapasAvailability: Items available for loan: [VIG. 624.131] (1).

Cable supported bridges : concept and design / Niels J. GimsingPublication: Chichester : John Wiley & Sons, 1997Description: VIII, 471 p. : il. ; 26 cm.Availability: Items available for loan: [GIM. 624.21] (2). Items available for reference: [GIM. 624.21] (1).

La gestion des ouvrages d'art / Organisation de Coopération et de Développement ÉconomiquesPublication: Paris : OCDE, 1992Description: 132 p. : il. ; 27 cmAvailability: Items available for loan: [OCDE 624] (1).

Basic mathematics for the physical sciences / Haym Kruglak, John T. MoorePublication: New York : McGraw-Hill Book, 1963Description: VII, 354 p. : il. ; 24 cm.Availability: Items available for loan: [KRU. 51] (1).

Strategies for real-time system specification / Derek J. Hatley, Imtiaz A. PirbhaiPublication: New York : Dorset House Publishing, 1988Description: XXII, 386 p. : il.Availability: Items available for loan: [HAT. 004.33] (1).

Handbook of environmental management and technology / Gwendolyn Holmes, Ben Ramnarine Singh, Louis TheodorePublication: New York : John Wiley & Sons, 1993Description: X, 651p. : il. ; 24 cm.Availability: Items available for loan: [HOL. 628] (1).

Predictive data mining : a pratical guide / Sholom M. Weiss, Nitin IndurkhyaPublication: San Francisco : Morgan Kaufmann Publishers, 1998Description: XII, 228 p. : il. ; 23 cm.Availability: Items available for loan: [WEI. 681.5(007)] (1).

Applying case-based reasoning : techniques for enterprise systems / Ian WatsonPublication: San Francisco : Morgan Kaufmann Publishers, 1997Description: XIX, 289 p. : il. ; 23 cm.Availability: Items available for loan: [WAT. 681.5(007)] (1).

Introduction to knowledge systems / Mark StefikPublication: San Francisco : Morgan Kaufmann Publishers, 1995Description: XX, 870 p. : il. ; 24 cm.Availability: Items available for loan: [STE. 681.5(007)] (1).

Fuzzy expert system tools / Moti Schneider... [et al.]Publication: Chichester : John Wiley & Sons, 1997Description: XIII, 198 p. : il. ; 25 cm. + disquete.Availability: Items available for loan: [SCH. 681.5(007)] (1).

Artificial intelligence : a modern approach / Stuart J. Russell, Peter NorvigPublication: Englewood Cliffs : Prentice-Hall, 1995Description: XXVIII, 932 p. : il. ; 24 cmAvailability: Items available for loan: [RUS. 681.5(007)] (2). Items available for reference: [RUS. 681.5(007)] (1).

Rules of encounter : designing conventions for automated negotiation among computers / Jeffrey S. Rosenschein, Gilad ZlotkinPublication: Cambridge : The MIT Press, 1998Description: XXI, 229 p. : il. ; 24 cmAvailability: Items available for loan: [ROS. 681.5(007)] (1).

The complete home lighting book : contemporary interior & exterior lighting for the home / James DavidsonPublication: Woodstock : The Overlook Press, 1997Description: 160 p. : il. ; 27 cm.Availability: Items available for loan: [DAV. 621.316.1] (1).

The complexity of cooperation : agent-based models of competition and collaboration / Robert AxelrodPublication: Princeton : Princeton University Press, 1997Description: XIV, 232 p. : il.Availability: Items available for loan: [AXE. 004.8] (1).

Genetic programming : an introduction : on the automatic evolution of computer programs and its applications / Wolfgang Banzhaf... [et al.]Publication: San Francisco : Morgan Kaufmann Publishers, 1998Description: XIX, 470 p. : il.Availability: Items available for loan: [BAN. 004.8] (1).

Inductive logic programming : from machine learning to software engineering / Francesco Bergadano, Daniele GunettiPublication: Cambridge : The MIT Press, 1996Description: VII, 240 p. : il.Availability: Items available for loan: [BER. 004.8] (2). Items available for reference: [BER. 004.8] (1).

Artificial minds / Stan FranklinPublication: Cambridge : MIT, 1998Description: XI, 449 p : il.Availability: Items available for loan: [FRA. 004.8] (1).

Neural network systems techniques and applications / Cornelius T. LeondesPublication: San Diego : Academic Press, 1998Description: [pág. var] : il.Availability: Items available for loan: [LEO. 004.8] (8). Items available for reference: [LEO. 004.8] (2).

Machine learning and data mining : methods and applications / Ryszard S. Michalski, Ivan Bratko, Miroslav KubatPublication: Chichester : John Wiley & Sons, 1998Description: XVI, 456 p. : il.Availability: Items available for loan: [MIC. 004.8] (1).

Mind children : the future of robot and human intelligence / Hans MoravecPublication: Cambridge : Harvard University Press, 1988Description: 214 p. : il. ; 24 cm.Availability: Items available for loan: [MOR. 681.5(007)] (1).

Artificial intelligence : a new synthesis / Nils J. NilssonPublication: San Francisco : Morgan Kaufmann, 1998Description: XXI, 513 p. : il.Availability: Items available for loan: [NIL. 004.8] (1).

C4.5 : programs for machine learning / J. Ross QuinlanPublication: San Mateo : Morgan Kaufmann Publishers, 1993Description: X, 302 p. : il. ; 24 cmAvailability: Items available for loan: [QUI. 681.5(007)] (1).

Maths for engineers : a student's handbook / Ruth Rees, Mayveen BlackwellPublication: London : Arnold, 1999Description: VIII, 233 p. : il. ; 25 cm.Availability: Items available for loan: [REE. 51] (1).

Windows sockets network programming / Bob Quinn, Dave ShutePublication: Reading : Addison-Wesley, 1996Description: XVIII, 637 p. : il. + CD-ROMAvailability: Items available for loan: [QUI. 004.78] (4). Items available for reference: [QUI. 004.78] (1).

Creating cool intelligent agents for the net / Leslie Lesnick, Ralph MoorePublication: Foster City, CA : IDG Books Worldwide, 1997Description: XVII, 289 p. : il. + CD-ROM.Availability: Items available for loan: [LES. 004.8] (1).

Readings in agents / Michael N. Huhns, Munindar P. SinghPublication: San Francisco : Morgan Kaufmann, 1997Description: XV, 523 p. : il.Availability: Items available for loan: [HUH. 004.8] (1).

Combining artificial neural nets : ensemble and modular multi-net systems / Amanda J. C. SharkeyPublication: London : Springer, 1999Description: XV, 298 p. : il. ; 24 cmAvailability: Items available for loan: [SHA. 681.5(007)] (1).

Multiagent systems : a modern approach to distributed artificial intelligence / Gerhard WeissPublication: Cambridge : The MIT Press, 1999Description: XXIII, 619 p. : il. ; 25 cm.Availability: Items available for loan: [WEI. 681.5(007)] (1).

Advances in kernel methods : support vector learning / Bernhard Schölkopf, Christopher J. C. Burges, Alexander J. SmolaPublication: Cambridge : The MIT Press, 1999Description: VII, 376 p. : il. ; 26 cm.Availability: Items available for loan: [SCH. 681.5(007)] (1). Items available for reference: [SCH. 681.5(007)] (1).

Modern information retrieval / Ricardo Baeza-Yates, Berthier Ribeiro-NetoPublication: New York; ; Harlow : ACM Press : Addison-Wesley, 1999Description: XX, 513 p. : il.Availability: Items available for loan: [BAE. 004.65] (1).

Distributed applications engineering : building new applications and managing legacy applications with distributed technologies / Inji Wijegunaratne, George FernandezPublication: London : Springer, 1998Description: XVIII, 270 p. : il.Availability:

An introduction to natural computation / Dana H. BallardPublication: Cambridge : The MIT Press, 1997Description: XXII, 307 p. : il.Availability: Items available for loan: [BAL. 004.8] (3). Items available for reference: [BAL. 004.8] (1).

Energy storage systems / Birol Kilkis, Sadik KakaçPublication: Dordrecht : Kluwer Academic, 1989Description: X, 746 p. : il. ; 24 cmAvailability: Items available for loan: [KIL. 621.315] (1).

Satellite communications / Timothy Pratt, Charles W. BostianPublication: New York : John Wiley & Sons, 1986Description: XVIII, 472 p. : il. ; 23 cm.Availability: Items available for loan: [PRA. 621.39] (1). Items available for reference: [PRA. 621.39] (1).

Repair and strengthening of concrecte structures / Fédération Internationale de la PrécontraintePublication: London : Thomas Telford, 1991Description: 37 p. : il. ; 30 cmAvailability: Items available for loan: [FIP 693.5] (1). Items available for reference: [FIP 693.5] (1).

Informática-ISEL