Biblioteca do ISEL

Your search returned 1127 results. Subscribe to this search

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

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

SchaumŽs outline of theory and problems of vector analysis and an introduction to tensor analysis / Murray R. SpiegelPublication: New York : McGraw-Hill, 1959Description: 225 p. : il. ; 28 cmAvailability: Items available for loan: [SPI. 517] (1).

The art of computer programming vol. 3 : sorting and searching / Donald E. KnuthPublication: Reading : Addison-Wesley, 1998Description: XIII, 780 p. : il. ; 25 cm.Availability: Items available for loan: [KNU. 681.3.06] (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).

Tables de Barlow : carrés, cubes, racines carrées, racines cubiques, inverses des nombres entiers de 1 a 12500 / Peter BarlowPublication: Paris : Dunod, 1966Description: [pag. var.] : il. ; 22 cm.Availability: Items available for loan: [BAR. 519.66] (1).

Ejercicios de cálculo informacional con sus soluciones / Georges Cullmann, Maurice Denis-Papin ; trad. Francisco Galante ; rev. téc. José P. VilaplanaPublication: Bilbao : Urmo, 1976Description: 203 p. : il. ; 25 cmAvailability: Items available for loan: [CUL. 519.6] (1).

Elementos de calculo informacional / G. Cullmann, M. Denis-Papin, A. Kaufmann ; trad. Gonzalo Gonzalvo Cavero ; rev. téc. José Pérez VilaplanaPublication: Bilbao : Urmo, 1967Description: 122 p. : il. ; 25 cmAvailability: Items available for loan: [CUL. 519.6] (1).

Analysis of numerical methods / Eugene Isaacson, Herbert Bishop KellerPublication: New York : Dover, 1994Description: XV, 541 p. : il. : ; 22 cm.Availability: Items available for loan: [ISA. 519.6] (1). Items available for reference: [ISA. 519.6] (1).

Curso de estatística / Jairo Simon da Fonseca, Gilberto de Andrade MartinsPublication: São Paulo : Editora Atlas S. A., 1995Description: 317 p. : il. ; 24 cm.Availability: Items available for loan: [FON. 519.2] (1).

Matemática : integrais múltiplos, equações diferenciais / Isabel Amaral, Manuel AlbertoPublication: Lisboa : Edições Sílabo, 1981Description: 198 p. : il. ; 23 cmAvailability: Items available for loan: [AMA. 517.9] (3). Items available for reference: [AMA. 517.9] (1).

Funciones especiales / Y. Ayant, M. BorgPublication: Madrid : Editorial Alhambra, 1974Description: XI, 242 p. : il. ; 24 cmAvailability: Items available for loan: [AYA. 517.5] (1).

Equações diferenciais parciais : uma introdução / Rafael Iório Júnior, Valéria de Magalhães IórioPublication: Brasília : IMPA- Instituto de Matemática Pura e Aplicada, 1988Description: VII, 366 p. : il. ; 23 cm.Availability: Items available for loan: [JÚN. 517.9] (1).

Teoria geomértica das folheações / César Camacho, Alcides Lins NetoPublication: Rio de Janeiro : Instituto de Matemática Pura e Aplicada, 1979Description: 238 p. : il. ; 23 cmAvailability: Items available for loan: [CAM. 514.7] (1).

Sebenta de matemática : trigonometria / Fernando Borja SantosPublication: Lisboa : [s.n.], 1973Description: 595 p. : il. ; 22 cmAvailability: Items available for loan: [SAN. 514.116] (1).

Sebenta de matemáticas gerais : álgebra linear / Fernando Borja SantosPublication: Lisboa : Plátano Editora, 1997Description: 280 p. : il. ; 24 cm.Availability: Items available for loan: [SAN. 512] (2). Items available for reference: [SAN. 512] (1).

Congresso de Métodos Computacionais em Engenharia / Carlos A. Mota Soares... [et al.]Publication: Lisboa : Laboratório Nacional de Engenharia Civil, 2004Description: XXXII, 484 p. : il. ; 24 cm. + CD-ROM.Availability: Items available for loan: [SOA. 519.6] (2).

Teoria dos conjuntos / Seymour Lipschutz ; trad. Fernando Vilain Heusi da SilvaPublication: Rio de Janeiro : Ao Livro Técnico S. A., 1967Description: IX, 337 p. : il. ; 23 cmAvailability: Items available for loan: [LIP. 510.22] (1).

