Biblioteca do ISEL

Your search returned 1192 results. Subscribe to this search

|
Fundamentos de termodinâmica do equilíbrio / Julio Guémez, Carlos Fiolhais, Manuel FiolhaisPublication: Lisboa : Fundação Calouste Gulbenkian, 1998Description: V, 481 p. : il. ; 24 cm.Availability: Items available for loan: [GUE. 536.7] (1).

Compêndio de matemática 1º vol. 2º tomo : curso complementar do ensino secundário / J. Sebastião e SilvaPublication: Lisboa : Gabinete de Estudos e Planeamento do Ministério da Educação e Cultura, 1975Description: 303 p. : il. ; 24 cm.Availability: Items available for loan: [SIL. 51] (2). Items available for reference: [SIL. 51] (1).

Cours de mathématiques supérieures tome III première partie / V. SmirnovPublication: Moscou, 1970 : Éditions MirDescription: 328 p. : il. ; 22 cm.Availability: Items available for loan: [SMI. 51] (1).

Theory and problems of advanced mathematics for engineers and scientists / Murray R. SpiegelPublication: New York : McGraw Hill Book, 1971Description: 407 p. : il. ; 28 cmAvailability: Items available for loan: [SPI. 51] (1).

Actas vol. I / Universidade de Coimbra : VIII jornadas luso-espanholas de matemáticaPublication: Coimbra, 1981 : Universidade de CoimbraDescription: 387 p. : il. ; 23 cm.Availability: Items available for loan: [UC 51] (1).

Cours de robotique : description et fonctionnement des robots industriels / Max Giordano, Jacques LottinPublication: Paris : Armand Colin, 1990Description: III, 244 p. : il. ; 23 cmAvailability: Items available for loan: [GIO. 621.865.8] (1).

Actas vol. III / Universidade de Coimbra : VIII jornadas luso-espanholas de matemáticaPublication: Coimbra, 1981 : Universidade de CoimbraDescription: 395 p. : il. ; 23 cm.Availability: Items available for loan: [UC 51] (1).

Robot manipulators : mathematics, programming, and control : the computer control of robot manipulators / Richard P. PaulPublication: Cambridge : The MIT Press, 1992Description: 279 p. : il. ; 24 cmAvailability: Items available for loan: [PAU. 621.865.8] (1).

The mathematica book : the definitive best-selling presentation of mathematica by the creator of the system / Stephen WolframPublication: Cambridge : University Press, 1996Description: XXIV, 1403 p. : il. ; 24 cm.Availability: Items available for loan: [WOL. 519.6] (3). Items available for reference: [WOL. 519.6] (1).

Programming the boundary element method : an introduction for engineers / Gernot BeerPublication: Chichester : John Wiley & Sons, 2001Description: XIV, 457 p. : il. ; 25 cm.Availability: Items available for loan: [BEE. 519.6] (1).

Tabu search / Fred Glover, Manuel LagunaPublication: Boston : Kluwer Academic Publishers, 1997Description: XIX, 382 p. : il. ; 24 cmAvailability: Items available for loan: [GLO. 519.8] (1).

Cálculo numérico computacional : teoria e prática; algoritmos em pseudo-linguagem, indicações de software matemático, 150 exercícios resolvidos, exercícios propostos / Dalcidio Moraes Cláudio, Jussara Maria MarinsPublication: São Paulo : Editora Atlas S. A., 1989Description: 464 p. : il. ; 22 cm.Availability: No items available Withdrawn (1).

Handbook of game theory : with economic applications vol. II / Robert J. Aumann, Sergiu HartPublication: Amsterdam : Elsevier, 1994Description: XXVIII, 735 a 1520 p. : il. ; 25 cmAvailability: Items available for loan: [AUM. 519.83] (1).

Introduction to logic / Irving M. CopiPublication: New York, 1972 : Macmillan PublishingDescription: XII, 540 p. : il. ; 24 cm.Availability: Items available for loan: [COP. 510.6] (1).

Logic / Nick EarlePublication: London : The Macmillan Press, 1973Description: 139 p. : il. ; 22 cmAvailability: Items available for loan: [EAR. 510.6] (1).

