Su búsqueda retornó 56 resultados.

Resultados
	41.	Tools and algorithms for the construction and analysis of systems / ed. Tiziana Margaria, Bernhard Steffen. por TACAS (Conference) (2º : 1996 : Passau, Germany) Margaria, Tiziana, 1964- [ed.,] Steffen, Bernhard [ed.] Series Lecture notes in computer science ; v. 1055 \| LNCS ; v. 1055 Detalles de publicación: Berlin : Springer, 1996 Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C LNCS v. 1055 , ... Agregar al carrito (remover)
	42.	Object-based parallel and distributed computation / ed. Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa. por France-Japan Workshop on Object-based Parallel and Distributed Computation, OBPDC (1995 : Tokyo) Briot, Jean-Pierre, 1957- [ed.] Geib, Jean-Marc [ed.] Yonezawa, Akinori [ed.] Series Lecture notes in computer science ; v. 1107 \| LNCS ; v. 1107 Detalles de publicación: Berlin : Springer, 1996 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1107 . Agregar al carrito (remover)
	43.	Digital signature schemes : general framework and fail-stop signatures / Birgit Pfitzmann. por Pfitzmann, Birgit Series Lecture notes in computer science ; LNCS ; v. 1100 Detalles de publicación: Berlin : Springer, 1996 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1100 . Agregar al carrito (remover)
	44.	Parallel symbolic languages and systems / ed. Takayasu Ito, Robert H. Halstead, jr, Christian Queinnec. por International Workshop PSLS’95 (1995 : Beaune, France) Ito, Takayasu [ed.] Halstead, jr., Robert H [ed.] Queinnec, Christian [ed.] Series Lecture notes in computer science ; v. 1068 \| LNCS ; v. 1068 Detalles de publicación: Berlin : Springer, 1996 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1068 . Agregar al carrito (remover)
	45.	Reliable software technologies -ADA-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996 : proceedings / ed. Alfred Strohmeier. por ADA-Europe International Conference on Reliable Software Technologies (1996 : Montreux, Switzerland) Strohmeier, Alfred, 1946- [ed.,] Series Lecture notes in computer science ; LNCS ; v. 1088 Detalles de publicación: Berlin : Springer, 1996 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1088 . Agregar al carrito (remover)
	46.	Coordination languages and models / ed. Paolo Ciancarini, Chris Hankin. por COORDINATION ’96 (1º : 1996 : Cesena, Italy) Ciancarini, Paolo, 1959- [ed.,] Hankin, Chris, 1954- [ed.] Series Lecture notes in computer science ; v. 1061 \| LNCS ; v. 1061 Detalles de publicación: Berlin : Springer, 1996 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1061 . Agregar al carrito (remover)
	47.	Algorithms, concurrency and knowledge / 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995 : proceedings / ed. Kanchana Kanchanasut, Jean-Jacques Lévy. por Asian Computing Science Conference (1st : (1995 : Pathumthani, Thailand) Kanchanasut, Kanchana, 1951- [ed.] Lévy, Jean-Jacques, 1947- [ed.] Series Lecture notes in computer science ; v. 1023 \| LNCS ; v. 1023 Detalles de publicación: Berlin : Springer, 1995 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1023 . Agregar al carrito (remover)
	48.	Distributed algorithms / 8th international workshop, WDAG '94, Terschelling, the Netherlands, September 29-October 1, 1994 : proceedings ed. Gerard Tel, Paul Vitányi. por International Workshop on Distributed Algorithms (8 : 1994 : Terschelling, The Netherlands) Tel, Gerard [ed.] Vitányi, Paul [ed.] Series Lecture notes in computer science ; v. 857 \| LNCS ; v. 857 Detalles de publicación: Berlin : Springer, 1994 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 857 . Agregar al carrito (remover)
	49.	Formal methods for open object-based distributed systems V : IFIP TC6/WG6.1 / ed. Bart Jacobs, Arend Rensink. por International Conference on Formal Methods for Open Object-Based Distributed Systems (5º : 2002 : Enschede, The Netherlands) Jacobs, Bart [ed.] Rensink, Arend [ed.] Series International Federation for Information Processing ; no. 81 Detalles de publicación: Boston : Kluwer, 2002 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C C2.4 F723 . Agregar al carrito (remover)
	50.	Designing concurrent, distributed, and real-time applications with UML / Hassan Gomaa. por Gomaa, Hassan Series The Addison-Wesley object technology series Detalles de publicación: Boston : Addison-Wesley, 2000 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D2 G631d . Agregar al carrito (remover)
	51.	Formal methods for real-time and probabilistic systems / ed. Joost-Pieter Katoen. por International AMAST Workshop, ARTS'99 (5 : 1999 : Bamberg, Germany) Katoen, Joost-Pieter, 1964- [ed.] Series Lecture notes in computer science ; v. 1601 \| LNCS ; v. 1601 Detalles de publicación: Berlin : Springer, 1999 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1601 . Agregar al carrito (remover)
	52.	Distributed systems : principles and paradigms / Andrew S. Tanenbaum, Maarten van Steen. por Tanenbaum, Andrew S, 1944- Steen, Maarten van Detalles de publicación: New Jersey : Prentice-Hall, 2002 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C C2.4 T164 . Agregar al carrito (remover)
	53.	Foundations of multithreaded, parallel, and distributed programming / Gregory R. Andrews. por Andrews, Gregory R Detalles de publicación: Reading, Massachusetts : Addison-Wesley 2000 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D1 A565. Agregar al carrito (remover)
	54.	Distributed operating systems & algorithms / Randy Chow, Theodore Johnson por Chow, Randy Johnson, Theodore Detalles de publicación: Reading, Massachusetts : Addison-Wesley 1997 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D4.7 CH552. Agregar al carrito (remover)
	55.	No hay imagen de cubierta disponible Cache cooperativo para un sistema de archivos distribuído / Gustavo Petri ; dir. por Francisco Matías Cuenca Acuña, Nicolás Wolovick. por Petri, Gustavo Cuenca Acuña, Francisco Matías [dir.] Wolovick, Nicolás, 1974- [dir.] Detalles de publicación: [S.l. : s.n.], 2005 Nota de disertación: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2005. Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: TE C PET ej.2, ... Agregar al carrito (remover)
	56.	No hay imagen de cubierta disponible Trieste : un sistema de archivos distribuído / Marcos Dione ; dir. por Francisco Matías Cuenca Acuña, Nicolás Wolovick. por Dione, Marcos Cuenca Acuña, Francisco Matías [dir.] Wolovick, Nicolás, 1974- [dir.] Detalles de publicación: [S.l. : s.n. ], 2004 Nota de disertación: Tesis (Lic. en Ciencias de la Compuutación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2004. Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: TE C DIO ej.2, ... Agregar al carrito (remover)

Nuestras Redes Sociales

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:30hs

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 (Dirección)

publicofamaf@gmail.com (Atención al público)

Refinar su búsqueda

Disponibilidad

Autores

Tipos de ítem

Ubicaciones

Series

Temas

Su búsqueda retornó 56 resultados.