Refinar su búsqueda

Su búsqueda retornó 97 resultados.

Ordenar
Resultados
1.
Algoritmos + estructuras de datos = programas / Niklaus Wirth. por Idioma: Español
Detalles de publicación: Madrid : Ediciones del Castillo, 1999
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F2.2 W799a.
Listas:
2.
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.
3.
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.
4.
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.
5.
6.
Construcción de programas que manejan dinámicamente la memoria / Renato Cherini. por
Detalles de publicación: [S.l. : s.n. ], 2015
Nota de disertación: Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015.
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: T C CHE.
7.
Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013 : proceedings / Masahito Hasegawa (ed.). por Series Lecture notes in computer science ; v. 7941 | LNCS ; v. 7941
Detalles de publicación: Berlin : Springer, 2013
Otro título:
  • TLCA 2013
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 7941.
8.
The (new)Turing omnibus : 66 excursions in computer science / A. K. Dewdney. por
Detalles de publicación: New York : Freeman W. H., c1993
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F1 D515.
9.
10.
11.
Design concepts in programming languages / Franklyn Turbak and David Gifford ; with Mark A. Sheldon. por
Detalles de publicación: Cambridge : MIT, c2008
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D3.1 T931.
12.
13.
Reactive systems : modelling, specification and verification / Luca Aceto ... [et al.]. por
Detalles de publicación: Cambridge ; New York : Cambridge University, 2007
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C C2.4 R281.
14.
15.
Elements of finite model theory / Leonid Libkin. por Series Texts in theoretical computer science | EATCS series
Detalles de publicación: Berlin ; Springer, c2010
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 L695.
16.
17.
On a method of multiprogramming / W.H.J. Feijen, A.J.M. van Gasteran. por Series Monographs in computer science
Detalles de publicación: New York : Springer, c2010
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 F297.
18.
19.
20.
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)