Refinar su búsqueda

Su búsqueda retornó 110 resultados.

Ordenar
Resultados
21.
Labelled Markov processes / Prakash Panangaden. por
Detalles de publicación: London : Imperial College Press, c2009
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 P187.
22.
23.
24.
25.
26.
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.
27.
28.
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan. por
Edición: 2nd ed.
Detalles de publicación: Cambridge ; New York : Cambridge University, 2009
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C F4 H979, ...
29.
Introducción a la teoría de autómatas, lenguajes y computación / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman. por
Edición: 3a ed.
Detalles de publicación: Boston : Pearson Educación : ; Addison Wesley, 2008
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C C1.3 H791e3, ...
Listas:
30.
Software abstractions : logic, language and analysis / Daniel Jackson. por
Detalles de publicación: Cambridge, Mass. : MIT, c2006
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C F4 J12s, ...
31.
Algebra básica de procesos probabilistas con iteración prBPA* / Valería K. Becker. por
Detalles de publicación: [S.l. : s.n. ], 2008
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, 2008.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: Trabajo Especial Computación CAJA 8 - 18996, ...
32.
33.
Word equations and related topics / ed. Klaus Ulrich Schulz. por Series Lecture notes in computer science ; v. 572 | LNCS ; v. 572
Detalles de publicación: Berlin : Springer, 1992
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 572 .
34.
35.
Fundamentals of algebraic specification / Hartmut Ehrig, Bernd Mahr. por Series EATCS monographs on theoretical computer science ; v. 6, 21
Detalles de publicación: Berlin : Springer, 1985-1990
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C F3 E33 v.1, ...
36.
Computability, complexity, and languages : Fundamentals of theoretical computer science / Martin Davis, Elaine J. Weyuker. por Series Computer science and applied mathematics
Detalles de publicación: Boston : Academic Press, 1983
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.3 D263 .
37.
The theory of Parsing, translation and compiling / Alfred V. Aho, Jeffrey D. Ullman. por Series Prentice-Hall series in automatic computation
Detalles de publicación: Englewood Cliffs : Prentice-Hall, 1972
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D3.4 A286 v.1.
38.
A basis for theoretical computer science / Michael A. Arbib, A. J. Kfoury, Robert N. Moll. por Series Texts and monographs in computer science
Detalles de publicación: New York : Springer, 1981
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 A664 .
39.
Logic for computer scientists / Uwe Schöning. por Series Progress in computer science and applied logic ; v. 8
Detalles de publicación: Boston : Birkhäuser, 1989
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 S371 .
40.
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)