Su búsqueda retornó 54 resultados.

Resultados
	41.	Computer aided verification / ed. Rajeev Alur, Thomas A. Henzinger. por CAV (Conference) (8º : 1996 : New Brunswick, N.J.) Alur, Rajeev, 1966- [ed.,] Henzinger, Thomas A [ed.] Series Lecture notes in computer science ; v. 1102 \| LNCS ; v. 1102 Detalles de publicación: Berlin : Springer, 1996 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1102 . Agregar al carrito (remover)
	42.	Reasoning with logic programming / José Júlio Alferes, Luís Moniz Pereira. por Alferes, José Júlio, 1966- Moniz Pereira, Luís, 1947- Series Lecture notes in computer science ; v. 1111 \| Lecture notes in computer science. Lecture notes in artificial inteligence Detalles de publicación: Berlin : Springer, 1996 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNAI v. 1111 . Agregar al carrito (remover)
	43.	Mathematical foundations of computer science / edited by Wojciech Penczek, Andrzej Szatas. por International Symposium on Mathematical Foundations of Computer Science, MFCS (21 : 1996 : Cracow, Poland) Penczek, Wojciech [ed.] Szatas, Andrzej, 1958- [ed.,] Series Lecture notes in computer science ; LNCS ; v. 1113 Detalles de publicación: Berlin : Springer, 1996 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1113 . Agregar al carrito (remover)
	44.	Programming languages and systems-ESOP'96 / edited by Hanne Riis Nielson. por European Symposium on Programming (6º : 1996 : Linköping, Sweden) Riis Nielson, Hanne, 1954- [ed.] Series Lecture notes in computer science ; v. 1058 \| LNCS ; v. 1058 Detalles de publicación: Berlin : Springer, 1996 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1058 . Agregar al carrito (remover)
	45.	Computer science logic / edited by Hans Kleine Büning. por Workshop on Computer Science Logic (9º : 1995 : Padernborn, Germany, Annual conference of the EACSL) Büning, Hans Kleine [ed.] Series Lecture notes in computer science ; v. 1092 \| LNCS ; v. 1092 Detalles de publicación: Berlin : Springer, 1996 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1092 . Agregar al carrito (remover)
	46.	Higher-order algebra, logic and term rewriting / edited by Guilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller. por International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA (2º : 1995 : Paderborn, Germany) Dowek, Guilles [ed.] Heering, Jan [ed.] Meinke, Karl [ed.] Möller, Bernhard [ed.] Series Lecture notes in computer science ; v. 1074 \| LNCS ; v. 1074 Detalles de publicación: Berlin : Springer, 1996 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1074 . Agregar al carrito (remover)
	47.	Graph-theoretic concepts in computer science / edited by Manfred Nagl. por International Workshop WG (21º : 1995 : Haus Eich, Aachen, Germany) Nagl, Manfred, 1944- [ed.,] Series Lecture notes in computer science ; v. 1017 \| LNCS ; v. 1017 Detalles de publicación: Berlin : Springer, 1995 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1017 . Agregar al carrito (remover)
	48.	Foundations of software technology and theoretical computer science / edited by Pazhamaneri S. Thiagarajan. por Conference on Foundations of Software Technology and Theoretical Computer Science (15 : 1995 : Bangalore, India) Thiagarajan, Pazhamaneri S [ed.] Series Lecture notes in computer science ; v. 1026 \| LNCS ; v. 1026 Detalles de publicación: Berlin : Springer, 1995 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1026 . Agregar al carrito (remover)
	49.	Typed lambda calculi and applications / ed. Mariangiola Dezani-Ciancaglini, Gordon Plotkin. por International Conference on Typed Lambda Calculi and Aplications (2º : 1995 : Edinburgh, UK) Dezani-Ciancaglini, Mariangiola [ed.] Plotkin, Gordon, 1946- [ed.,] Series Lecture notes in computer science ; v. 902 \| LNCS ; v. 902 Detalles de publicación: Berlin : Springer, 1995 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 902 . Agregar al carrito (remover)
	50.	Programming languages and systems : second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004 : proceedings / ed. Wei-Ngan Chin. por APLAS 2004 (2nd : 2004 : Taipei, Taiwan) Chin, Wei-Ngan [ed.] Series Lecture notes in computer science ; v. 3302 \| LNCS ; v. 3302 Detalles de publicación: Berlin : Springer, 2004 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 3302 . Agregar al carrito (remover)
	51.	Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings / ed. Matthias Baaz, Johann A. Makowsky. por Workshop on Computer Science Logic (17º 2003 : Vienna University of Technology) Baaz, Matthias, 1960- [ed.] Makowsky, Johann A, 1948- [ed.,] European Association for Computer Science Logic Conference (12º : 2003 : Vienna University of Technology)) Kurt Gödel Colloquium (8º : 2003 : Vienna University of Technology) Series Lecture notes in computer science ; v. 2803 \| LNCS ; v. 2803 Detalles de publicación: Berlin : Springer, 2003 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 2803 . Agregar al carrito (remover)
	52.	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)
	53.	Algebraic and coalgebraic methods in the mathematics of program construction / ed. Roland C. Backhouse, Roy Crole, Jeremy Gibbons. por School on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction (2000 : University of Oxford) Backhouse, Roland C, 1948- [ed.,] Crole, Roy [ed.] Gibbons, Jeremy, 1966- [ed.,] Series Lecture Notes in Computer Science ; v. 2297 \| LNCS ; v. 2297 Detalles de publicación: Berlin : Springer, 2002 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 2297 . Agregar al carrito (remover)
	54.	Derivation and computation : taking the Curry-Howard correspondence seriously / por Simmons, Harold Series Cambridge tracts in theoretical computer science ; 51 Detalles de publicación: Cambridge : Cambridge University, 2000 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 S592 . 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.