CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 359 results. Subscribe to this search

|
Topics in nonparametric estimation / edited by Rafail Zalmanovich Khasminskii.

by Khasminskii, Rafail Zalmanovich [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Providence : American Mathematical Society, 1992Availability: Items available for loan: [Call number: AMS ADVSOV v. 12 ] (1).
Finitary measures for subshifts of finite type and sofic systems / Bruce Kitchens, Selim Tuncel.

by Kitchens, Bruce, 1953- | Tuncel, Selim.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Providence : American Mathematical Society, 1985Availability: Items available for loan: [Call number: AMS MEMO no. 338 ] (1).
Logic and computation / ed. Wilfried Sieg.

by Workshop on Logic and Computation (1987 : Carnegie Mellon University) | Sieg, Wilfried, 1945- [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Providence : American Mathematical Society, 1990Availability: Items available for loan: [Call number: AMS CONM v. 106] (1).
Methods and applications of mathematical logic : proceedings / ed. Walter Alexandre Carnielli, Luiz Paulo de Alcantara.

by Latin American Symposium on Mathematical Logic (7º : 1985 : State University of Campinas, Sao Paulo, Brazil) | Carnielli, Walter Alexandre [ed.] | Alcantara, Luiz Paulo de, 1944- [ed.,].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Providence : American Mathematical Society, 1988Availability: Items available for loan: [Call number: AMS CONM v. 69 ] (1).
Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation / ed. John W. Gray, Andre Scedrov.

by AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic (1987 : University of Colorado) | Gray, John Walker, 1931- [ed.,] | Scedrov, Andre, 1955- [ed.,].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Providence : American Mathematical Society, 1989Availability: Items available for loan: [Call number: AMS CONM v. 92 ] (1).
Automated theorem proving : After 25 years / ed. W. W. Bledsoe, Donald W. Loveland.

by AMS Special Session on Automatic Theorem Proving (1983 : Denver, Colorado) | Bledsoe, W. W [ed.] | Loveland, Donald W [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Providence : American Mathematical Society, 1984Availability: Items available for loan: [Call number: AMS CONM v. 29 ] (1).
Graphs and algorithms : proceedings of the AMS-IMS-SIAM joint summer research conference held June 28-July 4, 1987 with support from the National Science Foundation / ed. R. Bruce Richter.

by AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Graphs and Algorithms (1987 : Boulder, Colorado) | Richter, R. Bruce [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Providence : American Mathematical Society, 1989Availability: Items available for loan: [Call number: AMS CONM v. 89 ] (1).
Numbers, groups and codes / J. F. Humphreys, M. Y. Prest.

by Humphreys, J. F | Prest, Mike. Y.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1998Availability: Items available for loan: [Call number: M 20 H927n ] (1).
Realization spaces of polytopes / Jürgen Richter-Gebert.

by Richter-Gebert, Jürgen, 1963-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: M LNM v. 1643 ] (1).
Discrete probability and algorithms / ed. David J. Aldous, Joel Spencer, Persi Diaconis, J. Michael Steele.

by Aldous, David J, 1952- [ed.] | Spencer, Joel, 1946- [ed.] | Diaconis, Persi, 1945- [ed.] | Steele, John Michael, 1949- [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 1995Availability: Items available for loan: [Call number: M 60 D611] (1).
Computational physics : Problem solving with computers / Rubin H. Landau, Manuel José Paéz Méjía.

by Landau, Rubin H | Paéz Méjía, Manuel José.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Wiley J., 1997Availability: Items available for loan: [Call number: F 01.30 LAN ] (1).
Mind : introduction to cognitive science / Paul Thagard.

by Thagard, Paul.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, Mass. : MIT, 1996Availability: Items available for loan: [Call number: E 153.4 T363 ] (1).
Simulations for solid state physics : An interactive ressource for students and teachers / Robert H. Silsbee, Jörg Dräger.

by Silsbee, Robert H, 1929- | Dräger, Jörg.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, U.K. : Cambridge University, 1997Availability: Items available for loan: [Call number: F 60.00 SIL] (2).
Physics for computer science students with emphasis on atomic and semiconductor physics / Narciso Garcia, Arthur Damask.

by Garcia, Narciso, 1940- | Damask, Arthur.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 1991Availability: Items available for loan: [Call number: F 01.55 GAR ] (1).
Software metrics : a rigorous and practical approach / Norman E. Fenton, Shari Lawrence Pfleeger.

by Fenton, Norman E, 1956- | Pfleeger, Shari Lawrence.

Edition: 2a. ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London : International Thomson computer press, 1996Availability: Items available for loan: [Call number: C D2.8 F342 ] (1).
Logic and its applications / Edmund Burke, Eric Foxley.

by Burke, Edmund, 1964- | Foxley, Eric, 1937-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London : Prentice-Hall international, 1996Availability: Items available for loan: [Call number: C F4 B959 ej.2] (2).
Numerical recipes in C : the art of scientific computing / William H. Press, Saul A. Teukolsky, William T. Vetterling, Brian P. Flannery.

by Press, William Henry, 1948- | Teukolsky, Saul Arno, 1947- | Vetterling, William T | Flannery, Brian P.

Edition: 2a. ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1992Availability: Items available for loan: [Call number: M 65 N971nc2 ] (1).
Algorithms and data structures / ed. Frank Dehne, Andrew Rau-Chaplin.

by WADS ’97 (5º : 1997 : Halifax, Canada) | Dehne, Frank, 1960- [ed.,] | Rau-Chaplin, Andrew [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1272 ] (1).
CONCUR - 1994 : Concurrency theory / ed. Bengt Jonsson, Joachim Parrow.

by International Conference on Concurrency Theory (5º : 1994 : Uppsala, Sweden) | Jonsson, Bengt [ed.] | Parrow, Joachim [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 1994Availability: Items available for loan: [Call number: C LNCS v. 836 ] (1).
CONCUR - 1996 : Concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings / ed. Ugo Montanari, Vladimiro Sassone.

by International Conference on Concurrence Theory (7º : 1996 : Pisa, Italy) | Montanari, Ugo [ed.] | Sassone, Vladimiro [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1119 ] (1).

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:00hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127(Atención al Público) int. 41151(Dirección)

biblio@famaf.unc.edu.ar