Refinar su búsqueda

Su búsqueda retornó 92 resultados.

Ordenar
Resultados
21.
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 .
22.
23.
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, ...
24.
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 .
25.
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.
26.
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 .
27.
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 .
28.
29.
30.
31.
32.
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 .
33.
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, ...
34.
35.
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 .
36.
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 , ...
37.
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 .
38.
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 .
39.
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 .
40.
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 .
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)