Su búsqueda retornó 329 resultados.

Resultados
	21.	Reactive systems : modelling, specification and verification / Luca Aceto ... [et al.]. por Anna Ingólfsdóttir, 1952- Larsen, Kim G, 1957- Srba, Jiří Detalles de publicación: Cambridge ; New York : Cambridge University, 2007 Acceso en línea: Contributor biographical information Publisher description Table of contents only Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C C2.4 R281. Agregar al carrito (remover)
	22.	CONCUR - 2007 : Concurrency Theory : 18th International Conference, CONCUR 2007 Lisbon, Portugal, September 3-8, 2007 : Proceedings / Luis Caires, Vasco T. Vasconcelos, editors. por International Conference on Concurrency Theory (18º : 2007 : Lisbon, Portugal ) Caires, Luis [ed.] Vasconcelos, Vasco T [ed.] Series Lecture notes in computer science ; v. 4703 \| LNCS ; v. 4703 Detalles de publicación: New York : Springer, 2007 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 4703. Agregar al carrito (remover)
	23.	Elements of finite model theory / Leonid Libkin. por Libkin, Leonid Series Texts in theoretical computer science \| EATCS series Detalles de publicación: Berlin ; Springer, c2010 Acceso en línea: Contributor biographical information Publisher description Table of contents only Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 L695. Agregar al carrito (remover)
	24.	First steps in modal logic / Sally Popkorn. por Popkorn, Sally Detalles de publicación: Cambridge : Cambridge University, 1994 Acceso en línea: Sample text Table of contents Publisher description Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 P828. Agregar al carrito (remover)
	25.	Computational complexity : a modern approach / Sanjeev Arora, Boaz Barak. por Arora, Sanjeev, 1968- Barak, Boaz Detalles de publicación: Cambridge ; New York : Cambridge University, 2009 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F1 A769. Agregar al carrito (remover)
	26.	CUDA by example : an introduction to general-purpose GPU programming / Jason Sanders, Edward Kandrot. por Sanders, Jason Kandrot, Edward Detalles de publicación: New Jersey : Addison-Wesley, 2011 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F1.2 S194. Agregar al carrito (remover)
	27.	Verification and control of hybrid systems : a symbolic approach / Paulo Tabuada ; foreword by Rajeev Alur. por Tabuada, Paulo Detalles de publicación: New York : Springer, c2010 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F1 T114. Agregar al carrito (remover)
	28.	The Theory of Timed I/O Automata / Dilsun K. Kaynar, Nancy Lynch, Roberto Segala, Frits Vaandrager. por [Author] Kaynar, Dilsun K Lynch, Nancy Segala, Roberto Vaandrager, Frits Series Synthesis lectures on distributed computing theory ; no.5 Edición: 2a ed. Detalles de publicación: California : Morgan & Claypool Publishers, 2011 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F1 T396. Agregar al carrito (remover)
	29.	Introduction to the theory of computation / Michael Sipser. por Sipser, Michael Edición: 2nd ed. Detalles de publicación: Australia : Course Technology, Cengage Learning, c2006 Acceso en línea: Contributor biographical information Publisher description Table of contents only Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F1 S618. Agregar al carrito (remover)
	30.	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. por FOSSACS (12º : 2009 : York, UK) Alfaro, Luca de, 1966- [ed.] Series Lecture notes in computer science ; v. 5504 \| LNCS ; v. 5504 Detalles de publicación: New York : Springer, 2009 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 5504. Agregar al carrito (remover)
	31.	Automata, languages and programming : 34th international colloquium, ICALP 2007, Wrocأaw, Poland, July 9-13, 2007 : proceedings / Lars Arge ... [et al.] (eds.). por 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 Series Lecture notes in computer science ; v. 4596 \| LNCS Detalles de publicación: Berlin ; New York : Springer, c2007 Acceso en línea: Restricted to SpringerLink subscribers Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 4596. Agregar al carrito (remover)
	32.	No hay imagen de cubierta disponible Automata, languages and programming : 35th international Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, proceedings, part I-II / Luca Aceto ... [et al.] (eds.). por 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.] Series Lecture notes in computer science ; v. 5125, v. 5126 \| LNCS ; v. 5125, v. 5126 Detalles de publicación: New York : Springer, 2008 Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C LNCS v. 5125 pte.I, ... Agregar al carrito (remover)
	33.	Theory of computation / Dexter C. Kozen por Kozen, Dexter C, 1951- Series Texts in computer science Detalles de publicación: London : Springer, 2006 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F1 K88. Agregar al carrito (remover)
	34.	The calculus of computation : decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna. por Bradley, Aaron R Manna, Zohar Detalles de publicación: Berlin : Springer, 2007 Acceso en línea: Table of contents Publisher description Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F1 B811. Agregar al carrito (remover)
	35.	Introducción a la computación en matemática usando mathematica / Néstor E. Aguilera. por Aguilera, Néstor Edgardo Detalles de publicación: Buenos Aires : Red Olímpica, 1995 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: E 371.334 A283i. Agregar al carrito (remover)
	36.	Programming massively parallel processors : a hands-on approach / by David B. Kirk and Wen-mei W. Hwu. por Kirk, David B, 1960- Hwu, Wen-mei W Detalles de publicación: Amsterdan : Morgan Kaufmann, 2010 Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C F1.2 K591, ... Agregar al carrito (remover)
	37.	Monte Carlo simulation in statistical physics : An introduction / Kurt Binder, Dieter W. Heermann. por Binder, Kurt, 1944- Heermann, Dieter W, 1955- Series Springer series in solid-state sciences ; v. 80 Edición: 2a. ed. corr. Detalles de publicación: Berlin : Springer, 1992 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: F 05.00 BIN . Agregar al carrito (remover)
	38.	Crimeware : understanding new attacks and defenses / Markus Jakobsson, Zulfikar Ramzan. por Jakobsson, Markus Ramzan, Zulfikar Detalles de publicación: Upper Saddle River, New Jersey : Addison-Wesley, c2008 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C C2 J259. Agregar al carrito (remover)
	39.	No hay imagen de cubierta disponible Computing methods / I.S. Berezin and N.P. Zhidkov. Translated by O.M. Blunn; translation edited by A.D. Booth. por Berezin, Ivan Semenovich Zhidkov, Nikolai Petrovich, 1918- Series Adiwes international series in the engineering sciences Detalles de publicación: Massachusetts : Addison-Wesley, 1965 Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: F 02.70 BER v.1, ... Agregar al carrito (remover)
	40.	Computation and proof theory / ed. Michael M. Richter. por Richter, Michael M [ed.] Series Lecture notes in mathematics ; v. 1104 \| LNM ; v. 1104 Detalles de publicación: Berlin : Springer, 1984 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M LNM v. 1104 . Agregar al carrito (remover)

Nuestras Redes Sociales

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

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 (Dirección)

publicofamaf@gmail.com (Atención al público)

Refinar su búsqueda

Disponibilidad

Autores

Tipos de ítem

Ubicaciones

Series

Temas

Su búsqueda retornó 329 resultados.