CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 363 results. Subscribe to this search

|
Estados ligados y resonancias en quantum dots de una partícula y campo externo / Alba Yanina Ramos.

by Ramos, Alba Yanina, 1987- | Osenda, Omar, 1966- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2011Dissertation note: Tesis (Lic. en Física)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2011. Online access: Acceso a Versión Digital | RDU-UNC Availability: Items available for loan: [Call number: TE F RAM] (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).
Automata, languages and programming : 34th international colloquium, ICALP 2007, Wrocأaw, Poland, July 9-13, 2007 : proceedings / Lars Arge ... [et al.] (eds.).

by International Colloquium on Automata, Languages and Programming (34th : 2007 : Wroclaw, Poland) | Arge, Lars [ed.] | Cachin, Christian [ed.] | Jurdziński, Tomasz [ed.] | Tarlecki, Andrzej [ed.] | European Association for Theoretical Computer Science.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Online access: Restricted to SpringerLink subscribers Availability: Items available for loan: [Call number: C LNCS v. 4596] (1).
Automata, languages and programming : 35th international Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, proceedings, part I-II / Luca Aceto ... [et al.] (eds.).

by international Colloquium on Automata, Languages and Programming (35th : 2008 : Reykjavik, Iceland) | Aceto, Luca [ed.] | Damgard, Ivan [ed.] | Goldberg, Leslie Ann [ed.] | Halldórsson, Magnús M [ed.] | Ingólfsdóttir, Anna [ed.] | Walukiewicz, Igor [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 2008Availability: Items available for loan: [Call number: C LNCS v. 5125 pte.I] (2).
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).
Introducción a la computación en matemática usando mathematica / Néstor E. Aguilera.

by Aguilera, Néstor Edgardo.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Buenos Aires : Red Olímpica, 1995Availability: Items available for loan: [Call number: E 371.334 A283i] (1).
Programming massively parallel processors : a hands-on approach / by David B. Kirk and Wen-mei W. Hwu.

by Kirk, David B, 1960- | Hwu, Wen-mei W.

Material type: book Book Publisher: Amsterdan : Morgan Kaufmann, 2010Availability: Items available for loan: [Call number: C F1.2 K591 ej.2] (2).
Monte Carlo simulation in statistical physics : An introduction / Kurt Binder, Dieter W. Heermann.

by Binder, Kurt, 1944- | Heermann, Dieter W, 1955-.

Edition: 2a. ed. corr.Material type: book Book Publisher: Berlin : Springer, 1992Availability: Items available for loan: [Call number: F 05.00 BIN ] (1).
Crimeware : understanding new attacks and defenses / Markus Jakobsson, Zulfikar Ramzan.

by Jakobsson, Markus | Ramzan, Zulfikar.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Upper Saddle River, New Jersey : Addison-Wesley, c2008Availability: Items available for loan: [Call number: C C2 J259] (1).
Computing methods / I.S. Berezin and N.P. Zhidkov. Translated by O.M. Blunn; translation edited by A.D. Booth.

by Berezin, Ivan Semenovich | Zhidkov, Nikolai Petrovich, 1918-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Massachusetts : Addison-Wesley, 1965Availability: Items available for loan: [Call number: F 02.70 BER v.1] (2).
Computation and proof theory / ed. Michael M. Richter.

by Richter, Michael M [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 1984Availability: Items available for loan: [Call number: M LNM v. 1104 ] (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).
Symbolic and algebraic computation / ed. Patrizia Gianni.

by International Symposium on Symbolic and Algebraic Computation (13º : 1988 : Roma) | Gianni, Patrizia, 1952- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1989Availability: Items available for loan: [Call number: C LNCS v. 358 ] (1).
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).
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).
Proceedings of the 15th scandinavian congress Oslo 1968 / ed. Karl Egil Aubert, W. Junggren.

by Scandinavian Congress of Mathematicians (15º : 1968 : Oslo) | Aubert, Karl Egil, 1924-1991 [ed.] | Junggren, Wilhelm, 1905-1973 [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 1970Availability: Items available for loan: [Call number: M LNM v. 118 ] (1).
Las aplicaciones en la enseñanza y el aprendizaje de la matemática en la escuela secundaria : informe de la reunión realizada sobre este tema en Montevideo (Uruguay), del 8 al 17 de agosto de 1974.

by Unesco.

Material type: book Book Publisher: Montevideo : Oficina de Ciencias de la Unesco para America Latina, 1974Availability: Items available for loan: [Call number: E 371.3 U56a] (2).
Theorem proving with analytic tableaux and related methods / ed. Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi.

by TABLEAUX '96 (5º : 1996 : Terrasini, Palermo, Italy) | Miglioli, Pierangelo [ed.] | Moscato, Ugo [ed.] | Mundici, Daniele [ed.] | Ornaghi, Mario [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNAI v. 1071] (1).
Parallel computing : theory and practice / Michael Jay Quinn.

by Quinn, Michael Jay.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : McGraw-Hill, 1994Availability: Items available for loan: [Call number: C F1.2 Q6 ] (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