CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 103 results. Subscribe to this search

|
Logical dynamics of information and interaction / Johan van Benthem.

by Benthem, Johan van, 1949-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2011Availability: Items available for loan: [Call number: C H1 B476] (1).
Type-driven development with Idris / Edwin Brady.

by Brady, Edwin.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Manning Publications, 2017Availability: Items available for loan: [Call number: C F3 B812] (1).
Semantics engineering with PLT Redex / Matthias Felleisen, Robert Bruce Findler, Matthew Flatt.

by Felleisen, Matthias | Findler, Robert Bruce | Flatt, Matthew.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, Mass. : MIT Press, c2009Availability: Items available for loan: [Call number: C F3 F318] (1).
An introduction to bisimulation and coinduction / Davide Sangiorgi.

by Sangiorgi, Davide, 1964-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, c2012Online access: Publisher description | Table of contents only Availability: Items available for loan: [Call number: C F3 S195] (1).
Advanced topics in bisimulation and coinduction / edited by Davide Sangiorgi, Jan Rutten.

by Sangiorgi, Davide, 1964- | Rutten, Johannes Josephus Martinus Matheus, 1959-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2012Availability: Items available for loan: [Call number: C F3 A244t] (1).
One hundred prisoners and a light bulb / by Hans van Ditmarsch, Barteld Kooi.

by Ditmarsch, Hans van, 1959- | Kooi, Barteld, 1976-.

Material type: book Book; Format: electronic ; Literary form: Not fiction Publisher: Springer : Zwitzerland, 2015Availability: Items available for loan: [Call number: C D1 D615] (1).
Construcción de programas que manejan dinámicamente la memoria / Renato Cherini.

by Cherini, Renato, 1981- | Blanco, Javier Oscar, 1968- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2015Dissertation note: Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015. Online access: Acceso a Versión Digital | Acceso a RDU_UNC Availability: Items available for loan: [Call number: T C CHE] (1).
Formalización de la semántica del lenguaje de programacion Lua / Mallku Ernesto Soldevila Raffa.

by Soldevila Raffa, Mallku Ernesto, 1986- | Lima Ventura, Daniel, 1980- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2015Dissertation note: Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015. Online access: Acceso a Versión Digital | Acceso RDU-UNC Availability: Items available for loan: [Call number: TE C SOL] (1).
Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013 : proceedings / Masahito Hasegawa (ed.).

by Hasegawa, Masahito, 1970- [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 2013Other title: TLCA 2013.Availability: Items available for loan: [Call number: C LNCS v. 7941] (1).
The (new)Turing omnibus : 66 excursions in computer science / A. K. Dewdney.

by Dewdney, A. K, 1941-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Freeman W. H., c1993Availability: Items available for loan: [Call number: C F1 D515] (1).
Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 ; revised tutorial lectures / Ana Bove ... [et al.] (eds.).

by LerNet ALFA Summer School (2008 : Piriapolis, Uruguay) | Bove, Ana [ed.] | Soares Barbosa, Luís [ed.] | Pardo, Alberto [ed.] | Sousa Pinto, Jorge [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin ; Springer, c2009Availability: Items available for loan: [Call number: C LNCS v. 5520] (1).
Typed lambda calculi and applications : 9th International Conference, TICA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings / Pierre-Louis Curien (ed.).

by International Conference on Typed Lambda Calculi and Applications (9º : 2009 : Brasilla, Brazil) | Curien, Pierre-Louis [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin ; Springer, c2009Availability: Items available for loan: [Call number: C LNCS v. 5608] (1).
No determinismo completamente medible en procesos probabilisticos continuos / Carlos Esteban Budde.

by Budde, Carlos Esteban, 1988- | D'Argenio, Pedro Ruben, 1968- [dir.] | Sánchez Terraf, Pedro Octavio, 1979- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2012Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2012. Online access: Acceso a Versión Digital Availability: Items available for loan: [Call number: TE C BUD] (1).
Design concepts in programming languages / Franklyn Turbak and David Gifford ; with Mark A. Sheldon.

by Turbak, Franklyn Albin | Gifford, David K, 1954- | Sheldon, Mark A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : MIT, c2008Online access: Table of contents only Availability: Items available for loan: [Call number: C D3.1 T931] (1).
Reactive systems : modelling, specification and verification / Luca Aceto ... [et al.].

by Anna Ingólfsdóttir, 1952- | Larsen, Kim G, 1957- | Srba, Jiří.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2007Online access: Contributor biographical information | Publisher description | Table of contents only Availability: Items available for loan: [Call number: C C2.4 R281] (1).
CONCUR - 2007 : Concurrency Theory : 18th International Conference, CONCUR 2007 Lisbon, Portugal, September 3-8, 2007 : Proceedings / Luis Caires, Vasco T. Vasconcelos, editors.

by International Conference on Concurrency Theory (18º : 2007 : Lisbon, Portugal ) | Caires, Luis [ed.] | Vasconcelos, Vasco T [ed.].

Material type: book Book; Format: electronic ; Literary form: Not fiction Publisher: New York : Springer, 2007Availability: Items available for loan: [Call number: C LNCS v. 4703] (1).
Elements of finite model theory / Leonid Libkin.

by Libkin, Leonid.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin ; Springer, c2010Online access: Contributor biographical information | Publisher description | Table of contents only Availability: Items available for loan: [Call number: C F4.1 L695] (1).
Programming methodology / Annabelle McIver, Carroll Morgan, editors.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 2010Availability: Items available for loan: [Call number: C D1 P964m] (1).
Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 : Proceedings / Aarti Gupta, Sharad Malik, editors.

by CAV (Conference) (20º : 2008 July 7-14 : Princeton, NJ, USA) | Gupta, Aarti [ed.] | Malik, Sharad [ed.].

Material type: book Book Publisher: Berlin : Springer 2008Availability: Items available for loan: [Call number: C LNCS v. 5123] (1).
On a method of multiprogramming / W.H.J. Feijen, A.J.M. van Gasteran.

by Feijen, W. H. J | Gasteren, Antonetta J. M. van, 1952-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, c2010Availability: Items available for loan: [Call number: C F3 F297] (1).

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:00hs

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

publicofamaf@gmail.com