Refinar su búsqueda

Su búsqueda retornó 61 resultados.

Ordenar
Resultados
1.
Type-driven development with Idris / Edwin Brady. por
Detalles de publicación: New York : Manning Publications, 2017
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 B812.
2.
Semantics engineering with PLT Redex / Matthias Felleisen, Robert Bruce Findler, Matthew Flatt. por
Detalles de publicación: Cambridge, Mass. : MIT Press, c2009
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 F318.
3.
An introduction to bisimulation and coinduction / Davide Sangiorgi. por
Detalles de publicación: Cambridge ; New York : Cambridge University, c2012
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 S195.
4.
Advanced topics in bisimulation and coinduction / edited by Davide Sangiorgi, Jan Rutten. por Series Cambridge tracts in theoretical computer science ; 52
Detalles de publicación: Cambridge ; New York : Cambridge University, 2012
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 A244t.
5.
Software abstractions : logic, language and analysis / Daniel Jackson. por
Edición: Ed. rev.
Detalles de publicación: Cambridge, Massachusetts : MIT, c2012
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 J12.
6.
7.
Category theory / Steve Awodey. por Series Oxford logic guides ; v. 52
Edición: 2a ed.
Detalles de publicación: Oxford ; New York : Oxford University, 2011
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 A967.
8.
Algorithmic randomness and complexity / Rodney G. Downey, Denis Roman Hirschfeldt. por Series Theory and applications of computability
Detalles de publicación: New York : Springer, c2010
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F1 D74.
9.
First steps in modal logic / Sally Popkorn. por
Detalles de publicación: Cambridge : Cambridge University, 1994
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 P828.
10.
Decision procedures : an algorithmic point of view / Daniel Kroening, Ofer Strichman ; foreword by Randal E. Bryant. por Series Texts in theoretical computer science | EATCS series
Detalles de publicación: Berlin : Springer, 2010
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 K93.
11.
Sketches of an elephant : a topos theory compendium / Peter T. Johnstone. por Series Oxford logic guides ; v. 43
Detalles de publicación: Oxford : Oxford University, 2002-
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 J73 v.1.
12.
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.
13.
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.
14.
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, ...
15.
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:
16.
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, ...
17.
18.
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, ...
19.
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 .
20.
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.
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)