CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 76 results. Subscribe to this search

|
Networks, crowds and markets : reasoning about a highly connected world / David Easley, Jon Kleinberg.

by Easley, David | Kleinberg, Jon, 1971-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Cambridge University, 2010Availability: Items available for loan: [Call number: C I2 E13] (1).
Matemática discreta / Thomas N. Hibbard ; con la colaboración de Jorge Fernando Yazlle.

by Hibbard, Thomas Nathaniel | Yazlle, Jorge Fernando [colab.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Salta, Argentina : EUNSA, Editorial de la Universidad Nacional de Salta, 2015Availability: Items available for loan: [Call number: C G2 H624] (1).
Matemática discreta / Malva Alberto ... [et al.]

by Alberto, Malva | Schwer, Ingrid | Fumero, Yanina | Llop, Pamela | Chara, María.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Buenos Aires : edUTecNe, 2011Availability: Items available for loan: [Call number: C G2 M425] (1).
Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings / Luke Ong, Ruy de Queiroz, editors.

by Ong, Luke [ed.] | Queiroz, Ruy de [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 2012Availability: Items available for loan: [Call number: C LNCS v. 7456] (1).
Automata, languages and programming : 33rd international Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings / Michele Bugliesi ... [et al.] (eds.).

by International Colloquium on Automata, Languages and Programming (33rd : 2006 : Venice, Italy) | Bugliesi, Michele [ed.] | Preneel, Bart [ed.] | Sassone, Vladimiro [ed.] | Wegener, Ingo [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2006Availability: Items available for loan: [Call number: C LNCS v. 4051 pte.1] (2).
Multiagent systems : algorithmic, game-theoretic and logical foundations / Yoav Shoham, Kevin Leyton-Brown.

by Shoham, Yoav | Leyton-Brown, Kevin, 1975-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2009Online access: Contributor biographical information | Publisher description | Table of contents only Availability: Items available for loan: [Call number: C C2.4 S559] (1).
The temporal logic of reactive and concurrent systems / Zohar Manna, Amir Pnueli.

by Manna, Zohar | Pnueli, Amir.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer-Verlag, c1992Online access: Publisher description Availability: Items available for loan: [Call number: C D4.1 M282 v.1] (1).
Discrete mathematics using a computer / John O'Donnell, Cordelia Hall and Rex Page.

by O'Donnell, John, 1952- | Hall, Cordelia, 1955- | Page, Rex L.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London : Springer, c2006Online access: Publisher description | Table of contents only Availability: Items available for loan: [Call number: C G2 O26] (1).
Automata, languages and programming : proceedings, Part II / Susanne Albers ... [et al.] (eds.).

by International Colloquium on Automata, Languages, and Programming (36th : 2009 : Rhodes, Greece) | Albers, Susanne B, 1965- [ed.] | Marchetti-Spaccamela, Alberto [ed.] | Matias, Yossi [ed.] | Nikoletseas, Sotiris [ed.] | Thomas, Wolfgang [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publisher: Berlin ; New York : Springer, 2009Availability: Items available for loan: [Call number: C LNCS v. 5556 pte.2] (1).
European journal of combinatorics.

Material type: serial Continuing resource; Format: print ; Type of continuing resource: periodical Publisher: Amsterdam, NL : Elsevier, 1980-Online access: Acceso Biblioteca Electrónica de Ciencia y Tecnología Acceso sólo desde la UNC Availability: Items available for loan: [Call number: HM0037] (29).
Symbolic and algebraic computation / ed. Patrizia Gianni.

by International Symposium on Symbolic and Algebraic Computation (13º : 1988 : Roma) | Gianni, Patrizia, 1952- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1989Availability: Items available for loan: [Call number: C LNCS v. 358 ] (1).
A basis for theoretical computer science / Michael A. Arbib, A. J. Kfoury, Robert N. Moll.

by Arbib, Michael A, 1940- | Kfoury, Assaf, 1945- | Moll, Robert N.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 1981Availability: Items available for loan: [Call number: C F4 A664 ] (1).
Discrete mathematics with algorithms / Michael O. Albertson, Joan P. Hutchison.

by Albertson, Michael O, 1946-2009 | Hutchison, Joan P, 1945-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Wiley J., 1988Availability: Items available for loan: [Call number: C G2 A334 ] (1).
Matemáticas discretas / Kenneth A. Ross, Charles R. B. Wright.

by Ross, Kenneth A, 1936- | Wright, Charles R. B, 1937-.

Edition: 2a. ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: México : Prentice-Hall, 1990Availability: Items available for loan: [Call number: C G2 R824m ] (1).
Matemáticas discretas / Richard Hohnsonbaugh ; Traducido por Reinaldo Giudici , María Rosa Brito.

by Johnsonbaugh, Richard, 1941- | Giudici, Rainaldo, 1853-1921 | Brito, María Rosa.

Material type: book Book Publisher: México : Iberoamérica, 1988Availability: Items available for loan: [Call number: C G2 J719 ej.2] (2).
Turtle geometry : The computer as a medium for exploring mathematics / Harold Abelson, Andrea A. DiSessa.

by Abelson, Harold, 1947- | DiSessa, Andrea A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, Mass. : MIT, 1980Availability: Items available for loan: [Call number: M 51 A241 ] (1).
Applied combinatorics / Fred S. Roberts.

by Roberts, Fred S.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Englewood Cliffs, NJ : Prentice-Hall, 1984Availability: Items available for loan: [Call number: C G2 R644 ej.2] (2).
Fundamentals of computation theory : 0th international conference, FCT '95, Dresden, Germany, August 1995 : proceedings / ed. Horst Reichel.

by FCT '95 (10º : 1995 : Dresden, Germany) | Reichel, Horst [ed.].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 965 ] (1).
Integrating symbolic mathematical computation and artificial intelligence : second international conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers / ed. Jacques Calmet, John A. Campbell.

by AISMC (2º : Cambridge, United Kingdom) 1994 | Calmet, Jacques, 1941- [ed.] | Campbell, John A, 1940- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 958 ] (1).
Introduction to lattices and order / Brian A. Davey, Hilary A. Priestley.

by Davey, Brian A, 1948- | Priestley, Hilary A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1997Availability: Items available for loan: [Call number: C G2 D248 ej.2] (2).

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

publicofamaf@gmail.com