Biblioteca do ISEL

Your search returned 1946 results. Subscribe to this search

|
Étude comparative des langages de programmation / Bryan Higman ; trad. M. T. MarguliciPublication: Paris, 1973 : DunodDescription: VIII, 219 p. ; 22 cm.Availability: Items available for loan: [HIG. 004.03] (1).

Models and computability / S. Barry Cooper, John K. TrussPublication: Cambridge : University Press, 1999Description: IX, 419 p. : il. ; 23 cmAvailability: Items available for loan: [COO. 519.6] (1).

CEB-FIP model code 1990 : design code / Comité Euro-International du BétonPublication: London : CEB, 1993Description: 437 p. : il.Availability: Items available for loan: [CEB 693.5(094.5)] (1).

The cognitive structure of emotions / Andrew Ortony, Gerald L. Clore, Allan CollinsPublication: Cambridge : University Press, 1999Description: XI, 207 p. : il. ; 23 cm.Availability: Items available for loan: [ORT. 681.5(007)] (1).

Understanding intelligence / Rolf Pfeifer, Christian ScheierPublication: Cambridge : MIT Press, 1999Description: XX, 697 p. : il.Availability: Items available for loan: [PFE. 004.8] (1). Items available for reference: [PFE. 004.8] (1).

On the origin of objects / Brian Cantwell SmithPublication: Cambridge : Mit Press, 1998Description: XII, 420 p. : il. ; 23 cm.Availability: Items available for loan: [SMI. 681.5(007)] (1).

The nature of emotion : fundamental questions / Paul Ekman, Richard J. DavidsonPublication: Oxford : Oxford University Press, 1994Description: XIV, 496 p. : il. ; 24 cmAvailability: Items available for loan: [EKM. 681.5(007)] (1).

Modes of thought / Alfred North WhiteheadPublication: New York : Free Press, 1968Description: X, 179 p. ; 21 cm.Availability: Items available for loan: [WHI. 681.5(007)] (1).

Five elements and ten stems / Kiiko Matsumoto, Stephen BirchPublication: Brookline : Paradigm Publications, 1983Description: XI, 236 p. : il. ; 23 cm.Availability: No items available Checked out (1).

Mind as motion : explorations in the dynamics of cognition / Robert F. Port, Timothy Van GelderPublication: Cambridge : The Mit Press, 1995Description: X, 590 p. : il. ; 25 cm.Availability: No items available Withdrawn (1).

Dynamic patterns : the self-organization of brain and behavior / J. A. Scott KelsoPublication: Cambridge : The Mit Press, 1999Description: XVII, 334 p. : il. ; 25 cm.Availability: No items available Checked out (1).

Alchemies of the mind : rationality and the emotions / Jon ElsterPublication: Cambridge : Cambridge University Press, 1999Description: XI, 450 p. ; 23 cm.Availability: Items available for loan: [ELS. 681.5(007)] (1).

Consciousness explained / Daniel C. DennettPublication: London : Penguin Books, 1993Description: XIII, 511 p. : il. ; 20 cm.Availability: No items available Checked out (1).

Intentionality : an essay in the philosophy of mind / John R. SearlePublication: Cambridge : Cambridge University Press, 1999Description: X, 278 p. ; 22 cm.Availability: No items available Checked out (1).

Aromatic character and aromaticity / G. M. BadgerPublication: Cambridge, 1969 : Cambridge University PressDescription: VIII, 133 p. : il. ; 22 cmAvailability: Items available for loan: [BAD. 547] (1).

Simple heuristics that make us smart / Gerd Gigerenzer, Peter M. Todd, Abc Research GroupPublication: Oxford : Oxford University Press, 1999Description: XV, 416 p. : il. ; 24 cmAvailability: No items available Checked out (1).

How to prove it : a structured approach / Daniel J. VellemanPublication: Cambridge : Cambridge University Press, 1998Description: IX, 309 p. : il. ; 23 cm.Availability: Items available for loan: [VEL. 681.5(007)] (1).

Fluid concepts and creative analogies : computer models of the fundamental mechanisms of thought / Douglas HofstadterPublication: London : Penguin Books, 1995Description: X, 518 p. : il. ; 24 cm.Availability: No items available Checked out (1).

Fundamentals of the new artificial intelligence : beyond traditional paradigms / Toshinori MunakataPublication: New York : Springer, 1998Description: XI, 231 p. : il. ; 24 cmAvailability: No items available Withdrawn (1).

Why we feel : the science of human emotions / Victor S. JohnstonPublication: Cambridge : Perseus Books, 1999Description: IX, 210 p. : il. ; 24 cm.Availability: No items available Checked out (1).

