Biblioteca do ISEL

Your search returned 1946 results. Subscribe to this search

|
Inspection and maintenance of reinforced and prestressed concrecte structures / Fédération Internationale de la PrécontraintePublication: London : Thomas Telford, 1986Description: 7 p. : il. ; 30 cmAvailability: Items available for loan: [FIP 693.5] (1). Items available for reference: [FIP 693.5] (1).

Quality management systems for post-tensioned concrete structures according to ISO 9001 / Fédération Internationale de la PrécontraintePublication: London : SETO, 1998Description: 27 p. : il. ; 30 cmAvailability: Items available for loan: [FIP 693.5] (1).

Composite floor structures / Fédération Internationale de la PrécontraintePublication: London : SETO, 1998Description: 58 p. : il. ; 30 cmAvailability: Items available for loan: [FIP 693.5] (1).

Qualification and approval of prestressing contractors and system suppliers / Fédération Internationale de la PrécontraintePublication: London : SETO, 1998Description: 18 p. : il. ; 30 cmAvailability: Items available for loan: [FIP 693.5] (1).

Design of thin-walled units / Fédération Internationale de la PrécontraintePublication: London : SETO, 1998Description: 50 p. : il. ; 30 cmAvailability: Items available for loan: [FIP 693.5] (1). Items available for reference: [FIP 693.5] (1).

Recommendations for the design of post-tensioned slabs and foundation rafts / Fédération Internationale de la PrécontraintePublication: London : SETO, 1999Description: 44 p. : il. ; 30 cmAvailability: Items available for loan: [FIP 693.5] (1). Items available for reference: [FIP 693.5] (1).

FIP handbook on practical design : examples of the design of concrete structures / Fédération Internationale da la PrécontraintePublication: London : Thomas Telford, 1990Description: 177 p. : il. ; 31 cm.Availability: Items available for loan: [FIP 693.5] (1).

Arch bridges / C. MelbournePublication: New York : Thomas Telford, 1995Description: 693 p. : il. ; 24 cm.Availability: Items available for loan: [MEL. 624.21] (1).

Réussir l'acoustique d'un bâtiment : conception architecturale et technique des bâtiments d'habitation et des établissements d'enseignement isolation et correction acoustiques / Loïc Hamayon ; ill. Christine Simonin AdamPublication: Paris : Le Moniteur, 1996Description: 271 p. : il. ; 27 cm.Availability: Items available for loan: [HAM. 699.8] (1).

Corba 3 / Reaz HoquePublication: Foster City : IDG Books Worldwide, 1998Description: XXII, 626 p. : il. + CD-ROMAvailability: Items available for loan: [HOQ. 004.72] (4). Items available for reference: [HOQ. 004.72] (2).

COM and CORBA side by side : architectures, strategies, and implementations / Jason PritchardPublication: Reading : Addison-Wesley, 1999Description: XIX, 430 p. : il.Availability: Items available for loan: [PRI. 004.72] (1).

Computational intelligence : soft computing and fuzzy-neuro integration with applications / Okyay Kaynak... [et al.]Publication: Berlin : Springer, 1998Description: IX, 538 p. : il.Availability: Items available for loan: [KAY. 004.82] (1).

Pattern recognition / Sergios Theodoridis, Konstantinos KoutroumbasPublication: San Diego : Academic Press, 1999Description: XIV, 625 p. : il. ; 24 cm.Availability: Items available for loan: [THE. 681.5(007)] (1).

Artificial neural nets and genetic algorithms / George D. Smith, Nigel C. Steele, Rudolf F. AlbrechtPublication: Wien : Springer, 1998Description: XV, 634 p. : il. ; 28 cmAvailability: Items available for loan: [SMI. 681.5(007)] (1).

Genetic algorithms and evolution strategy in engineering and computer science : recent advances and industrial applications / D. Quagliarella... [et al.]Publication: Chichester : John Wiley & Sons, 1998Description: X, 391 p. : il. ; 25 cm.Availability: Items available for loan: [QUA. 681.5(007)] (1). Items available for reference: [QUA. 681.5(007)] (1).

Applied logic : how, what and why : logical approaches to natural language / László Pólos, Michael MasuchPublication: Dordrecht : Kluwer Academic Publishers, 1995Description: VIII, 392 p. : il.Availability: Items available for loan: [POL. 004.8] (1).

