CATÁLOGO DE LA BIBLIOTECA

Your search returned 95 results. Subscribe to this search

|
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).
Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions / Yves Bertot, Pierre Castéran ; foreword by Gérard Huet and Christine Paulin-Mohring.

by Bertot, Yves, 1964- | Castéran, Pierre.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, c2010Availability: Items available for loan: [Call number: C F3 B547] (1).
Semánticas de procesos para sistemas interactivos / Eric Destefanis.

by Destefanis, Eric Alejandro, 1986- | D'Argenio, Pedro Ruben, 1968- [dir.] | Lee, Matías David, 1982- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2013Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013. Online access: Acceso a Versión Digital. Availability: Items available for loan: [Call number: TE C DES] (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).
Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings / Luke Ong, Ruy de Queiroz, editors.

by Ong, Luke [ed.] | Queiroz, Ruy de [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 2012Availability: Items available for loan: [Call number: C LNCS v. 7456] (1).
Category theory / Steve Awodey.

by Awodey, Steve, 1959-.

Edition: 2a ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Oxford ; New York : Oxford University, 2011Availability: Items available for loan: [Call number: C F4 A967] (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).
Algorithmic randomness and complexity / Rodney G. Downey, Denis Roman Hirschfeldt.

by Downey, Rodney G, 1957- | Hirschfeldt, Denis Roman.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, c2010Availability: Items available for loan: [Call number: C F1 D74] (1).
First steps in modal logic / Sally Popkorn.

by Popkorn, Sally.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1994Online access: Sample text | Table of contents | Publisher description Availability: Items available for loan: [Call number: C F4 P828] (1).
Decision procedures : an algorithmic point of view / Daniel Kroening, Ofer Strichman ; foreword by Randal E. Bryant.

by Kroening, Daniel | Strichman, Ofer.

Material type: book Book; Format: print Publisher: Berlin : Springer, 2010Availability: Items available for loan: [Call number: C F4.1 K93] (1).
Sketches of an elephant : a topos theory compendium / Peter T. Johnstone.

by Johnstone, Peter T.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Oxford : Oxford University, 2002-Online access: Publisher description | Table of contents only Availability: Items available for loan: [Call number: C F4 J73 v.1] (1).
Labelled Markov processes / Prakash Panangaden.

by Panangaden, Prakash.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London : Imperial College Press, c2009Availability: Items available for loan: [Call number: C F4 P187] (1).
Foundations of software science and computational structures : 12th international conference, FOSSACS 2009, held as part of the joint Europan conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009 : proceedings / Luca de Alfaro, ed.

by FOSSACS (12º : 2009 : York, UK) | Alfaro, Luca de, 1966- [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 2009Availability: Items available for loan: [Call number: C LNCS v. 5504] (1).
The temporal logic of reactive and concurrent systems / Zohar Manna, Amir Pnueli.

by Manna, Zohar | Pnueli, Amir.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer-Verlag, c1992Online access: Publisher description Availability: Items available for loan: [Call number: C D4.1 M282 v.1] (1).
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.

by Huth, Michael, 1962- | Ryan, Mark Dermot, 1962-.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2009Online access: Table of contents | Publisher description Availability: Items available for loan: [Call number: C F4 H979 ej.2] (2).
Introducción a la teoría de autómatas, lenguajes y computación / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman.

by Hopcroft, John E, 1939- | Motwani, Rajeev, 1962-2009‏ | Ullman, Jeffrey D, 1942-.

Edition: 3a ed.Material type: book Book Publisher: Boston : Pearson Educación : ; Addison Wesley, 2008Availability: Items available for loan: [Call number: C C1.3 H791e3] (1).
Handbook of logic in computer science / ed. S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum.

by Abramsky, Samson, 1953- [ed.,] | Gabbay, Dov M, 1945- [ed.,] | Maibaum, Thomas S. E, 1947- [ed.,].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Oxford : Oxford university, 1992-1994Availability: Items available for loan: [Call number: C F4.1 H236 v.4] (4).
Word equations and related topics / ed. Klaus Ulrich Schulz.

by International Workshop on Word Equations and Related Topics (1º : 1990 : Tübingen, Germany) | Schulz, Klaus Ulrich, 1957- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1992Availability: Items available for loan: [Call number: C LNCS v. 572 ] (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