CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 15 results. Subscribe to this search

|
Estudio de la semántica del lenguaje intermedio il / Matías Emmanuel Debard.

by Debard, Matías Emmanuel, 1985- | Fridlender, Daniel Edgardo, 1964- [dir.] | Pagano, Miguel María, 1979- [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 DEB] (1).
pHaskell : un lenguaje funcional para metaprogramacíon / Rúben Marcelo Caro.

by Caro, Rubén Marcelo, 1978- | Fridlender, Daniel Edgardo, 1964- [dir.] | Gutson, Daniel, 1977- [colab.].

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 CARp] (1).
Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : Proceedings / Werner Damm, Holger Hermanns, editors.

by CAV (Conference) (19º : 2007 : Berlin, Germany) | Hermanns, Holger [Volume Editor].

Material type: book Book Publisher: Berlin : Springer 2007Availability: Items available for loan: [Call number: C LNCS v. 4590] (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).
Digital logic and microprocessor design with vhdl / Enoch Hwang.

by Hwang, Enoch.

Material type: book Book; Format: print Publisher: Australia : Thomson, 2006Availability: Items available for loan: [Call number: C B6 H991] (2).
VHDL : programming by example / Douglas L. Perry.

by Perry, Douglas L.

Edition: 4a ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : McGraw-Hill, c2002Online access: Contributor biographical information | Publisher description | Table of contents Availability: Items available for loan: [Call number: C B6.3 P462] (2).
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).
Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings / Thomas Ball, Robert B. Jones (eds.).

by CAV (Conference) (18º : 2006 : Seattle, Wash.) | Ball, Thomas, 1965- | Jones, Robert Brent, 1969-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2006Availability: Items available for loan: [Call number: C LNCS v. 4144] (1).
Computer aided verification : proceedings / Ahmed Bouajjani, Oded Maler (eds.).

by CAV (Conference) (21º : 2009 : Grenoble, France) | Bouajjani, Ahmed [ed.] | Maler, Oded [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2009Availability: Items available for loan: [Call number: C LNCS v. 5643] (1).
Sobre la verificación automática de autómatas probabilistas distribuidos con información parcial / Sergio Giro.

by Giro, Sergio Sebastián, 1981- | D'Argenio, Pedro Ruben, 1968- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2010Dissertation note: Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2010. Online access: Versión Digital Availability: Items available for loan: [Call number: T C GIR] (2).
Formal methods in circuit design / V. Stavridou.

by Stavridou, V. (Victoria).

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1993Availability: Items available for loan: [Call number: C B6.3 S798 ] (1).
Computer aided verification : proceedindings / ed. Orna Grumberg.

by CAV (Conference) (9º : 1997 : Haifa, Israel) | Grumberg, Orna [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1254 ] (1).
Formal methods in computer-aided design / ed. Mandayam Srivas, Albert Camilleri.

by FMCAD (1º : 1996 : Palo Alto, CA, USA) | Srivas, Mandayam [ed.] | Camilleri, Albert [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1166 ] (1).
Computer aided verification / ed. Rajeev Alur, Thomas A. Henzinger.

by CAV (Conference) (8º : 1996 : New Brunswick, N.J.) | Alur, Rajeev, 1966- [ed.,] | Henzinger, Thomas A [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1102 ] (1).
Theorem proving in higher order logics / ed. Joakim von Wright, Jim Grundy, John Harrison.

by TPHOLs '97 (9º : 1996 : Turku, Finland) | Wright, Joakim von, 1955- [ed.,] | Grundy, Jim, 1968- [ed.,] | Harrison, John, 1966- [ed.,].

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