|
|
|
|
Álgebra linear vol. II : espaços vectoriais e geometria analítica / Manuel Alberto M. Ferreira, Isabel AmaralPublication: Lisboa : Edições Sílabo, 1991Description: 157 p. :
il. ;
24 cmAvailability: Items available for loan: [FER. 512] (1).
|
|
|
|
|
Álgebra linear : exercícios vol. 2 : espaços vectoriais e geometria analítica / Manuel Alberto M. FerreiraPublication: Lisboa : Edições Sílabo, 1999Description: 138 p. :
il. ;
24 cmAvailability: Items available for loan: [FER. 512] (3). Items available for reference: [FER. 512] (1).
|
|
|
|
|
Primitivas e integrais : exercícios / Manuel Alberto M. Ferreira, Isabel AmaralPublication: Lisboa : Edições Sílabo, 1991Description: 111 p. :
il. ;
24 cmAvailability: Items available for loan: [FER. 517.3] (1). Items available for reference: [FER. 517.3] (1).
|
|
|
|
|
Primitivas e integrais : exercícios / Manuel Alberto M. Ferreira, Isabel AmaralPublication: Lisboa : Edições Sílabo, 1996Description: 111 p. :
il. ;
24 cmAvailability: Items available for loan: [FER. 517.3] (1). Items available for reference: [FER. 517.3] (1).
|
|
|
|
|
Primitivas e integrais / Manuel Alberto M. Ferreira, Isabel AmaralPublication: Lisboa : Edições Sílabo, 1991Description: 179 p. :
il. ;
24 cmAvailability: Items available for loan: [FER. 517.3] (1). Items available for reference: [FER. 517.3] (1).
|
|
|
|
|
Primitivas e integrais / Manuel Alberto M. Ferreira, Isabel AmaralPublication: Lisboa : Edições Sílabo, 1996Description: 179 p. : il. ;
24 cmAvailability: Items available for loan: [FER. 517.3] (2). Items available for reference: [FER. 517.3] (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).
|
|
|
|
|
Maple V by example / Martha L. Abell, James P. BraseltonPublication: San Diego : Academic Press, 1999Description: XII, 644 p. : il. ;
24 cm. +
CD-ROMAvailability: Items available for loan: [ABE. 519.6] (2).
|
|
|
|
|
Mathematical structures for computer science / Judith L. GerstingPublication: New York : W. H. Freeman and Company, 1999Description: XIX, 738 p. :
il. ;
25 cm.Availability: Items available for loan: [GER. 519.6] (1).
|
|
|
|
|
The state of the art in numerical analysis / I. S. Duff, G. A. WatsonPublication: Oxford : Clarendon Press, 1997Description: XIV, 562 p. :
il ;
24 cmAvailability: Items available for loan: [DUF. 519.6] (1).
|
|
|
|
|
Symmetry analysis of differential equations with mathematica / Gerd BaumannPublication: New York : Springer, 2000Description: XII, 521 p. :
il. ;
24 cm. +
CD-ROM.Availability: Items available for loan: [BAU. 517.9] (2).
|
|
|
|
|
Parallel solution methods in computational mechanics / M. PapadrakakisPublication: Chichester : John Wiley & Sons, 1997Description: XIV, 502 p. :
il. ;
25 cmAvailability: Items available for loan: [PAP. 519.6] (1).
|
|
|
|
|
Introduction to numerical analysis / J. Stoer, R. BulirschPublication: New York : Springer, 1993Description: XIII, 660 p. :
il. ;
25 cmAvailability: Items available for loan: [STO. 519.6] (1).
|
|
|
|
|
Computer applications in production and engineering / Frank Plonka, Gustav OllingPublication: London : Chapman & Hall, 1997Description: XII, 740 p. :
il. ;
24 cm.Availability: Items available for loan: [PLO. 519.6] (1).
|
|
|
|
|
Matemática superior para matemáticos, físicos e ingenieros tomo III : complementos / R. Rothe ; trad. Pedro AbellanasPublication: Barcelona : Editorial Labor, 1960Description: XIII, 480 p. :
il. ;
23 cm.Availability: Items available for loan: [ROT. 51] (1).
|
|
|
|
|
Mathcad : user's guide mathcad 6.0 mathcad plus 6.0 / MathSoftPublication: Cambridge : MathSoft, 1995Description: 694 p. :
il. ;
23 cm. +
disquetesAvailability: Items available for loan: [MAT. 519.85] (1).
|
|
|
|
|
Méthode des éléments finis : en mécanique des structures / Thomas GmürPublication: Lausanne : Presses Polytechniques et Universitaires Romandes, 2000Description: XII, 252 p. :
il. ;
25 cm.Availability: Items available for loan: [GMU. 519.6] (1).
|
|
|
|
|
Les mathematiques / François RichaudeauPublication: Paris, 1975 : Retz-CEPLDescription: ;
Availability: Items available for loan: [RIC. 51] (1).
|
|
|
|
|
The finite element method vol. 1 : the basis / O. C. Zienkiewicz, R. L. TaylorPublication: Oxford : Butterworth Heinemann, 2000Description: XVI, 689 p. :
il. ;
25 cm.Availability: Items available for loan: [ZIE. 519.6] (1).
|
|
|
|
|
The finite element method vol. 2 : solid mechanics / O. C. Zienkiewicz, R. L. TaylorPublication: Oxford : Butterworth Heinemann, 2000Description: XIV, 459 p. :
il. ;
25 cm.Availability: Items available for loan: [ZIE. 519.6] (1).
|
|
|
|
|
The finite element method vol. 3 : fluid dynamics / O. C. Zienkiewicz, R. L. TaylorPublication: Oxford : Butterworth Heinemann, 2000Description: XIV, 334 p. :
il. ;
25 cm.Availability: Items available for loan: [ZIE. 519.6] (1).
|
|
|
|
|
Mathematics applied to physics = Mathématiques appliquées à la physique / É. RoubinePublication: Heidelberg, 1970 : Springer-VerlagDescription: XXIII, 610 p. :
il. ;
24 cm.Availability: Items available for loan: [ROU. 51] (1).
|
|
|
|
|
Formal methods in artificial intelligence / Allan RamsayPublication: Cambridge : Cambridge University Press, 1991Description: IX, 279 p. :
il.Availability: Items available for loan: [RAM. 004.8] (1).
|
|
|
|
|
Handbook of logic in artificial intelligence and logic programming / Dov M. Gabbay, C. J. Hogger, J. A. Robinson ; colab. J. SiekmannPublication: Oxford : Clarendon, 1996Description: [pag.var] :
il.Availability: Items available for loan: [GAB. 004.8] (5).
|
|
|
|
|
Simply logical : intelligent reasoning by example / Peter FlachPublication: Chichester : John Wiley & Sons, 1994Description: XV, 240 p. :
il.Availability: Items available for loan: [FLA. 004.8] (1).
|
|
|
|
|
Sebenta de matemáticas gerais : álgebra linear / Fernando Borja SantosPublication: Lisboa : Plátano Editora, 1992Description: 280 p. :
il. ;
24 cm.Availability: Items available for loan: [SAN. 512] (2). Items available for reference: [SAN. 512] (1).
|
|
|
|
|
Sebenta de matemáticas gerais vol. I : sucessões e séries / Fernando Borja SantosPublication: Lisboa : Plátano Editora, 1975Description: 400 p. : il. ;
22 cm.Availability: Items available for loan: [SAN. 517.52] (1).
|
|
|
|
|
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).
|
