Biblioteca de la FaMAF catalog › Results of search for '(su:{Design aids.})'

CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Advanced search
Course reserves
Tag cloud
Most popular
Purchase suggestions

Your search returned 15 results.

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

Languages:
Español
English

		No cover image available 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; 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). Request article Add to your cart (remove)
		No cover image available 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; 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). Request article Add to your cart (remove)
		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 Publisher: Berlin : Springer 2007Availability: Items available for loan: [Call number: C LNCS v. 4590] (1). Request article Add to your cart (remove)
		Decision procedures : an algorithmic point of view / Daniel Kroening, Ofer Strichman ; foreword by Randal E. Bryant. by Kroening, Daniel \| Strichman, Ofer. Material type: Book; Format: print Publisher: Berlin : Springer, 2010Availability: Items available for loan: [Call number: C F4.1 K93] (1). Request article Add to your cart (remove)
		Digital logic and microprocessor design with vhdl / Enoch Hwang. by Hwang, Enoch. Material type: Book; Format: print Publisher: Australia : Thomson, 2006Availability: Items available for loan: [Call number: C B6 H991] (2). Request article Add to your cart (remove)
		VHDL : programming by example / Douglas L. Perry. by Perry, Douglas L. Edition: 4a ed.Material type: 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). Request article Add to your cart (remove)
		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 Publisher: Berlin : Springer 2008Availability: Items available for loan: [Call number: C LNCS v. 5123] (1). Request article Add to your cart (remove)
		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; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2006Availability: Items available for loan: [Call number: C LNCS v. 4144] (1). Request article Add to your cart (remove)
		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; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2009Availability: Items available for loan: [Call number: C LNCS v. 5643] (1). Request article Add to your cart (remove)
		No cover image available 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; 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). Request article Add to your cart (remove)
		Formal methods in circuit design / V. Stavridou. by Stavridou, V. (Victoria). Material type: Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1993Availability: Items available for loan: [Call number: C B6.3 S798 ] (1). Request article Add to your cart (remove)
		Computer aided verification : proceedindings / ed. Orna Grumberg. by CAV (Conference) (9º : 1997 : Haifa, Israel) \| Grumberg, Orna [ed.]. Material type: Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1254 ] (1). Request article Add to your cart (remove)
		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 Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1166 ] (1). Request article Add to your cart (remove)
		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 Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1102 ] (1). Request article Add to your cart (remove)
		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 Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1125 ] (1). Request article Add to your cart (remove)

Biblioteca de la FaMAF

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

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