CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 53 results. Subscribe to this search

|
Iluminación global en DirectCompute / Gabriel N. Clavero.

by Clavero, Gabriel Nicolás, 1986- | Bustos, Oscar Humberto, 1947- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2014Dissertation note: Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014. Online access: Acceso a Versión Digital | Acceso a RDU-UNC Availability: Items available for loan: [Call number: TE C CLA] (1).
Paralelización de algoritmos para verificación simbólica de modelos probabilísticos / Matías D. Tealdi.

by Tealdi, Matías Daniel, 1987- | D'Argenio, Pedro Ruben, 1968- [dir.] | Bederián, Carlos Sergio, 1980- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2013Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013. Online access: Acceso a Versión Digital. Availability: Items available for loan: [Call number: TE C TEA] (1).
Implementación del algoritmo Gauss-Seidel en CUDA para la verificación simbólica de modelos probabilísticos / Gastón Ingaramo.

by Ingaramo, Gastón, 1988- | D'Argenio, Pedro Ruben, 1968- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2013Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013. Online access: Acceso a Versión Digital. Availability: Items available for loan: [Call number: TE C ING] (1).
Continuous probability and nondeterminism in labeled transaction systems / Nicolás Wolovick.

by Wolovick, Nicolás, 1974- | D'Argenio, Pedro Ruben, 1968- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2012Dissertation note: Tesis (Doctor en Ciencias de la Computación)--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: T C WOL] (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).
Problemas de fairness en la programación con semáforos / Mariano Javier Arselán.

by Arselán, Mariano Javier, 1976- | Blanco, Javier Oscar, 1968- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2011Dissertation note: Tesis (Lic. en Computación)--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: TE C ARS] (1).
Implementación eficiente de construcciones de alto nivel para la programación concurrente / Damián Barsotti.

by Barsotti, Damián, 1969- | Blanco, Javier Oscar, 1968- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2011Dissertation note: Tesis (Doctor en Ciencias de la Computación)--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: T C BAR] (1).
Hadoop : the definitive guide / Tom White ; foreword by Doug Cutting.

by White, Tom.

Edition: 2a ed. revisada y actualizadaMaterial type: book Book; Format: print ; Literary form: Not fiction Publisher: Beijing : O'Reilly, c2011Availability: Items available for loan: [Call number: C D3.3 W582e2] (1).
Introduction to process algebra / Wan Fokkink.

by Fokkink, Wan, 1965-.

Material type: book Book Publisher: Berlin : Springer, 2010Availability: Items available for loan: [Call number: C D1.3 F662] (1).
Communicating sequential processes / Charles Antony Richard Hoare.

by Hoare, Charles Antony Richard, 1934-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Englewood Cliffs, New Jersey : Prentice-Hall International, c1985Availability: Items available for loan: [Call number: C C1.2 H672] (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).
Process algebra : equational theories of communicating processes / J.C.M. Baeten, Twan Basten, Michel Adriaan Reniers.

by Baeten, Josephus Cornelis Maria | Basten, Twan, 1969- | Reniers, Michel Adriaan, 1970-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2010Availability: No items available Checked out (1).
Parallel programming : for multicore and cluster systems / Thomas Rauber, Gudula Rünger.

by Rauber, Thomas | Rünger, Gudula.

Material type: book Book; Format: print Publisher: Berlin : Springer, 2010Availability: Items available for loan: [Call number: C D1.3 R239] (1).
CONCUR - 1995 : Concurrency theory : Proceedings / ed. Insup Lee, Scott A. Smolka.

by International Conference on Concurrency Theory (6º : 1995 : Philadelphia, PA, USA) | Lee, Insup [ed.] | Smolka, Scott A [ed.].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 962] (1).
Job scheduling strategies for parallel processing : IPPS '95 Workshop, Santa Barbara, CA, USA, April 25, 1995 : proceedings / ed. Dror G. Feiltelson, Larry Rudolph.

by IPPS '95 Workshop (1995 : Santa Barbara, California) | Feiltelson, Dror G [ed.] | Rudolph, Larry [ed.].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 949 ] (1).
Parallel algorithms for irregularly structured problems : Proceedings / ed. Alfonso Ferreira, José Rolim.

by International Workshop on Parallel Algorithms for Irregularly Structured Problems (2º : 1995 : Lyon, France) | Ferreira, Alfonso [ed.] | Rolim, José D. P [ed.].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 980 ] (1).
Job scheduling strategies for parallel processing : IPPS/SPDP '98 Workshop, Orlando, Florida, USA, March 30, 1998 : proceedings / ed. Dror G. Feitelson, Larry Rudolph.

by IPPS/SPDP '98 Workshop (4º : 1998 : Orlando, Florida) | Feitelson, Dror G [ed.] | Rudolph, Larry [ed.].

Material type: book Book Publisher: Berlin : Springer, 1998Availability: Items available for loan: [Call number: C LNCS v. 1459 ] (1).
Reliable software technologies - ADA-Europe'97 / ed. Keith Hardy, Jim Briggs.

by ADA-Europe International Conference on Reliable Software Technologies (1997 : London) | Hardy, Keith [ed.] | Briggs, Jim [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1251 ] (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).

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