Cours de logique mathématique tome 1 : relation, formule logique, compacité, complétude / Roland FraïsséPublication: Paris, 1967 : Gauthier-VillarsDescription: XII, 186 p. ; 24 cmAvailability: Items available for loan: [FRA. 510.6] (1).

Lógica / John Nolt, Dennis Rohatyn ; trad. e rev. téc. Leila Zardo Puga, Mineko YamashitaPublication: São Paulo : Makron Books do Brasil, 1991Description: X, 596 p. : il. ; 24 cmAvailability: Items available for loan: [NOL. 510.6] (2). Items available for reference: [NOL. 510.6] (1).

El uso de las matemáticas en la economia / V. S. NemchinovPublication: Barcelona : Editorial Labor, 1973Description: 438 p. ; 22 cmAvailability: Items available for loan: [NEM. 33] (1).

Key papers in the development of coding theory / Elwyn R. BerlekampPublication: New York : IEEE PRESS, 1974Description: VIII, 288 p. : il. ; 29 cmAvailability: Items available for loan: [BER. 519.6] (1).

Teoria dos conjuntos / Seymour Lipschutz ; trad. Fernando Vilain Heusi da SilvaPublication: São Paulo, 1972 : McGraw-Hill do BrasilDescription: X, 337 p. : il. ; 23 cmAvailability: Items available for loan: [LIP. 510.22] (4). Items available for reference: [LIP. 510.22] (1).

Naive set theory / Paul R. HalmosPublication: New York, 1960 : Van Nostrand Reinhold CompanyDescription: VI, 104 p. ; 23 cmAvailability: Items available for loan: [HAL. 510.22] (1).

Problem solving in automata, languages, and complexity / Ding-Zhu Du, Ker-I KoPublication: New York : John Wiley & Sons, 2001Description: VIII, 396 p. : il. ; 24 cm.Availability: Items available for loan: [DU. 519.6] (1).

Aspects of complexity : minicourses in algorithmics, complexity and computacional algebra / Rod Downey, Denis HirschfeldtPublication: Berlin : Walter de Gruyter, 2001Description: VI, 172 p. : il ; 25 cmAvailability: Items available for loan: [DOW. 519.6] (1).

Eléments de théorie des nombres / Roger DescombesPublication: Paris : Presses Universitaires de France, 1986Description: 279 p. ; 22 cmAvailability: Items available for loan: [DES. 511] (1).

Finite element modeling for stress analysis / Robert D. CookPublication: New York : John Wiley & Sons, 1995Description: X, 320 p. : il. ; 25 cm.Availability: Items available for loan: [COO. 519.6] (1).

Experiments in undergraduate mathematics : a mathematica-based approach / Phillip Kent, Phil Ramsden, John WoodPublication: London : Imperial College Press, 1996Description: XX, 322 p. : il. ; 22 cm.Availability: Items available for loan: [KEN. 519.6] (1).

Fundamentos de matemáticas universitárias vol. : I álgebra e cálculo : resumo da teoria : 371 problemas resolvidos : 308 problemas propostos / Frank Ayres ; trad. Ana Amália Feijó BarrosoPublication: São Paulo : McGraw-Hill do Brasil, 1974Description: 368 p. : il. ; 22 cmAvailability: Items available for loan: [AYR. 512] (1).

The finite element method for engineers / Kenneth H. Huebner... [e al.]Publication: New York : John Wiley & Sons. inc., 2001Description: XVIII, 720 p. : il. ; 24 cm.Availability: Items available for loan: [HUE. 519.6] (1).

Teoria y problemas de algebra moderna / Frank Ayres ; trad. Jesús María Castaño ; colab. Emilio Robledo MoncadaPublication: New York, 1969 : McGraw-HillDescription: 249 p. : il. ; 28 cmAvailability: Items available for loan: [AYR. 512] (1).

Optimization theory : recent developments from mátraháza / Franco Giannessi, Panos Pardalos, Tamás RapcsákPublication: Dordrecht : Kluwer Academic Publishers, 2001Description: VII, 278 p. : il. ; 25 cmAvailability: Items available for loan: [GIA. 519.863] (1).

EPMESC VII / João Bento, E. Arantes e Oliviera, Eduardo Pereira : computational methods in engineering and science vol. 1Publication: Amsterdam : Elsevier, 1999Description: XXIII, 773 p. : il. ; 25 cm.Availability: Items available for loan: [BEN. 519.6] (1).

