Refinar su búsqueda

Su búsqueda retornó 79 resultados.

Ordenar
Resultados
21.
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.
22.
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 .
23.
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 .
24.
25.
26.
27.
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 .
28.
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, ...
29.
30.
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, ...
31.
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 .
32.
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 .
33.
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 .
34.
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, ...
35.
Logic and computation : Interactive proof with Cambridge LCF / Lawrence C. Paulson. por Series Cambridge tracts in theoretical computer science ; 2
Detalles de publicación: Cambridge, UK : University of Cambridge, 1987
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 P332 .
36.
Temporal logic of programs / Fred Kröger. por Series EATCS monographs on theoretical computer science ; v. 8
Detalles de publicación: Berlin : Springer, 1987
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 K93 .
37.
Logic for applications / Anil Nerode, Richard A. Shore. por Series Graduate texts in computer science
Edición: 2a. ed.
Detalles de publicación: New York : Springer, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 N451 .
38.
Language in action : categories, lambdas, and dynamic logic. por
Detalles de publicación: Cambridge, Mass. : MIT, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 B476 .
39.
Semirings, automata, languages / Werner Kuich, Arto Salomaa. por Series EATCS monographs on theoretical computer science ; v. 5
Detalles de publicación: Berlin : Springer, 1986
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 K96 .
40.
Formal methods in artificial intelligence / Allan Ramsay. por Series Cambridge tracts in theoretical computer science ; 6
Detalles de publicación: Cambridge, UK : Cambridge University, 1991
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 R178 .
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)