Biblioteca do ISEL

Your search returned 1212 results. Subscribe to this search

|
Basic Structured grid generation : with an introduction to unstructured grid generation / M. Farrashkhalvat, J. P. MilesPublication: Oxford : Butterworth Heinemann, 2003Description: X, 231 p. : il. ; 25 cm.Availability: Items available for loan: [FAR. 519.6] (1).

Basic proof theory / A. S. Troelstra, H. SchwichtenbergPublication: Cambridge : University Press, 2003Description: XII, 417 p. ; 23 cmAvailability: Items available for loan: [TRO. 510.6] (1).

Métodos numéricos : introdução, aplicação e programação / José Alberto RodriguesPublication: Lisboa : Edições Sílabo, 2003Description: 305 p. : il.Availability: Items available for loan: [ROD. 510.5] (3). Items available for reference: [ROD. 519.6] (1).

Advanced engineering mathematics with matlab / Dean G. DuffyPublication: Boca Raton : Chapman & Hall/CRC, 2003Description: 818 p. : il. ; 24 cm.Availability: Items available for loan: [DUF. 519.85] (1).

Discrete mathematics and its applications / Kenneth H. RosenPublication: Boston : McGraw-Hill, 2003Description: [pag. var.] : il. ; 26 cm.Availability: Items available for loan: [ROS. 51] (1).

Invariantes topológicos e métricos de sistemas dinâmicos de baixa dimensão / José Leonel Linhares da Rocha ; orient. José Rodrigues Santos de Sousa RamosPublication: Lisboa : UTL - Instituto Superior Técnico, 2003Description: VI, 141 p. : il. ; 30 cm.Availability: Items available for reference: [ROC. 51(043)] (1).

Discrete mathematics : elementary and beyond / László Lovász, József Pelikán, Katalin VesztergombiPublication: New York : Springer, 2003Description: IX, 290 p.Availability: Items available for loan: [LOV. 51] (1).

Mathematics for the physical sciences / James B. SeabornPublication: New York : Springer, 2002Description: XI, 245 p. : il. ; 24 cm.Availability: Items available for loan: [SEA. 51] (1).

The Boundary element method vol.2 : applications in solids and structures / M. H. AliabadiPublication: New York : John Wiley & Sons, 2002Description: XVI, 580 p. : il. ; 25 cm.Availability: Items available for loan: [ALI. 519.6] (1).

The Boundary element method vol.1 : applications in thermo-fluids and acoustics / L. C. WrobelPublication: New York : John Wiley & Sons, 2002Description: XVI, 451 p. : il. ; 25 cm.Availability: Items available for loan: [WRO. 519.6] (1).

An introduction to mathematical logic and type theory : to truth through proof / Peter B. AndrewsPublication: Dordrecht : Kluwer Academic Publishers, 2002Description: XVIII, 390 p. : il. ; 25 cmAvailability: Items available for loan: [AND. 51] (1).

Introduction to chemical engineering analysis using mathematica / Henry C. FoleyPublication: Amsterdam : Academic Press, 2002Description: XXVII, 509 p. : il. ; 24 cm. + CD-ROM.Availability: Items available for loan: [FOL. 66] (2).

RAMAS risk calc 4.0 software : risk assessment with uncertain numbers / Scott FersonPublication: Boca Raton : Lewis, 2002Description: 230 p. : il. ; 26 cm. + CD-ROMAvailability: Items available for loan: [FER. 519.6] (2).

Finite elements using maple : a symbolic programming approach / A. Portela, A. CharafiPublication: Berlin : Springer, 2002Description: XV, 325 p. : il. ; 24 cm. + CD-ROM.Availability: Items available for loan: [POR. 519.6] (2).

Fuzzy mathematics in economics and engineering / James J. Buckley, Esfandiar Eslami, Thomas FeuringPublication: Heidelberg : Physica-Verlag, 2002Description: XI, 272 p. : il. ; 24 cmAvailability: Items available for loan: [BUC. 519.6] (1).

Introduction to inverse problems in imaging / Mario Bertero, Patrizia BoccacciPublication: Bristol : Institute of Physics Publishing, 2002Description: XI, 351 p. : il. ; 24 cm.Availability: Items available for loan: [BER. 621.391] (1). Items available for reference: [BER. 621.391] (1).

Actas / org. Luís Menezes, Helena Cunha, Fernanda Tavares : XIII Seminário de Investigação em Educação MatemáticaPublication: Lisboa : Associação de Professores de Matemática (APM), 2002Description: 363 p. : il. ; 21 cm. + programaAvailability: Items available for loan: [MEN. 37] (1).

Generalized concavity in fuzzy optimization and decision analysis / Jaroslav Ramík, Milan VlachPublication: Boston : Kluwer Academic Publishers, 2002Description: XIV, 296 p. : il. ; 25 cmAvailability: Items available for loan: [RAM. 519.863] (1).

Computational statistics handbook with Matlab / Wendy L. Martinez, Angel R. MartinezPublication: Boca Raton : Chapman & Hall/CRC, 2002Description: XVII, 591 p. : il. ; 25 cm.Availability: Items available for loan: [MAR. 519.6] (1).

Real mathematical analysis / Charles Chapman PughPublication: New York : Springer, 2002Description: XI, 437 p. : il. ; 24 cmAvailability: Items available for loan: [PUG. 517] (1).

Fundamentos de análise numérica / F. Correia dos SantosPublication: Lisboa : Silabo, 2002Description: 602 p. : il. ; 24 cmAvailability: Items available for loan: [SAN. 519.6] (3). Items available for reference: [SAN. 519.6] (1). Checked out (1).