Higher mathematics for engineers and physicists / Ivan S. Sokolnikoff, Elizabeth S. SokolnikoffPublication: New York : McGraw-Hill Book, 1941Description: XI, 587 p. : il. ; 24 cm.Availability: Items available for loan: [SOK. 51] (1).

Cours élémentaire de mathématiques supérieures : calcul différentiel et intégral et géométrie analytique plane avec un grand nombre dŽexemples et dŽapplications tome 1 : compléments dŽalgèbre les dérivées et leurs applications / J. Quinet ; pref. R. BarthélemyPublication: Paris : Dunod, 1962Description: XIV, 196 p. : il. ; 24 cmAvailability: Items available for loan: [QUI. 51] (1).

Cours élémentaire de mathématiques supérieures : calcul différentiel et ingégral et géométrie analytique plane avec un grand nombre dŽexemples et dŽ applications tome 2 : développements en séries. Calcul des imaginaires calcul différentiel et applications / J. Quinet ; préf. R. BarthélemyPublication: Paris : Dunod, 1962Description: XII, 263 p. : il. ; 24 cmAvailability: Items available for loan: [QUI. 51] (1).

Cours élémentaire de mathématiques supérieures : calcul différentiel et intégral et géométrie analytique plane avec un grand nombre dŽexemples et dŽapplications tome 6 : géométrie analytique plane et applications diverses / J. Quinet ; pref. R. BarthélemyPublication: Paris : Dunod, 1963Description: XIII, 332 p. : il. ; 24 cmAvailability: Items available for loan: [QUI. 51] (1).

Cours élémentaire de mathématiques supérieures : calcul différentiel et intégral et géométrie analytique plane avec un grand nombre dŽexemples et dŽapplications tome 4 : suite du calcul intégral et applications / J. Quinet ; pref. R. BarthélemyPublication: Paris : Dunod, 1961Description: XI, 178 p. : il. ; 24 cmAvailability: Items available for loan: [QUI. 51] (1).

Cours élémentaire de mathématiques supérieures : calcul différentiel et intégral et géométrie analytique plane avec un grand nombre dŽexemples et dŽapllications tome 5 : les équations différentielles et leurs applications / J. Quinet ; pref. BarthélemyPublication: Paris : Dunod, 1962Description: XII, 252 p. : il. ; 24 cmAvailability: Items available for loan: [QUI. 51] (1).

Advanced calculus / Ivan S. SokolnikoffPublication: New York : McGraw-Hill, 1939Description: X, 446 p. : il. ; 24 cm.Availability: Items available for loan: [SOK. 517] (1). Items available for reference: [SOK. 517] (1).

Les mathématiques en classe de sciences expérimentales : baccalauréat fasc. 2 / R. Bec... [et al.]Publication: Paris : Librairie Armand Colin, 1964Description: 63 p. : il. ; 27 cmAvailability: No items available Checked out (1).

Les mathématiques en math.-élém : baccalauréat fasc. 2 : géométrie / R. Bec... [et al.]Publication: Paris : Librairie Armand Colin, 1964Description: 134 p : il. ; 27 cmAvailability: Items available for loan: [BEC 51] (1).

Les mathématiques en math.-élém. : baccalauréat fasc. 3 : coniques et cinématique / R. Bec... [et al.]Publication: Paris : Librairie Armand Colin, 1964Description: 87 p. : il. ; 27 cmAvailability: Items available for loan: [BEC 51] (1).

Les mathématiques en classe de sciences expérimentales : baccalauréat fasc. 1 / R. Bec... [et al.]Publication: Paris : Librairie Armand Colin, 1964Description: 95 p. : il. ; 27 cmAvailability: Items available for loan: [BEC 51] (1).

Cours élémentaire de mathématiques supérieures tome 3 : calcul intégral et premières applications / J. Quinet ; pref. R. BarthélemyPublication: Paris : Dunod, 1962Description: XIII, 246 p. : il. ; 24 cmAvailability: Items available for loan: [QUI. 51] (1).

Manual de matemáticas para ingenieros y estudiantes / I. Bronshtein, K. Semendiaev ; trad. Emiliano Aparicio BernardoPublication: Moscú : Editorial Mir, 1973Description: 696 p. : il. ; 18 cm.Availability: Items available for loan: [BRO. 51] (1).

Cours élémentaire de mathématiques supérieures tome 3 : calcul intégral et séries / J. QuinetPublication: Paris : Dunod, 1973Description: VIII, 256 p. : il. ; 24 cm.Availability: Items available for loan: [QUI. 51] (1).

