Su búsqueda retornó 21 resultados.

Resultados
	1.	No hay imagen de cubierta disponible Formalización de la semántica del lenguaje de programacion Lua / Mallku Ernesto Soldevila Raffa. por Soldevila Raffa, Mallku Ernesto, 1986- Lima Ventura, Daniel, 1980- [dir.] Detalles de publicación: [S.l. : s.n. ], 2015 Nota de disertación: Tesis (Lic. 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 RDU-UNC Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 18 - 22226. Agregar al carrito (remover)
	2.	No hay imagen de cubierta disponible Técnicas automáticas para la elaboración, validación y verificación de requisitos de Software / Renzo Gastón Degiovanni. por Degiovanni, Renzo Gastón, 1987- Aguirre, Nazareno Matías, 1976- [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 DEG. Agregar al carrito (remover)
	3.	No hay imagen de cubierta disponible Semánticas de procesos para sistemas interactivos y sistemas probabilísticos / Matías David Lee. por Lee, Matías David, 1982- D'Argenio, Pedro Ruben, 1968- [dir.] Detalles de publicación: [S.l. : s.n. ], 2013 Nota de disertación: Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013. Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: T C LEE. Agregar al carrito (remover)
	4.	Verification, model checking and abstract interpretation : proceedings / Neil D. Jones, Markus Müller-Olm (eds.). por VMCAI (10th : 2009 : Savannah, Ga.) Jones, Neil D [ed.] Müller-Olm, Markus [ed.] Series Lecture notes in computer science ; v. 5403 \| LNCS ; v. 5403 Detalles de publicación: Berlin ; New York : Springer, c2009 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 5403. Agregar al carrito (remover)
	5.	No hay imagen de cubierta disponible LIS : un lenguaje para la construcción de sistemas administrativos / Diego Alejandro Lis ; dir. por Gabriel Gastón Infante-Lopez. por Lis, Diego Alejandro, 1983- Infante-Lopez, Gabriel Gastón, 1975- [dir.] Detalles de publicación: [S.l. : s.n.], 2007 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, 2007. Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: TE C LIS ej.2, ... Agregar al carrito (remover)
	6.	Verification, model checking and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings / Byron Cook, Andreas Podelski (eds.). por International conference,VMCAI 2007 (8th : 2007 : Nice, France) Cook, Byron [ed.] Podelski, Andreas [ed.] Series Lecture notes in computer science ; vol. 4349 Detalles de publicación: Berlin ; New York : Springer, c2007 Acceso en línea: Publisher description Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 4349. Agregar al carrito (remover)
	7.	Memory as a programming concept in C and C++ / Frantisek Franek. por Franek, Frantisek, 1947- Detalles de publicación: Cambridge : Cambridge University, 2004 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D3.1 F814 . Agregar al carrito (remover)
	8.	FME 2003 : formal methods / ed. Keijiro Araki, Stefania Gnesi, Dino Mandrioli. por International Symposium of Formal Methods Europe (12º : 2003 : Pisa, Italy) Araki, Keijiro, 1954- [ed.,] Gnesi, Stefania, 1954- [ed.,] Mandrioli, Dino [ed.] Series Lecture notes in computer science ; v. 2805 \| LNCS ; v. 2805 Detalles de publicación: Berlin : Springer, 2003 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 2805 . Agregar al carrito (remover)
	9.	Process algebra and probabilistic methods : perfomance modeling and verification / edited by Holger Hermanns, Roberto Segala. por PAPM-PROBMIV (2º : 2000 : Copenhagen, Denmark) Hermanns, Holger, 1967- [ed.,] Segala, Roberto, 1968- [ed.,] Series Lecture notes in computer science ; v. 2399 \| LNCS ; v. 2399 Detalles de publicación: Berlin : Springer, 2002 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 2399 . Agregar al carrito (remover)
	10.	Isabelle/HOL : a proof assistant for higher order logic / Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel. por Nipkow, Tobias Paulson, Lawrence C Wenzel, Markus Series Lecture Notes in Computer Science, LNCS ; v. 2283 Detalles de publicación: Berlin : Springer, 2002 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 2283 . Agregar al carrito (remover)
	11.	Compiler construction : 7th International Conference, CC '98, held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings / ed. Kai Koskimies. por CC (Conference) (7º : 1998 : Lisboa, Portugal) Koskimies, Kai [ed.] Series Lecture notes in computer science ; v. 1383 \| LNCS ; v. 1383 Detalles de publicación: Berlin : Springer, 1998 Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C LNCS v. 1383 ej.2, ... Agregar al carrito (remover)
	12.	Languages and compilers for parallel computing / ed. Chua-Huang Huang, Ponnuswany Sadayappan. por International Workshop, LCPC (8º : 1995 : Columbus, Ohio, USA) Huang, Chua-Huang [ed.] Sadayappan, Ponnuswany [ed.] Series Lecture notes in computer science ; v. 1033 \| LNCS ; v. 1033 Detalles de publicación: Berlin : Springer, 1996 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1033 . Agregar al carrito (remover)
	13.	Building tightly integrated software development environments : the IPSEN approach / ed. Manfred Nagl. por Nagl, Manfred, 1944- [ed.,] Series Lecture notes in computer science ; LNCS ; v. 1170 Detalles de publicación: Berlin : Springer, 1996 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1170 . Agregar al carrito (remover)
	14.	Formal methods for industrial applications : specifying and programming the steam boiler control / edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack. por Abrial, Jean-Raymond, 1938- [ed.] Börger, Egon, 1946- [ed.] Langmaack, Hans, 1934- [ed.] Series Lecture notes in computer science ; LNCS ; v. 1165 Detalles de publicación: Berlin : Springer, 1996 Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C LNCS v. 1165 , ... Agregar al carrito (remover)
	15.	Programming languages : implementations, logics and programs : 8th international symposium, PLILP ’96, Aachen, Germany, September 24-27, 1996 : proceedings / ed. Herbert Kuchen, S. Doaitse Swierstra. por PLILP ’96 (8º : 1996 : Aachen, Germany) Kuchen, Herbert, 1958- [ed.] Swierstra, S. Doaitse [ed.] Series Lecture notes in computer science ; v. 1140 \| LNCS ; v. 1140 Detalles de publicación: Berlin : Springer, 1996 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1140 . Agregar al carrito (remover)
	16.	Recent trends in data type specification / edited by Magne Haveraaen, Olaf Owe, Ole-Johan Dahl. por Workshop on Specification of Abstract Data Types (11º : 1995 : Oslo, Norway) Haveraaen, Magne, 1958- [ed.] Owe, Olaf [ed.] Dahl, Ole-Johan, 1931- [ed.] Series Lecture notes in computer science ; v. 1130 \| LNCS ; v. 1130 Detalles de publicación: Berlin : Springer, 1996 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1130 . Agregar al carrito (remover)
	17.	Partial evaluation : international seminar, Dagstuhl Castle, Germany, February 12-16, 1996 : selected papers / ed. Olivier Danvy, Robert Glück, Peter Thiemann. por Danvy, Olivier [ed.] Glück, Robert, 1961- [ed.,] Thiemann, Peter, 1964- [ed.,] Series Lecture notes in computer science ; v. 1110 \| LNCS ; v. 1110 Detalles de publicación: Berlin : Springer, 1996 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1110 . Agregar al carrito (remover)
	18.	FME'96 : industrial benefit and advances in formal methods / ed. Marie-Claude Gaudel, James Woodwock. por International Symposium of Formal Methods Europe (3º : 1996 : Oxford, UK) Gaudel, Marie-Claude [ed.] Woodwock, James [ed.] Series Lecture notes in computer science ; v. 1051 \| LNCS ; v. 1051 Detalles de publicación: Berlin : Springer, 1996 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1051 . Agregar al carrito (remover)
	19.	Algorithms, concurrency and knowledge / 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995 : proceedings / ed. Kanchana Kanchanasut, Jean-Jacques Lévy. por Asian Computing Science Conference (1st : (1995 : Pathumthani, Thailand) Kanchanasut, Kanchana, 1951- [ed.] Lévy, Jean-Jacques, 1947- [ed.] Series Lecture notes in computer science ; v. 1023 \| LNCS ; v. 1023 Detalles de publicación: Berlin : Springer, 1995 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1023 . Agregar al carrito (remover)
	20.	Recent trends in data type specification / edited by Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki. por Workshop on Specification of Abstract Data Types (10º : 1994 : Santa Margherita, Italy) Astesiano, Egidio, 1939- [ed.] Reggio, Gianna, 1957- [ed.] Tarlecki, Andrzej, 1956- [ed.] Series Lecture notes in computer science ; LNCS ; v. 906 Detalles de publicación: Berlin : Springer, 1995 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 906 . 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ó 21 resultados.