Méthodes algébriques dans la théorie globale des espaces complexes vol. 2 / C. Banica, O. StanasilaPublication: Paris : Gauthier-Villars, 1977Description: 191 a 374 p. ; 25 cmAvailability: Items available for loan: [BAN. 512] (1).

EPMESC VII : computational methods in engineering and science vol. 2 / João Bento, E. Arantes e Oliveira, Eduardo PereiraPublication: Amsterdam : Elsevier, 1999Description: XXIII, 1540 p. : il. ; 25 cm.Availability: Items available for loan: [BEN. 519.6] (1).

Operations research calculations handbook / Dennis BlumenfeldPublication: Boca Raton : CRC Press, 2001Description: 199 p. : il. ; 21 cm.Availability: Items available for loan: [BLU. 519.8] (1).

Engineering mathematics / A. C. Bajpai, L. R. Mustoe, D. Walker ; col. W. T. MartinPublication: Chichester : John Wiley & Sons, 1979Description: XIII, 793 p. : il. ; 23 cm.Availability: Items available for loan: [BAJ. 51] (1).

Princípios de análise matemática aplicada / Jaime Carvalho e SilvaPublication: Lisboa : McGraw-Hill, 1994Description: XXVI, 444 p. : il. ; 24 cm.Availability: Items available for loan: [SIL. 517] (7). Items available for reference: [SIL. 517] (1).

Cálculo vol. I : com geometria analítica / Earl W. Swokowski ; trad. Alfredo Alves de Faria; ; rev. téc. Victor Hugo Teixeira Rodrigues, António Gabriel da Silva St. AubynPublication: Rio de Janeiro : McGraw-Hill Ltda., 1983Description: XVIII, 618 p. : il. ; 24 cm.Availability: Items available for loan: [SWO. 517] (3). Items available for reference: [SWO. 517] (1).

Calculus / William E. Boyce, Richard C. DiPrimaPublication: New York : John Wiley & Sons, 1988Description: XVII, 1055 p. : il. ; 24 cm.Availability: Items available for loan: [BOY. 517] (1).

Boundary and finite elements : theory and problems / J. RaamachandranPublication: [India] : Alpha Science International Ltd., 2000Description: VIII, 362 p. : il. ; 25 cm.Availability: Items available for loan: [RAA. 519.6] (1).

Finite element analysis : theory and application with ANSYS / Saeed MoaveniPublication: Upper Saddle River : Prentice Hall, 1999Description: XV, 527 p. : il. ; 25 cm.Availability: Items available for loan: [MOA. 519.6] (1).

User's guide for LINDO and LINGO, windows versions, Operations research; Introduction to mathematical programming : applications and algorithms; applications and algorithms / Wayne L. WinstonPublication: Belmont : Duxbury Press, 1997Description: 57 p. : il. ; 24 cm. + disquetesAvailability: Items available for loan: [WIN. 519.8] (1).

Statistical language learning / Eugene CharniakPublication: Cambridge : Bradford : MIT, 1997Description: XX, 170 p. : il.Availability: Items available for loan: [CHA. 004.8] (1).

Post-modern electromagnetics : using intelligent maxwell solvers / Christian HafnerPublication: Chichester : John Wiley & Sons, 1999Description: XII, 308 p. : il. ; 24 cm.Availability: Items available for loan: [HAF. 537.8] (1).

Fuzzy set theory : and its applications / H.-J. ZimmermannPublication: Boston : Kluwer Academic, 2001Description: XXV, 514 p. : il.Availability: Items available for loan: [ZIM. 517] (1).

Mathématiques : algèbre / P. Thuillier, J. C. BellocPublication: Paris : Masson, 1992Description: VI, 294 p. : il. ; 24 cmAvailability: Items available for loan: [THU. 512] (2). Items available for reference: [THU. 512] (1).

Introduction to systems theory / Stephen W. Director, Ronald A. RohrerPublication: Tokyo, 1972 : McGraw-Hill KogakushaDescription: XII, 441 p. : il. ; 21 cmAvailability: Items available for loan: [DIR. 519.6] (1).

Informática-ISEL