Multi-agent systems : an introduction to distributed artificial intelligence / Jacques FerberPublication: Harlow : Addison-Wesley, 1999Description: XVIII, 509 p. : il.Availability: Items available for loan: [FER. 004.8] (1).

Java programming with CORBA / Andreas Vogel, Keith DuddyPublication: New York : John Wiley & Sons, 1998Description: XIV, 514 p.Availability: Items available for loan: [VOG. 004.43Jav] (2). Items available for reference: [VOG. 004.43Jav] (1).

Elements of distributed algorithms : modeling and analysis with Petri nets / Wolfgang ReisigPublication: Berlin : Springer, 1998Description: XI, 302 p. : il. ; 24 cm.Availability: Items available for loan: [REI. 681.5(007)] (1).

Advanced CORBA programming with C++ / Michi Henning, Steve VinoskiPublication: Reading : Addison-Wesley, 1999Description: XXII, 1083 p. : il.Availability: Items available for loan: [HEN. 004.43C++] (2). Items available for reference: [HEN. 004.43C++] (1).

Theoretical aspects of neural computation : a multidisciplinary perspective / Kwok-Yee Michael Wong, Irwin King, Dit-Yan YeungPublication: Singapore : Springer, 1998Description: XI, 320 p. : il. ; 24 cm.Availability: Items available for loan: [WON. 681.5(007)] (1).

Expert systems and probabilistic network models / Enrique Castillo, José Manuel Gutiérrez, Ali S. HadiPublication: New York : Springer, 1997Description: XIV, 605 p. : il.Availability: Items available for loan: [CAS. 004.8] (1).

Data modeling and design for today's architectures / Angelo BobakPublication: Boston : Artech House, 1997Description: XII, 504 p. : il. + disqueteAvailability: Items available for loan: [BOB. 004.65] (1).

Exercises in graph theory / O. Melnikov... [et al.]Publication: Dordrecht : Kluwer Academic Publishers, 1998Description: VIII, 354 p. : il. ; 25 cmAvailability: Items available for loan: [MEL. 519.1] (1).

Embeddability in graphs / Liu YanpeiPublication: Beijing : Science Press, Kluwer Academic Publishers, 1995Description: XVI, 398 p. : il. ; 25 cmAvailability: Items available for loan: [YAN. 519.1] (1).

Essentials of artificial intelligence / Matt GinsbergPublication: San Francisco : Morgan Kaufmann, 1993Description: XIII, 430 p. : il.Availability: Items available for loan: [GIN. 004.8] (1).

The handbook of applied expert systems / Jay LiebowitzPublication: Boca Raton : CRC, 1998Description: [pag. var.] : il.Availability: Items available for loan: [LIE. 004.8] (1).

Artificial life : an overview / Christopher G. LangtonPublication: Cambridge : MIT P, 1998Description: XI, 340 p. : il.Availability: Items available for loan: [LAN. 004.94] (1).

Genetic algorithms + data structures = evolution programs / Zbigniew MichalewiczPublication: Berlin : Spinger, 1999Description: XX, 387 p. : il. ; 24 cm.Availability: Items available for loan: [MIC. 681.5(007)] (1).

Knowledge spaces / Jean-Paul Doignon, Jean-Claude FalmagnePublication: Berlin : Springer, 1999Description: XV, 333 p. : il.Availability: Items available for loan: [DOI. 004.8] (1).

Programming with constraints : an introduction / Kim Marriott, Peter J. StuckeyPublication: Cambridge : The MIT Press, 1998Description: XIV, 467 p. : il. ; 26 cm.Availability: Items available for loan: [MAR. 681.5(007)] (1). Items available for reference: [MAR. 681.5(007)] (1).

Software agents / Jeffrey M. BradshawPublication: Menlo Park : AAAI : The MIT, 1997Description: X, 480 p. : il.Availability: Items available for loan: [BRA. 004.8] (2). Items available for reference: [BRA. 004.8] (1).

Intelligent software agents : foundations and applications / Walter Brenner, Rüdiger Zarnekow, Hartmut WittigPublication: Berlin : Springer, 1998Description: VII, 326 p. : il.Availability: Items available for loan: [BRE. 004.8] (1).

