CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 58 results. Subscribe to this search

|
Principles of cyber-physical systems / Rajeev Alur.

by Alur, Rajeev, 1966-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, Massachusetts : MIT, 2015Availability: Items available for loan: [Call number: C D2 A471] (1).
Quantum computation and quantum information / Michael A. Nielsen & Isaac L. Chuang.

by Nielsen, Michael A, 1974- | Chuang, Isaac L, 1968-.

Edition: 10th anniversary ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2010Availability: Items available for loan: [Call number: C F1.2 N669] (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).
Aplicación de redes neuronales en la clasiificación de imágenes / Florencia Mihaiich.

by Mihaich, Florencia, 1987- | Bustos, Oscar Humberto, 1947- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2014Dissertation note: Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014. Online access: Acceso a Versión Digital Availability: Items available for loan: [Call number: TE C MIH] (1).
Multiobjective optimization : interactive and evolutionary approaches / Jürgen Branke ... [et al.] (eds.).

by Branke, Jürgen, 1969- [ed.] | Deb, Kalyanmoy [ed.] | Miettinen, Kaisa [ed.] | Slowiński, Roman [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2008Availability: Items available for loan: [Call number: C LNCS v. 5252] (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).
The P=NP question and Gödel's lost letter / Richard J. Lipton.

by Lipton, Richard J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York. : Springer, c2010Availability: Items available for loan: [Call number: C F2 L767] (1).
Computational complexity : a conceptual perspective / Oded Goldreich.

by Goldreich, Oded, 1957-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 2008Availability: Items available for loan: [Call number: C F2 G621] (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).
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).
Computational complexity : a modern approach / Sanjeev Arora, Boaz Barak.

by Arora, Sanjeev, 1968- | Barak, Boaz.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2009Availability: Items available for loan: [Call number: C F1 A769] (1).
Verification and control of hybrid systems : a symbolic approach / Paulo Tabuada ; foreword by Rajeev Alur.

by Tabuada, Paulo.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, c2010Availability: Items available for loan: [Call number: C F1 T114] (1).
The Theory of Timed I/O Automata / Dilsun K. Kaynar, Nancy Lynch, Roberto Segala, Frits Vaandrager.

by [Author] | Kaynar, Dilsun K | Lynch, Nancy | Segala, Roberto | Vaandrager, Frits.

Edition: 2a ed.Material type: book Book; Format: electronic ; Literary form: Not fiction Publisher: California : Morgan & Claypool Publishers, 2011Availability: Items available for loan: [Call number: C F1 T396] (1).
Introduction to the theory of computation / Michael Sipser.

by Sipser, Michael.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Australia : Course Technology, Cengage Learning, c2006Online access: Contributor biographical information | Publisher description | Table of contents only Availability: Items available for loan: [Call number: C F1 S618] (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).
Multiagent systems : algorithmic, game-theoretic and logical foundations / Yoav Shoham, Kevin Leyton-Brown.

by Shoham, Yoav | Leyton-Brown, Kevin, 1975-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2009Online access: Contributor biographical information | Publisher description | Table of contents only Availability: Items available for loan: [Call number: C C2.4 S559] (1).
Automata, languages and programming : proceedings, Part II / Susanne Albers ... [et al.] (eds.).

by International Colloquium on Automata, Languages, and Programming (36th : 2009 : Rhodes, Greece) | Albers, Susanne B, 1965- [ed.] | Marchetti-Spaccamela, Alberto [ed.] | Matias, Yossi [ed.] | Nikoletseas, Sotiris [ed.] | Thomas, Wolfgang [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publisher: Berlin ; New York : Springer, 2009Availability: Items available for loan: [Call number: C LNCS v. 5556 pte.2] (1).
Theory of computation / Dexter C. Kozen

by Kozen, Dexter C, 1951-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London : Springer, 2006Availability: Items available for loan: [Call number: C F1 K88] (1).
The calculus of computation : decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna.

by Bradley, Aaron R | Manna, Zohar.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 2007Online access: Table of contents | Publisher description Availability: Items available for loan: [Call number: C F1 B811] (1).
Las redes de Petri : en la automática y la informática / Manuel Silva.

by Silva, Manuel.

Material type: book Book Publisher: Madrid : AC, 1985Availability: Items available for loan: [Call number: C F1 S586 ] (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