CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 45 results. Subscribe to this search

|
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).
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).
Paralelización de algoritmos para verificación simbólica de modelos probabilísticos / Pablo Dal Lago.

by Dal Lago, Pablo, 1985- | D'Argenio, Pedro Ruben, 1968- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2011Dissertation note: Tesis (Lic. 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: TE C DAL] (2).
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).
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).
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: Items available for loan: [Call number: C D1.3 B142] (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).
Languages and compilers for parallel computing / ed. Chua-Huang Huang, Ponnuswany Sadayappan.

by LCPC (Workshop) (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).
Mobile agents : first international workshop... / ed. Kurk Rothermel, Radu Popescu-Zeletin.

by MA '97 (1º : 1997 : Berlin) | Rothermel, Kurk [ed.] | Popescu-Zeletin, Radu [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1219 ] (1).
Debugging and perfomance tuning for parallel computing systems / Vikram Adve, David M. Beazley, Don Breazel, Joan M. Francioni, Dennis Gannon, G. A. Geist, Rajan Gupta, Ming C. Hao, Don Heller, Marty Itzkowitz, Barton P. Miller, C. E. McDowell.

by Adve, Vikram | Beazley, David M | Miller, Barton P | McDowell, C. E | Nystrom, Nick A | Pancake, Cherri | Pase, Douglas M | Reed, Daniel A | Rover, Diane T | Schwan, Karsten | Title, Richard | Winstead, Carl | Breazel, Don | Zosel, Mary | Hayes, Ann H [ed.] | Simmons, Margaret L [ed.] | Brown, Jeffrey S [ed.] | Reed, Daniel A [ed.] | Francioni, Joan M | Gannon, Dennis | Geist, G. A | Gupta, Rajan | Hao, Ming C | Heller, Don | Itzkowitz, Marty.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Los Alamitos, California : IEEE Computer Society, 1996Availability: Items available for loan: [Call number: C D1.3 D289 ] (1).
Principles of concurrent and distributed programming Mordechai Ben-Ari..

by Ben-Ari, Mordechai, 1948-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Prentice-Hall, 1990Availability: Items available for loan: [Call number: C D1.3 B456 ] (1).
Concurrent programming / Alan Burns, Geoff Davies.

by Burns, Alan, 1953- | Davies, Geoff, 1942-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Wokingham, England : Addison-Wesley, 1998Availability: Items available for loan: [Call number: C D1.3 B963] (1).
Communication and concurrency / Robin Milner.

by Milner, Robin, 1934-2010.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Prentice-Hall, 1989Availability: Items available for loan: [Call number: C H2.4 M659 ] (1).
Concurrent programming : principles and practice / Gregory R. Andrews.

by Andrews, Gregory R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Menlo Park, California : Addison-Wesley, 1991Availability: Items available for loan: [Call number: C D1.3 A566 ] (1).
Software design methods for concurrent and real-time systems / Hassan Gomaa.

by Gomaa, Hassan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Reading, Mass. : Addison-Wesley, 1993Availability: Items available for loan: [Call number: C D2 G631 CONSULTA] (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