Algorithms for image processing and computer vision / J. R. ParkerPublication: New York : John Wiley & Sons, 1997Description: XIII, 417 p. : il. ; 24 cm. + CD-ROMAvailability: Items available for loan: [PAR. 621.391] (2).

Enterprise CORBA / Dirk Slama, Jason Garbis, Perry RusselPublication: Upper Saddle River : Prentice Hall PTR, 1999Description: XVI, 366 p. : il.Availability: Items available for loan: [SLA. 004.72] (1).

Discrete mathematics with algorithms / Michael O. Albertson, Joan P. HutchinsonPublication: New York : John Wiley & Sons, 1988Description: XIII, 546 p. : il. ; 24 cm.Availability: Items available for loan: [ALB. 519.6] (1).

The CORBA reference guide : understanding the common object request broker architecture / Alan PopePublication: Reading : Addison-Wesley, 1998Description: XIX, 407 p. : il.Availability: Items available for loan: [POP. 004.72] (1).

The essential CORBA : systems integration using distributed objects / Thomas J. Mowbray, Ron ZahaviPublication: New York : John Wiley & Sons, 1995Description: XVI, 316 p. : il.Availability: Items available for loan: [MOW. 004.72] (1).

Handbook of chemical technology and pollution control / Martin B. HockingPublication: San Diego : Academic Press, 1998Description: XXIV, 777 p. : il. ; 26 cm.Availability: Items available for loan: [HOC. 66] (1).

Fuzzy logic for planning and decision making / Freerk A. LootsmaPublication: Dordrecht : Kluwer, 1997Description: X, 195 p. : il. ; 25 cmAvailability: Items available for loan: [LOO. 681.5(007)] (1).

Electricity for refrigeration, heating, and air conditioning / Russell E. SmithPublication: Albany : Delmar, 1997Description: VIII, 520 p. : il. ; 24 cm.Availability: Items available for loan: [SMI. 621.3] (1).

Landslides glissements de terrain vol. 2 / Kaare SennesetPublication: Rotterdam : A. A. Balkema, 1996Description: XIV, 593-1486 p. : il. ; 26 cm.Availability: Items available for loan: [SEN. 624.131] (1).

Refrigeration and air conditioning / W. F. Stoecker, J. W. JonesPublication: Auckland : McGraw-Hill Book Company, 1982Description: XVI, 443 p. : il. ; 21 cmAvailability: Items available for loan: [STO. 621.5] (2). Items available for reference: [STO. 621.5] (1).

Chromatographic separations based on molecular recognition / Kiyokatsu JinnoPublication: New York : Wiley-VCH, 1997Description: XIV, 426 p. : il. ; 24 cm.Availability: Items available for loan: [JIN. 543.54] (1).

CRC handbook of laboratory safety / A. Keith FurrPublication: Boca Raton : CRC Press, 1995Description: XXIII, 783 p. : il. ; 26 cm.Availability: Items available for loan: [FUR. 542] (1).

Ontologically controlled autonomous systems : principles, operations and architecture / George A. FodorPublication: Boston : Kluwer Academic, 1998Description: XI, 245 p. : il. ; 24 cm.Availability: Items available for loan: [FOD. 621.3] (1).

Understanding digital subscriber line technology / Thomas Starr, John M. Cioffi, Peter SilvermanPublication: Upper Saddle River : Prentice Hall PTR, 1999Description: XVIII, 474 p. : il. ; 25 cm. + CD-ROMAvailability: Items available for loan: [STA. 004.7] (4). Items available for reference: [STA. 004.7] (2).

Foundation mathematics / L. R. Mustoe, M. D. J. BarryPublication: Chichester : John Wiley & Sons, 1998Description: XII, 656 p. : il. ; 24 cm.Availability: Items available for loan: [MUS. 51] (1).

Foundation maths / Anthony Croft, Robert DavisonPublication: Harlow : Addison-Wesley, 1998Description: IX, 389 p. : il. ; 25 cmAvailability: Items available for loan: [CRO. 51] (1).

Foundation mathematics / Dexter J. BoothPublication: Harlow : Addison-Wesley Longman, 1998Description: XVI, 639 p. : il. ; 24 cm.Availability: Items available for loan: [BOO. 51] (1).

Informática-ISEL