Su búsqueda retornó 400 resultados.

Resultados
	381.	Fast software encryption / ed. Thomas Johansson. por FSE 2003 (10º : 2003 : Lund, Sweden) Johansson, Thomas, 1967- [ed.,] Series Lecture notes in computer science ; v. 2887 \| LNCS ; v. 2887 Detalles de publicación: Berlin : Springer, 2003 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 2887 . Agregar al carrito (remover)
	382.	Advances in cryptology - CRYPTO 2002 / ed. Moti Yung. por CRYPTO (Conference) (22 : 2002 : Santa Barbara, California) Yung, Moti [ed.] Series Lecture notes in computer science ; v. 2442 \| LNCS ; v. 2442 Detalles de publicación: Berlin : Springer, 2002 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 2442 . Agregar al carrito (remover)
	383.	Fast software encryption / ed. Bimal Roy, Willi Meier. por FSE 2004 (11º : 2004 : Delhi, India) Roy, Bimal [ed.] Meier, Willi [ed.] Series Lecture notes in computer science ; v. 3017 \| LNCS ; v. 3017 Detalles de publicación: Berlin : Springer, 2004 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 3017 . Agregar al carrito (remover)
	384.	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)
	385.	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)
	386.	Fast software encryption / ed. Mitsuru Matsui. por FSE 2001 (8º : 2001 : Yokohama, Japan) Matsui, Mitsuru, 1961- [ed.,] Series Lecture notes in computer science ; v. 2355 \| LNCS ; v. 2355 Detalles de publicación: Berlin : Springer, 2002 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 2355 . Agregar al carrito (remover)
	387.	Advances in cryptology - ASIACRYPT 2001 / ed. Colin Boyd. por International Conference on the Theory and Application of Cryptology and Information Security (7 : 2001 : Gold Coast, Australia) Boyd, Colin [ed.] Series Lecture Notes in Computer Science ; v. 2248 \| LNCS ; v. 2248 Detalles de publicación: Berlin : Springer, 2001 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 2248 . Agregar al carrito (remover)
	388.	Advances in cryptology - ASIACRYPT 2000 / ed. Tatsuaki Okamoto. por International Conference on the Theory and Application of Cryptology and Information Security (6 : 2000 : Kyoto, Japan) Okamoto, Tatsuaki [ed.] Series Lecture notes in computer science ; v. 1976 \| LNCS ; v. 1976 Detalles de publicación: Berlin : Springer, 2000 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1976 . Agregar al carrito (remover)
	389.	Advances in cryptology - CRYPTO 2000 / ed. Mihir Bellare. por CRYPTO (Conference) (20 : 2000 : Santa Barbara, California) Bellare, Mihir, 1962- [ed.] Series Lecture notes in computer science ; v. 1880 \| LNCS ; v. 1880 Detalles de publicación: Berlin : Springer, 2000 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1880 . Agregar al carrito (remover)
	390.	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)
	391.	Advances in cryptology - EUROCRYPT 2002 / ed. Lars Knudsen. por EUROCRYPT (Conference) (2002 : Amsterdam, Netherlands) Knudsen, Lars [ed.] Series Lecture notes in computer science ; v. 2332 \| LNCS ; v. 2332 Detalles de publicación: Berlin : Springer, 2002 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 2332 . Agregar al carrito (remover)
	392.	Experimental algorithmics : from algorithm design to robust and efficient software / ed. Rudolf Fleischer, Bernard M. E. Moret, Erik Meineche Schmidt. por Fleischer, Rudolf, 1964- [ed.,] Moret, Bernard M. E [ed.] Schmidt, Erik Meineche, 1945- [ed.,] Series Lecture notes in computer science, LNCS ; v. 2547, Detalles de publicación: Berlin : Springer, 2002 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 2547 . Agregar al carrito (remover)
	393.	Advances in cryptology - EUROCRYPT 2000 / ed. Bart Preneel. por EUROCRYPT (Conference) (19 : 2000 : Bruges, Belgium) Preneel, Bart, 1963- [ed.] Series Lecture notes in computer science ; v. 1807 \| LNCS ; v. 1807 Detalles de publicación: Berlin : Springer, 2000 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1807 . Agregar al carrito (remover)
	394.	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)
	395.	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)
	396.	No hay imagen de cubierta disponible Formal methods at the crossroads : from panacea to foundational support / ed. Bernhard K. Aichernig, Thomas S. E. Maibaum. por Aichernig, Bernhard K, 1969- [ed.,] Maibaum, Thomas S. E, 1947- [ed.,] Series Lecture notes in computer science, LNCS ; v. 2757 Detalles de publicación: Berlin : Springer, 2003 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 2757 . Agregar al carrito (remover)
	397.	Web engineering : managing diversity and complexity of web application development / edited by San Murugesan, Yogesh Deshpande. por Murugesan, San [ed.] Deshpande, Yogesh [ed.] Series Lecture Notes in computer science, LNCS ; v. 2016 Detalles de publicación: Berlin : Springer, 2001 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 2016 . Agregar al carrito (remover)
	398.	Mathematical software-ICMS 2006 / ed. Andrés Iglesias, Nobuki Takayama. por International Congress on Mathematical Software (2º : 2006 : Castro Urbiales, Spain) Iglesias, Andrés [ed.] Takayama, Nobuki, 1959- [ed.,] Series Lecture notes in computer science ; v. 4151 \| LNCS ; v. 4151 Detalles de publicación: Berlin : Springer, 2006 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 4151 . Agregar al carrito (remover)
	399.	Computational science and its applications - ICCSA 2005 : proceedings Part III / ed. Osvaldo Gervasi, Marina L. Gavrilova, Vipin Kumar, Antonio Laganà, Heow Pueh Lee, Youngsong Mun, David Taniar, Chih Jeng Kenneth Tan. por ICCSA 2005 (2005 : Singapore) Gervasi, Osvaldo [ed.] Gavrilova, Marina L [ed.] Kumar, Vipin [ed.] Laganà, Antonio [ed.] Lee, Heow Pueh [ed.] Mun, Youngsong [ed.] Taniar, David [ed.] Kenneth Tan, Chih Jeng [ed.] Series Lecture notes in computer science ; v. 3482 \| LNCS ; v. 3482 Detalles de publicación: Berlin : Springer, 2005 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 3482 pte.3. Agregar al carrito (remover)
	400.	Computational science -- ICCS 2006 : 6th international conference, Reading, UK, May 28-31, 2006 : proceedings / ed. Vassil N. Alexandrov, Geert Dick van Albada, Peter M. A. Sloot, Jack Dongarra. por ICCS 2006 (6° : 2006 : Reading, England) Alexandrov, Vassil N, 1962- [ed.] Albada, Geert Dick van, 1951- [ed.] Sloot, Peter M. A [ed.] Dongarra, Jack [ed.] Series Lecture notes in computer science ; v. 3992 \| LNCS ; v. 3992 Detalles de publicación: Berlin : Springer, 2006 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 3992 pte.2. 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ó 400 resultados.