Cross currents : the promise of electromedicine the perils of electropollution / Robert O. BeckerPublication: New York : Jeremy P. Tarcher/Putnam, 1990Description: XV, 336 p. : il. ; 24 cm.Availability: Items available for loan: [BEC. 681.5(007)] (1).

Stalking the wild pendulum : on the mechanics of consciousness / Itzhak BentovPublication: Rochester : Destiny Books, 1988Description: 193 p. : il. ; 21 cm.Availability: Items available for loan: [BEN. 681.5(007)] (1).

Formulaire du béton armé 1 : éléments de calcul, interface béton armé/charpentes métalliques / Victor Davidovici ; préf. Yves le SellinPublication: Paris : Le Moniteur, 1996Description: 368 p. : il. ; 26 cmAvailability: Items available for loan: [DAV. 624(094.58)] (1).

Handbook of evolutionary computation / Thomas Back, David B Fogel, Zbigniew MichalewiczPublication: Bristol , New York : Institute of Physics Publishing : Oxford University Press, 1997Description: [pág. var.] : il.Availability: Items available for loan: [BAC. 004.8] (1).

Regulamento de estruturas de betão armado e pré-esforçado / Imprensa Nacional-Casa da MoedaPublication: Lisboa, 1986 : Imprensa Nacional-Casa da MoedaDescription: 214 p. : il.Availability: Items available for loan: [INCM 693.5(094.5)] (3). Items available for reference: [INCM 693.5(094.5)] (1).

Betão armado : esforços normais e de flexão (REBAP-83) / J. D'Arga e Lima, Víctor Monteiro, Mary MunPublication: Lisboa : Laboratório Nacional de Engenharia Civil, 1999Description: XII, 233 p. : il. ; 25 cm.Availability: Items available for loan: [LIM. 693.5] (2). Items available for reference: [LIM. 693.5] (1).

Process utility systems : introduction to design, operation and maintenance / Jack BroughtonPublication: Rugby : Institution of Chemical Engineers, 1994Description: VIII, 282 p. : il. ; 24 cm.Availability: Items available for loan: [BRO. 66] (1).

Précis de chimie organique tome II : série cyclique / J.-A. Gautier, M. MiocquePublication: Paris : Masson & Cie, 1969Description: 351 p. : il ; 22 cmAvailability: Items available for loan: [GAU. 547] (1).

Au pied du mur / Robert l'Hermite ; ill. Francis CassouPublication: Paris, 1969 : Société de Diffusion des Techniques du Batiment et des Travaux PublicsDescription: 173 p. : il. ; 31 cm.Availability: Items available for loan: [LHE. 69.01] (1).

Modelamento híbrido da fala : com sinusóides e funções de base de banda estreita / Arnaldo Joaquim de Castro Abrantes ; superv. Jorge dos Santos Salvador MarquesPublication: Lisboa : IST - Departamento de Engenharia Electrotécnica e de Computadores, 1992Description: 125 p. p. : il. ; 30 cm.Availability: Items available for reference: [ABR. 004.8(043)] (1).

Materials chemistry and physics / Maria cândida Monteiro DiasPublication: Lisboa : Elsevier, 1997Description: 275-279 p. : il. ; 28 cm.Availability: No items available Withdrawn (1).

Materials chemistry and physics / Maria cândida Monteiro DiasPublication: Lausanne : Elsevier, 1995Description: 193-199 p. : il. ; 28 cm.Availability: No items available Withdrawn (1).

Journal of Materials Science / Maria cândida Monteiro DiasPublication: London : Chapman and Hall, 1992Description: 5154-5158 p. : il. ; 28 cm.Availability: No items available Withdrawn (3).

Interacções intermoleculares fracas em solução envolvendo moléculas aromáticas / Maria Irene dos Santos Lopes Taco CaladoPublication: Lisboa : Universidade de Lisboa, 1980Description: 50 p. : il. ; 29 cm.Availability: Items available for reference: [CAL. 66.0(043)] (1).

Comportamento experimental de vigas de betão armado reforçadas com laminados de CFRP / Luís Juvandes, Joaquim A. Figueiras, António T. MarquesPublication: Porto : FEUP - Faculdade de Engenharia da Universidade do Porto, 1998Description: [pág. var.] : il. ; 30 cm.Availability: No items available Withdrawn (1).