Norma Portuguesa NP EN 12895 2002 : carros de manutenção : compatibilidade electromagnética = chariots de manutention : compatibilité électromagnétique = industrial trucks : electromagnetic compatibility / Instituto Português da Qualidade ; elab. AponsPublication: Caparica : IPQ, 2002Description: 18 p.Availability: Items available for reference: (1).

Numerical recipes : the art of scientific computing : Fortran version / William H. Press...[et al.]Publication: Cambridge : Cambridge University Press, 1989Description: [pag. var.] : il. ; 24 cm.Availability: Items available for loan: [PRE. 519.6] (1).

Calculus / Howard Anton, Irl Bivens, Stephen DavisPublication: New York : John Wiley & Sons, 2002Description: XXIV, 1166 p. : il. + CD-ROMAvailability: Items available for loan: [ANT. 517] (2).

A guide to Matlab : for beginners and experienced users / Brian R. Hunt... [et al.]Publication: Cambridge : University Press, 2001Description: XVII, 327 p. : il. ; 23 cm.Availability: Items available for loan: [HUN. 519.6] (1).

Introduction to MATLAB 6 for engineers / William J. Palm IIIPublication: Boston : McGraw-Hill, 2001Description: XIX, 600 p. : il. ; 23 cmAvailability: Items available for loan: [PAL. 519.6] (1).

Mathematical programming and financial objectives for scheduling projects / Alf KimmsPublication: Boston : Kluwer Academic Publishers, 2001Description: VIII, 187 p. : il. ; 25 cmAvailability: Items available for loan: [KIM. 519.863] (1).

Mathématiques de l'ingénieur / Maurice ChossatPublication: Paris : Dunod, 2001Description: VIII, 328 p. : il. ; 19 cmAvailability: Items available for loan: [CHO. 51] (1).

Petri Net algebra / Eike Best, Raymond Devillers, Maciej KoutnyPublication: Berlin : Springer, 2001Description: XI,378 p. : il.Availability:

Mathematical logic : a course with exercices : part II: recursion theory, Gödel's theorems, set theory, model theory / René Cori, Daniel Lascar ; trad. Donald H. PelletierPublication: Oxford : University Press, 2001Description: XX, 331 p. ; 24 cm.Availability: Items available for loan: [COR. 517] (1).

Introduction to mathematical logic / Elliott MendelsonPublication: Boca Raton : Chapman & Hall/CRC, 2001Description: X, 440 p. ; 25 cm.Availability: Items available for loan: [MEN. 510.6] (1).

Plane networks and their applications / Kai BorrePublication: Boston : Birkhäuser, 2001Description: X, 170 p. : il. ; 24 cm.Availability: Items available for loan: [BOR. 517] (1).

Real analysis / John M. HowiePublication: London : Springer, 2001Description: 267 p. : il. ; 24 cmAvailability: Items available for loan: [HOW. 517] (1).

Introduction to tensor calculus and continuum mechanics / J. H. HeinbockelPublication: Victoria : Trafford, 2001Description: 427 p. : il. ; 28 cm.Availability: Items available for loan: [HEI. 51] (1).

A new kind of science / Stephen WolframPublication: Champaign : Wolfram Media, 2001Description: XIV; 1197 p. : il. ; 25 cm.Availability: Items available for loan: [WOL. 519.6] (1).

A estatística em movimento : actas do VIII Congresso Anual da Sociedade Portuguesa de Estatística - Peniche, 4 a 7 de Outubro de 2000 / Maria Manuela Neves... [et al.]Publication: [s. l.] : Edições SPE, 2001Description: X, 431 p. : il. ; 23 cm.Availability: Items available for loan: [NEV. 519.2] (1).

A first course in the finite element methods using algor / Daryl L. LoganPublication: Australia : Brooks/Cole, 2001Description: XVIII, 974 p. : il. ; 27 cm.Availability: Items available for loan: [LOG. 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).

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).

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).

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).

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).

Theory and numerics of differential equations : Durham 2000 / James F. Blowey, John P. Coleman, Alan W. CraigPublication: Berlin : Springer, 2001Description: X, 280 p. : il. ; 24 cmAvailability: Items available for loan: [BLO. 519.6] (1).

An introduction to Maple V / Jack-Michel Cornil, Philippe TestudPublication: Berlin : Springer, 2001Description: XX, 470 p. : il. ; 24 cm.Availability: Items available for loan: [COR. 519.6] (1).

Maple for environmental sciences : a helping hand / Bill ScottPublication: Berlin : Springer, 2001Description: 406 p. : il. ; 25 cm.Availability: Items available for loan: [SCO. 519.6] (1).

A Matlab companion for multivariable calculus / Jeffery CooperPublication: San Diego : Harcourt/Academic Press, 2001Description: XVI, 294 p. : il. ; 24 cm.Availability: Items available for loan: [COO. 519.6] (1).

Introductory finite element method / Chandrakant S. Desai, Tribikram KunduPublication: Boca Raton : CRC, 2001Description: 496 p. : il. ; 24 cmAvailability: Items available for loan: [DES. 519.6] (1).

Norma Portuguesa NP EN ISO 9289 2001 : resíduos de sementes oleaginosas : determinação do hexano residual livre : (ISO 9289:1991) : CT 39 (DGFCQA) / Instituto Português da QualidadePublication: Caparica : IPQ, 2001Description: 10 p.Availability: Items available for reference: (1).

Norma Portuguesa NP EN 410 2000 : vidro na construção : determinação de características luminosas e solares dos envidraçados / Instituto Português da Qualidade ; elab. CTCVPublication: Caparica : IPQ, 2001Description: 37 p.Availability: Items available for reference: (1).

Informática-ISEL