Refinar su búsqueda

Su búsqueda retornó 110 resultados.

Ordenar
Resultados
41.
42.
43.
44.
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 .
45.
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, ...
46.
47.
Automatic ambiguity resolution in natural language processing : an empirical approach / Alexander Franz. por Series Lecture notes in computer science ; v. 1171 | Lecture notes in computer science. Lecture notes in artificial intelligence
Detalles de publicación: Berlin : Springer, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNAI v. 1171 .
48.
Universal algebra / Paul Moritz Cohn. por Series Mathematics and its applications ; v. 6
Detalles de publicación: Dordrecht, Holland : Reidel, 1981
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C F4.3 C678 , ...
49.
Finite automata, their algebras and grammars : towards a theory of formal expressions / J. Richard Büchi ; ed. Dirk Siefkes. por
Detalles de publicación: New York : Springer, 1989
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F1.1 B919 .
50.
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, ...
51.
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 .
52.
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 .
53.
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 .
54.
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, ...
55.
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 .
56.
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 .
57.
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 .
58.
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 .
59.
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 .
60.
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)