Concepção de arquitecturas para ambientes integrados de manufactura : um sistema de apoio baseado em planeamento hierárquico interactivo / Helder Jorge Pinheiro PitaPublication: Lisboa : Edições EPGE, 1995Description: [pag. var.] : il. ; 30 cm.Availability: Items available for reference: [PIT. 004(043)] (1).

Raciocínio qualitativo baseado em modelos com representação através de relações diádicas / Jorge Miguel de Paiva Pinheiro Pais ; orient. Carlos Alberto Pinto FerreiraPublication: Lisboa : UTL - Instituto Superior Técnico, 1995Description: XI, 119 p. : il. ; 30 cm.Availability: Items available for reference: [PAI. 004.8(043)] (1).

CELP : codificação de fala a baixos ritmos / Carlos Eduardo de Meneses Ribeiro ; superv. Isabel Maria Martins TrancosoPublication: Lisboa : UTL - Instituto Superior Técnico, 1991Description: 150 p. : il. ; 30 cm.Availability: Items available for reference: [RIB. 004.8(043)] (1).

A influência das acções térmicas no comportamento de pontes de betão armado pré-esforçado / António Paulo Campos da SilveiraPublication: Lisboa : LNEC, 1996Description: XXV, 228 p. : il. ; 30 cmAvailability: Items available for reference: [SIL. 624(043)] (1).

Desenvolvimento de um sistema de angiocardiografia de equilíbrio / José Alberto dos Santos Rafael ; orient. João José Pedroso de Lima, Engénio Alte da VeigaPublication: Aveiro : Universidade de Aveiro, 1988Description: [pag.var.] : il. ; 30 cm.Availability: Items available for reference: [RAF. 004.8(043)] (1).

Reconhecimento de caracteres impressos em documentos financeiros normalizados / Maria Isabel de Almeida Milho ; orient. José Manuel Nunes LeitãoPublication: Lisboa : UTL - Instituto Superior Técnico, 1997Description: XVI, 88 p. : il. ; 30 cm.Availability: Items available for reference: [MIL. 004.8(043)] (1).

Codificação de fala para transmissão em canal telefónico e via rádio / Fernando Manuel Gomes de Sousa ; orient. José Manuel Nunes LeitãoPublication: Lisboa : UTL - Instituto Superior Técnico, 1993Description: XVI, 105 p. : il. ; 30 cm.Availability: Items available for reference: [SOU. 004.8(043)] (1).

Posicionadores electromecânicos : introdução à síntese de controladores inteligentes / José Carlos Lourenço Quadrado ; superv. Fernando SilvaPublication: Lisboa : UTL - Instituto Superior Técnico, 1994Description: [pag. var.] : il. ; 30 cm.Availability: Items available for reference: [QUA. 004.8(043)] (1).

Monitorização e prognóstico de anomalias em processos de fabricação com máquinas industriais : um sistema de supervisão baseado em aprendizagem artificial / Manuel Martins BarataPublication: Lisboa : UNL - Faculdade de Ciências e Tecnologia, 1996Description: XXXII, 306 p. : il. ; 30 cm.Availability: Items available for reference: [BAR. 004.8(043)] (1).

Transformação do propano em hidrocarbonetos aromáticos sobre os catalisadores HZSM-5, Pt HZSM-5 e Ga HZSM-5 / Ana Maria Maia Sêco ; orient. F. Ramôa Ribeiro, M. GuisnetPublication: Lisboa : UTL - IST, 1987Description: 110 p. : il. ; 30 cm.Availability: Items available for reference: [SEC. 66.0(043)] (1).

Estimação de superfícies com modelos deformáveis / José Manuel Peixoto do Nascimento ; orient. Jorge dos Santos Salvador MarquesPublication: Lisboa : UTL - Instituto Superior Técnico, 1999Description: XI, 80 p. : il. ; 30 cm.Availability: Items available for reference: [NAS. 004.8(043)] (1).

Codificação fonética : codificação de fala baseada em segmentos classificados foneticamente / Carlos Eduardo de Meneses Ribeiro ; superv. Isabel Maria Martins TrancosoPublication: Lisboa : UTL - Instituto Superior Técnico, 1999Description: XIX, 185 p. : il. ; 30 cm.Availability: Items available for reference: [RIB. 004.8(043)] (1).

Extracção e seguimento de contornos de objectos : uma perspectiva unificadora / Arnaldo Joaquim de Castro Abrantes ; orient. Jorge dos Santos Salvador MarquesPublication: Lisboa : UTL - Instituto Superior Técnico, 1998Description: XX, 175 p. : il. ; 30 cm.Availability: Items available for reference: [ABR. 004.8(043)] (1).

Informática-ISEL