CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 40 results. Subscribe to this search

|
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).
Quantum computation and quantum information / Michael A. Nielsen & Isaac L. Chuang.

by Nielsen, Michael A, 1974- | Chuang, Isaac L, 1968-.

Edition: 10th anniversary ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2010Availability: Items available for loan: [Call number: C F1.2 N669] (1).
Monadicidad de procesos probabilistas y no deterministas / Martín Santiago Moroni.

by Moroni, Martín Santiago, 1986- | Sánchez Terraf,Pedro Octavio, 1979- [dir.].

Material type: book Book Publisher: [S.l. : s.n. ], 2015Dissertation note: Tesis (Lic. en Matemática)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015. Online access: Acceso a Version Digital | Acceso RDU-UNC Availability: Items available for loan: [Call number: TE M M868] (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).
Escalabilidad del Modelo de Potts en entornos distribuidos con OpenMP y MPI / Javier Nicolás Uranga.

by Uranga, Javier Nicolás | Wolovick, Nicolás, 1974- [dir.] | Blanco, Javier Oscar, 1968- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2012Dissertation note: Tesis (Especialista en Servicios y Sistemas Distribuidos)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2012. Online access: Acceso a Versión Digital Availability: Items available for loan: [Call number: TI SSD URA] (1).
Análisis y mejoras de sistemas de cómputo voluntario / Jorge Javier, Eduardo Sánchez.

by Jorge, Javier | Sánchez, Eduardo Alejandro, 1981- | Passera, Pablo [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2011Dissertation note: Tesis (Especialista en Servicios y Sistemas Distribuidos)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2011. Online access: Acceso a Versión Digital Availability: Items available for loan: [Call number: TI SSD JOR] (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).
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).
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).
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).
Foundations of software science and computational structures : 0th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings / Helmut Seidl (ed.).

by FOSSACS 2007 (10º : 2007 : Braga, Portugal) | Seidl, Helmut [ed.] | ETAPS 2007 (2007 : Braga, Portugal).

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2007Online access: Table of contents only | Publisher description Availability: Items available for loan: [Call number: C LNCS v. 4423] (1).
Concur - 2008 : Concurrency theory : proceedings / [edited by] Franck van Breugel, Marsha Chechik.

by International Conference on Concurrency Theory (19º : 2008 : Toronto, Canada) | Breugel, Franck van, 1966- [ed.] | Chechik, Marsha [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 2008Availability: Items available for loan: [Call number: C LNCS v. 5201] (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.

Material type: book Book Publisher: Amsterdan : Morgan Kaufmann, 2010Availability: Items available for loan: [Call number: C F1.2 K591 ej.2] (2).
Algebra básica de procesos probabilistas con iteración prBPA* / Valería K. Becker.

by Becker, Valeria Karina, 1977- | D'Argenio, Pedro Ruben, 1968- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2008Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2008. Availability: Items available for loan: [Call number: TE C BEC] (2).
Parallel computing : theory and practice / Michael Jay Quinn.

by Quinn, Michael Jay.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : McGraw-Hill, 1994Availability: Items available for loan: [Call number: C F1.2 Q6 ] (1).
Languages and compilers for parallel computing / ed. Chua-Huang Huang, Ponnuswany Sadayappan.

by International Workshop, LCPC (8º : 1995 : Columbus, Ohio, USA) | Huang, Chua-Huang [ed.] | Sadayappan, Ponnuswany [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1033 ] (1).
Distributed artificial intelligence : architecture and modelling / ed. Chenqi Zhang, Dickson Lukose.

by Australian Workshop on DAI (1st : 1995 : Canberra, A.C.T.) | Zhang, Chenqi, 1957- [ed.] | Lukose, Dickson [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNAI v. 1087 ] (1).
The theory and practice of concurrency / A. W. Roscoe.

by Roscoe, A. W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London : Prentice-Hall, 1998Availability: Items available for loan: [Call number: C F1.2 R792 ] (1).
Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem / Patrice Godefroid.

by Godefroid, Patrice.

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1032 ] (1).
Process algebra / J. C. M. Beaten, W. P. Weijland.

by Baeten, Josephus Cornelis Maria | Weijland, Willem Paul.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1995Availability: No items available Checked out (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

publicofamaf@gmail.com