CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 2 results. Subscribe to this search

|
Formal techniques in real-time and fault-tolerant systems / edited by Bengt Jonsson, Joachim Parrow.

by International Symposium on Formal Techniques in Rreal-Time and Fault-Tolerant Systems (4º : 1996 : Uppsala, Sweden) | Jonsson, Bengt, 1957- [ed.,] | Parrow, Joachim, 1956- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1135 ] (1).
Distributed algorithms / ed. Gerard Tel, Paul Vitányi.

by International Workshop on Distributed Algorithms (8º : 1994 : Terschelling, The Netherlands) | Tel, Gerard [ed.] | Vitányi, Paul [ed.].

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