CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 322 results. Subscribe to this search

|
Turing : la mente que inauguró la era de la computación / Rafael Lahoz-Beltrá.

by Lahoz-Beltrá, Rafael, 1962-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: España : RBA Coleccionables, 2017Availability: Items available for loan: [Call number: M 01 L184] (1).
Numerical recipes : the art of scientific computing / William H. Press, Brian P. Flannery, Saul A. Teukolsky, William T. Vetterling.

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, 1986Availability: Items available for loan: [Call number: M 65 N971na] (1).
Learning Spark / Holden Karau, Andy Konwinski, Patrick Wendell, and Matei Zaharia.

by Karau, Holden [author.] | Konwinski, Andy | Wendell, Patrick | Zaharia, Matei, 1972-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Sebastopol, CA : O'Reilly, 2015Availability: Items available for loan: [Call number: C F1.2 L438] (1).
Principles of cyber-physical systems / Rajeev Alur.

by Alur, Rajeev, 1966-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, Massachusetts : MIT, 2015Availability: Items available for loan: [Call number: C D2 A471] (1).
Finite model theory and computational complexity / Xavier Caicedo.

by Caicedo, Xavier.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Bogotá, Colombia : Universidad de los Andes. Departamento de Matemática, 1995Availability: Items available for loan: [Call number: M 68 C133] (1).
Practical foundations for programming languages / Robert Harper.

by Harper, Robert.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; ; New York : Cambridge University, 2013Availability: Items available for loan: [Call number: C D3 H293] (1).
Programming massively parallel processors : a hands-on approach / by David B. Kirk and Wen-mei W. Hwu.

by Kirk, David B, 1960- | Hwu, Wen-mei W.

Edition: 2a ed.Material type: book Book Publisher: Amsterdan : Morgan Kaufmann, 2011Availability: Items available for loan: [Call number: C F1.2 K591e2] (1).
Multiobjective optimization : interactive and evolutionary approaches / Jürgen Branke ... [et al.] (eds.).

by Branke, Jürgen, 1969- [ed.] | Deb, Kalyanmoy [ed.] | Miettinen, Kaisa [ed.] | Slowiński, Roman [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2008Availability: Items available for loan: [Call number: C LNCS v. 5252] (1).
The (new)Turing omnibus : 66 excursions in computer science / A. K. Dewdney.

by Dewdney, A. K, 1941-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Freeman W. H., c1993Availability: Items available for loan: [Call number: C F1 D515] (1).
The P=NP question and Gödel's lost letter / Richard J. Lipton.

by Lipton, Richard J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York. : Springer, c2010Availability: Items available for loan: [Call number: C F2 L767] (1).
Computational complexity : a conceptual perspective / Oded Goldreich.

by Goldreich, Oded, 1957-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 2008Availability: Items available for loan: [Call number: C F2 G621] (1).
Perspectives in computation / Robert Geroch.

by Geroch, Robert, 1942-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Chicago : University of Chicago, c2009Availability: Items available for loan: [Call number: C F G377] (1).
Algorithmic randomness and complexity / Rodney G. Downey, Denis Roman Hirschfeldt.

by Downey, Rodney G, 1957- | Hirschfeldt, Denis Roman.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, c2010Availability: Items available for loan: [Call number: C F1 D74] (1).
Reactive systems : modelling, specification and verification / Luca Aceto ... [et al.].

by Anna Ingólfsdóttir, 1952- | Larsen, Kim G, 1957- | Srba, Jiří.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2007Online access: Contributor biographical information | Publisher description | Table of contents only Availability: Items available for loan: [Call number: C C2.4 R281] (1).
CONCUR - 2007 : Concurrency Theory : 18th International Conference, CONCUR 2007 Lisbon, Portugal, September 3-8, 2007 : Proceedings / Luis Caires, Vasco T. Vasconcelos, editors.

by International Conference on Concurrency Theory (18º : 2007 : Lisbon, Portugal ) | Caires, Luis [ed.] | Vasconcelos, Vasco T [ed.].

Material type: book Book; Format: electronic ; Literary form: Not fiction Publisher: New York : Springer, 2007Availability: Items available for loan: [Call number: C LNCS v. 4703] (1).
Elements of finite model theory / Leonid Libkin.

by Libkin, Leonid.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin ; Springer, c2010Online access: Contributor biographical information | Publisher description | Table of contents only Availability: Items available for loan: [Call number: C F4.1 L695] (1).
First steps in modal logic / Sally Popkorn.

by Popkorn, Sally.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1994Online access: Sample text | Table of contents | Publisher description Availability: Items available for loan: [Call number: C F4 P828] (1).
Computational complexity : a modern approach / Sanjeev Arora, Boaz Barak.

by Arora, Sanjeev, 1968- | Barak, Boaz.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2009Availability: Items available for loan: [Call number: C F1 A769] (1).
CUDA by example : an introduction to general-purpose GPU programming / Jason Sanders, Edward Kandrot.

by Sanders, Jason | Kandrot, Edward.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey : Addison-Wesley, 2011Availability: Items available for loan: [Call number: C F1.2 S194] (1).
Verification and control of hybrid systems : a symbolic approach / Paulo Tabuada ; foreword by Rajeev Alur.

by Tabuada, Paulo.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, c2010Availability: Items available for loan: [Call number: C F1 T114] (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