Su búsqueda retornó 6 resultados.

Ordenar
Resultados
1.
The temporal logic of reactive and concurrent systems / Zohar Manna, Amir Pnueli. por
Detalles de publicación: New York : Springer-Verlag, c1992
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D4.1 M282 v.1.
2.
Process algebra : equational theories of communicating processes / J.C.M. Baeten, Twan Basten, Michel Adriaan Reniers. por Series Cambridge tracts in theoretical computer science ; 50
Detalles de publicación: Cambridge ; New York : Cambridge University, 2010
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D1.3 B142.
3.
Solving combinatorial optimization problems in parallel : methods and techniques / ed. Alfonso Ferreira, Panos Pardalos. por Series Lecture notes in computer science ; LNCS ; v. 1054
Detalles de publicación: Berlin : Springer, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1054 .
4.
Nonsequential processes : a Petri net view / Eike Best, César C. Fernández. por Series EATCS monographs on theoretical computer science ; no. 12
Detalles de publicación: Berlin : Springer, 1988
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D4.1 B561 .
5.
Scheduling computer and manufacturing processes / Jacek Blazewicz, Klaus H. Ecker, Erwin Pesch, Günter Schmidt, Jan Weglarz. por
Detalles de publicación: Berlin : Springer, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D4.1 B644 .
6.
Páginas


Nuestras Redes Sociales

facebook Instagram

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)