Refinar su búsqueda

Su búsqueda retornó 88 resultados.

Ordenar
Resultados
21.
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, ...
22.
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, ...
23.
24.
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 .
25.
26.
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, ...
27.
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.
28.
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 .
29.
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 .
30.
31.
32.
33.
Unifying theories of programming / Charles Antony Richard Hoare, He Jifeng. por Series Prentice-Hall series in computer science
Detalles de publicación: London : Prentice-Hall, 1998
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 H679 .
34.
First-order logic and automated theorem proving / por Series Graduate texts in computer science
Edición: 2a. ed.
Detalles de publicación: New York : Springer, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C F4 F547 ej.2, ...
35.
36.
Mathematics, machines, and Godel's proof / N. Shankar. por Series Cambridge tracts in theoretical computer science ; 38
Detalles de publicación: Cambridge, UK : Cambridge Iniversity, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C F4.1 S528 ej.2, ...
37.
Foundations of computing : system development with set theory and logic / Thierry Scheurer. por Series International computer science series
Detalles de publicación: Wokingahm, England : Addison-Wesley, 1994
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 S328 .
38.
Languages and machines : an introduction to the theory of computer science / Thomas A. Sudkamp. por
Edición: 2a. ed.
Detalles de publicación: Reading, Mass. : Addison-Wesley, 1998
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 S943 .
39.
Categories, types and structures : an introduction to category theory for the working computer scientist / Andrea Asperti, Giuseppe Longo. por Series Foundations of computing
Detalles de publicación: Cambridge, Mass. : MIT, 1991
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 A839 .
40.
Logic and structure / Dirk van Dalen. por Series Universitext
Edición: 3a. ed.
Detalles de publicación: Berlin : Springer, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (3)Signatura topográfica: C F4 D139 ej.2, ...
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)