Cours élémentaire de mathématiques supérieures tome 4 : equations différentielles / J. QuinetPublication: Paris : Dunod, 1974Description: VIII, 280 p. : il. ; 24 cm.Availability: Items available for loan: [QUI. 51] (1).

Manual de fórmulas e tabelas matemáticas / Murray R. Spiegel ; trad. Roberto ChioccarelloPublication: São Paulo : McGraw-Hill do Brasil, 1974Description: 270 p. : il. ; 28 cmAvailability: Items available for loan: [SPI. 51] (1).

The calcus tutoring book / Carol Ash, Robert B. AshPublication: New York : The Institute of Electrical and Electronics, 1986Description: X, 534 p. : il. ; 26 cm.Availability: Items available for loan: [ASH 517] (1).

Compléments de mathématiques : à l'usage des ingénieurs de l'électrotechnique et des télécommunications / André Angot ; pref. Louis de BrogliePublication: Paris : Masson, 1965Description: 862 p. : il. ; 25 cm.Availability: Items available for loan: [ANG. 51] (1).

Nouvelles orientations des mathématiques / I. Yaglom... [et al.]Publication: Moscou : Mir, 1975Description: 407 p. : il. ; 18 cmAvailability: Items available for loan: [YAG. 51] (1).

Great ideas of modern mathematics : their nature and use / Jagjit SinghPublication: New York : Dover, 1959Description: VIII, 312 p. : il. ; 21 cm.Availability: Items available for loan: [SIN. 51] (1).

Teoría de las probabilidades y estadística matemática / V. E. Gmurman ; trad. Akop GrdianPublication: Móscu : Mir, 1974Description: 387 p. : il. ; 21 cm.Availability: Items available for loan: [GMU. 519.2] (1).

The elements of mathematical logic / Paul C. RosenbloomPublication: New York : Dover, 1950Description: IV, 215 p. : il. ; 21 cm.Availability: Items available for loan: [ROS. 510.6] (1).

A course of mathematical analysis vol. 2 / S. M. Nikolsky ; trad. V. M. VolosovPublication: Moscow : MIR, 1977Description: 441 p. ; 22 cm.Availability: Items available for loan: [NIK. 517] (1).

A course of mathematical analysis vol. 1 / S. M. Nikolsky ; trad. V. M. VolosovPublication: Moscow : MIR, 1977Description: 460 p. ; 22 cm.Availability: Items available for loan: [NIK. 517] (1).

Calculus vol. I : one-variable calculus, with an introduction to linear algebra / Tom M. ApostolPublication: Massachusetts : Xerox College Publishing, 1967Description: XX, 666 p. : il. ; 26 cm.Availability: Items available for loan: [APO. 517] (1).

Calculus vol. II : multi-variable calculus and linear algebra, with applications to differential equations and probability / Tom M. ApostolPublication: Massachusetts : Xerox College Publishing, 1969Description: XX, 666 p. : il. ; 26 cm.Availability: Items available for loan: [APO. 517] (1).

The theory of functions of a complex variable / A G. Sveshnikov, A. N. TikhonovPublication: Moscow : MIR Publishers, 1973Description: 311 p. : il. ; 22 cm.Availability: Items available for loan: [SVE. 51] (1).

Cours d'életronique / Jean-Luc Gorgol, Michel Lombart, Pierre MayéPublication: Paris : Eyrolles, 1994Description: X, 209 p. : il. ; 24 cm.Availability: Items available for loan: [GOR. 621.38] (1).

Nonlinear systems analysis / M. VidyasagarPublication: New Jersey : Prentice-Hall International, 1993Description: XI, 498 p. : il. ; 24 cm.Availability: Items available for loan: [VID. 517.9] (1).

Calculus : single variable / Deborah Hughes-Hallett... [et al.]Publication: Hoboken : John Wiley & Sons, 2005Description: XIV, 673 p. : il. ; 27 cm.Availability: Items available for loan: [HUG. 517] (1). Items available for reference: [HUG. 517] (1).

Álgebra linear e geometria analítica : problemas e exercícios / António Monteiro, Gonçalo Pinto ; colab. Catarina MarquesPublication: Lisboa : McGraw-Hill, 1998Description: 514 p. : il. ; 24 cmAvailability: Items available for loan: [MON. 512] (6). Items available for reference: [MON. 512] (1).

UCI-Informática