Su búsqueda retornó 54 resultados.

Resultados
	1.	No hay imagen de cubierta disponible Algoritmos + estructuras de datos = programas / Niklaus Wirth. por Wirth, Niklaus Idioma: Español Detalles de publicación: Madrid : Ediciones del Castillo, 1999 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F2.2 W799a. Listas: NOVEDADES. Agregar al carrito (remover)
	2.	Type-driven development with Idris / Edwin Brady. por Brady, Edwin Detalles de publicación: New York : Manning Publications, 2017 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 B812. Agregar al carrito (remover)
	3.	Semantics engineering with PLT Redex / Matthias Felleisen, Robert Bruce Findler, Matthew Flatt. por Felleisen, Matthias Findler, Robert Bruce Flatt, Matthew Detalles de publicación: Cambridge, Mass. : MIT Press, c2009 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 F318. Agregar al carrito (remover)
	4.	An introduction to bisimulation and coinduction / Davide Sangiorgi. por Sangiorgi, Davide, 1964- Detalles de publicación: Cambridge ; New York : Cambridge University, c2012 Acceso en línea: Publisher description Table of contents only Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 S195. Agregar al carrito (remover)
	5.	Advanced topics in bisimulation and coinduction / edited by Davide Sangiorgi, Jan Rutten. por Sangiorgi, Davide, 1964- Rutten, Johannes Josephus Martinus Matheus, 1959- Series Cambridge tracts in theoretical computer science ; 52 Detalles de publicación: Cambridge ; New York : Cambridge University, 2012 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 A244t. Agregar al carrito (remover)
	6.	Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions / Yves Bertot, Pierre Castéran ; foreword by Gérard Huet and Christine Paulin-Mohring. por Bertot, Yves, 1964- Castéran, Pierre Series Texts in theoretical computer science Detalles de publicación: Berlin : Springer, c2010 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 B547. Agregar al carrito (remover)
	7.	No hay imagen de cubierta disponible Construcción de programas que manejan dinámicamente la memoria / Renato Cherini. por Cherini, Renato, 1981- Blanco, Javier Oscar, 1968- [dir.] Detalles de publicación: [S.l. : s.n. ], 2015 Nota de disertación: Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015. Acceso en línea: Acceso a RDU_UNC Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: T C CHE. Agregar al carrito (remover)
	8.	Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013 : proceedings / Masahito Hasegawa (ed.). por Hasegawa, Masahito, 1970- [ed.] Series Lecture notes in computer science ; v. 7941 \| LNCS ; v. 7941 Detalles de publicación: Berlin : Springer, 2013 Otro título: TLCA 2013 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 7941. Agregar al carrito (remover)
	9.	Typed lambda calculi and applications : 9th International Conference, TICA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings / Pierre-Louis Curien (ed.). por International Conference on Typed Lambda Calculi and Applications (9º : 2009 : Brasilla, Brazil) Curien, Pierre-Louis [ed.] Series Lecture notes in computer science ; v. 5608 \| LNCS ; v. 5608 Detalles de publicación: Berlin ; Springer, c2009 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 5608. Agregar al carrito (remover)
	10.	No hay imagen de cubierta disponible No determinismo completamente medible en procesos probabilisticos continuos / Carlos Esteban Budde. por Budde, Carlos Esteban, 1988- D'Argenio, Pedro Ruben, 1968- [dir.] Sánchez Terraf, Pedro Octavio, 1979- [director] Detalles de publicación: [S.l. : s.n. ], 2012 Nota de disertación: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2012. Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 12 - 21383. Agregar al carrito (remover)
	11.	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)
	12.	Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 : Proceedings / Aarti Gupta, Sharad Malik, editors. por CAV (Conference) (20º : 2008 July 7-14 : Princeton, NJ, USA) Gupta, Aarti [ed.] Malik, Sharad [ed.] Series Lecture notes in computer science ; v. 5123 \| LNCS ; v. 5123 Detalles de publicación: Berlin : Springer 2008 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 5123. Agregar al carrito (remover)
	13.	Fundamental approaches to software engineering : 9th International Conference, FASE 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 : proceedings / Luciano Baresi, Reiko Heckel, (eds.). por FASE 2006 (9º : 2006 : Vienna, Austria) Baresi, Luciano [ed.] Heckel, Reiko [ed.] Series Lecture notes in computer science ; v. 3922 Detalles de publicación: Berlin ; New York : Springer, c2006 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 3922. Agregar al carrito (remover)
	14.	Tools and Algorithms for the Construction and Analysis of Systems : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. : Proceedings / Stefan Kowalewski, Anna Philippou, editors. por International Conference on Tools and Algorithms for the Construction and Analysis of Systems (15º : 2009 : York, UK.) Kowalewski, Stefan [ed.] Philippou, Anna [ed.] Series Lecture notes in computer science ; v. 5505 Detalles de publicación: Berlin : Springer 2009 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 5505. Agregar al carrito (remover)
	15.	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)
	16.	Computer aided verification : proceedings / Ahmed Bouajjani, Oded Maler (eds.). por CAV (Conference) (21º : 2009 : Grenoble, France) Bouajjani, Ahmed [ed.] Maler, Oded [ed.] Series Lecture notes in computer science ; v. 5643 \| LNCS ; v. 5643 Detalles de publicación: Berlin ; New York : Springer, 2009 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 5643. Agregar al carrito (remover)
	17.	Fundamental approaches to software engineering : 12th international conference, FASE 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009. proceedings / Marsha Chechik, Martin Wirsing, (eds.) por FASE 2009 (12º : 2009 : York, UK) Chechik, Marsha [ed.] Wirsing, Martin [ed.] Series Lecture notes in computer science ; v. 5503 \| LNCS ; v. 5503 Detalles de publicación: New York : Springer, 2009 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 5503. Agregar al carrito (remover)
	18.	25 years of model checking : history, achievements, perspectives / Orna Grumberg, Helmut Veith (eds.). por Grumberg, Orna Veith, Helmut Series Lecture notes in computer science ; 5000 Detalles de publicación: Berlin : Springer, 2008 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 Y397. Agregar al carrito (remover)
	19.	Principles of the Spin model checker / Mordechai Ben-Ari ; [foreword by Gerard J. Holzmann]. por Ben-Ari, Mordechai, 1948- Detalles de publicación: London : Springer, c2008 Acceso en línea: Publisher description Table of contents only Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 B456. Agregar al carrito (remover)
	20.	The spin model checker : primer and reference manual / Gerard J. Holzmann. por Holzmann, Gerard Johan, 1951- Detalles de publicación: Boston : Addison-Wesley, c2004 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 H762. 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ó 54 resultados.