CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 6 results. Subscribe to this search

|
The temporal logic of reactive and concurrent systems / Zohar Manna, Amir Pnueli.

by Manna, Zohar | Pnueli, Amir.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer-Verlag, c1992Online access: Publisher description Availability: Items available for loan: [Call number: C D4.1 M282 v.1] (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).
Solving combinatorial optimization problems in parallel : methods and techniques / ed. Alfonso Ferreira, Panos Pardalos.

by Ferreira, Alfonso [ed.] | Pardalos, Panos, 1954- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1054 ] (1).
Nonsequential processes : a Petri net view / Eike Best, César C. Fernández.

by Best, Eike, 1951- | Fernández, César C, 1937-.

Material type: book Book Publisher: Berlin : Springer, 1988Availability: Items available for loan: [Call number: C D4.1 B561 ] (1).
Scheduling computer and manufacturing processes / Jacek Blazewicz, Klaus H. Ecker, Erwin Pesch, Günter Schmidt, Jan Weglarz.

by Blazewicz, Jacek, 1951- | Ecker, Klaus H | Pesch, Erwin | Schmidt, Günter | Weglarz, Jan.

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C D4.1 B644 ] (1).
Object-based parallel and distributed computation / ed. Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa.

by 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.].

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