Universidad Nacional Autónoma de México
Facultad de Ciencias
Catálogo de la Biblioteca "Ricardo Monges López"

Refinar su búsqueda

Su búsqueda recuperó 1729 resultados.

Ordenar
Resultados
Finite element solution of boundary value problems : Theory and computation / O. axelsson, v. a. barker

por Axelsson, O, 1934- [autor] | Barker, Vincent Allan, 1934- [autor].

Series Computer science and applied mathematicsTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Orlando, Florida : Academic, 1984Disponibilidad: Ítems disponibles para préstamo: Libros (3)Clasificación: QA379 A9, ...

Finite state markovian decision processes.

por Derman, Cyrus [autor].

Series Mathematics in science and engineering ; v. 67Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Academic, 1970Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA402.5 D46.

Finiteness and regularity in semigroups and formal languages / Aldo de Luca, Stefano Varricchio

por De Luca, Aldo [autor] | Varricchio, Stefano, 1960- [autor].

Series Monographs in theoretical computer scienceTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: New York : Springer Verlag, 1998Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA182 D45.

Finitos fields for computer scientists and engineers / By Robert j. mceliece

por Mceliece, Robert J [autor].

Series The kluwer international series in engineering and computer science ; 23Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Boston : Kluwer Academic, c1987Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA247.3 M34.

Fire from ice : Searching for the truth behind the cold fusion furor / By Eugene f. mallove

por Mallove, Eugene F [autor].

Series Wiley science editionsTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : J. Wiley, c1991Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QC791.73 M35, ...

A first course in coding theory / Raymond hill

por Hill, Raymond, 1947- [autor].

Series Oxford applied mathematics and computing science seriesTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Oxford : Clarendon Press, 1986Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA268 H55.

A first course in combinatorial mathematics / Ian Anderson

por Anderson, Ian, 1952- [autor].

Series Oxford applied mathematics and computing science seriesTipo de material: Texto Texto; Forma literaria: No es ficción Editor: Oxford : Clarendon Press, 1974Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA164 A53, ...

A first course in combinatorial mathematics / Ian Anderson

por Anderson, Ian, 1952- [autor].

Series Oxford applied mathematics and computing science seriesEdición: 2Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: Oxford : Clarendon Press, 1989Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA164 A53 1989.

A First look at numerical functional analysis / W. W. Sawyer

por Sawyer, W. W. (Walter Warwick), 1911-2008 [autor].

Series Oxford applied mathematics and computing science seriesTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Oxford : Clarendon Press, 1978Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA297 S334.

First-order logic and automated theorem proving / Melvin fitting

por Fitting, Melvin, 1942- [autor].

Series Texts and monographs in computer scienceTipo de material: Texto Texto; Forma literaria: No es ficción Editor: New York : Springer Verlag, c1990Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A96 F57.

First-order logic and automated theorem proving / Melvin Fitting

por Fitting, Melvin, 1942- [autor].

Series Graduate texts in computer scienceEdición: 2nd ed.Tipo de material: Texto Texto; Forma literaria: No es ficción Idioma: ENG Editor: New York : Springer Verlag, c1996Disponibilidad: Ítems disponibles para préstamo: Libros (3)Clasificación: QA76.9A96 F57 1996, ...

A fist look at numerical functional analysis / W. w. sawyer

por Sawyer, W. W. (Walter Warwick), 1911-2008 [autor].

Series Oxford applied mathematics and computing science seriesTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Oxford : Clarndon, 1978Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA320 S28.

Flatand : a romance of many dimensions / Edwin Abbott Abbott ; with an new introduction by Thomas Banchoff

por Abbott, Edwin Abbott, 1838-1926 [autor] | Banchoff, Thomas [prologuista] | Princeton University.

Series Princeton science libraryTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Princeton, New Jersey : Princeton University Press, c1991Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA699 A13 1991.

The flea / By harold russell

por Russell, Harold, N.1868 [autor].

Series The cambridge manuals of science and literatureTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Cambridge, Cambridge University Press, [england] : 1913Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QL503.P85 R88.

Fluid dynamics for the study of transonic flow / Heinrich j. ranm

por Ramm, Heinrich J [autor].

Series Oxford engineering science seriesTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Oxford University Press, 1990Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TL571 R35.

Fluid mechanics source book / Sybil p. parker, ed. in chief

por Parker, Sybil P [editor].

Series McGraw-Hill science reference seriesTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York ; México : McGraw-Hill Book, c1988Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TA357 F587.

FM'99-: formal methods : world congress on formal methods in the development of computing systems Toulouse, France, september 1999, proceedings / Jeannette M. Wing, Jim Woodcock, Jim Davis, (eds.)

por World Congress on Formal Methods in the Development of Computing Systems (1999 : Tolulous, Francia) | Wing, Jeannette M [editor] | Woodcock, Jim [editor] | Davis, Jim [editor].

Series Lectures notes in computer science ; 1708-1709Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c1999Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76D47 C645 1999.

FME 2001 : formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, march 12-16, 2001 : proceedings / Jose Nuno Oliveira, Pamela Zave, eds.

por International Symposium of Formal Methods Europe (10 : 2001 : Berlin, Alemania) | Oliveira, Jose N [editor] | Zave, Pamela, 1948- [editor].

Series Lecture notes in computer science ; 2021Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c2001Acceso en línea: Restricted to Springer LINK subscribers Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76D47 I577 2001.

FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings / J.C.P. Woodcock, P.G. Larsen, (eds.)

por International Symposium of Formal Methods Europe (1993 : Odense, Dinamarca) | Woodcock, Jim [editor] | Larsen, P. G. (Peter Gorm), 1964- [editor].

Series Lecture notes in computer science ; 670Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, 1993Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76D47 I577 1993.

FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24-28, 1994 : proceedings / Maurice Naftalin, Tim Denvir, Miquel Bertran eds.

por International Symposium of Formal Methods Europe (2 : 1994 : Barcelona, Espana) | Naftalin, Maurice, 1951- [editor] | Denvir, Tim, 1939- [editor] | Bertran, Miguel [editor].

Series Lecture notes in computer science ; 873Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, 1994Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76D47 I577.

Páginas
¿No encuentras lo que estás buscando?

Universidad Nacional Autónoma de México 

Biblioteca "Ricardo Monges López" de la Facultad de Ciencias

©2023 Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

Aviso de Privacidad