Su búsqueda retornó 97 resultados.

Resultados
	41.	Principles and practice of constraint programming - CP'95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings / ed. Ugo Montanari, Francesca Rossi. por CP'95 (1º : 1995 : Cassis, France) Montanari, Ugo [ed.] Rossi, Francesca [ed.] Series Lecture notes in computer science ; v. 976 \| LNCS ; v. 976 Detalles de publicación: Berlin : Springer, 1995 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 976 . Agregar al carrito (remover)
	42.	Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings / ed. David Pitt, David F. Rydeheard. por Conference on Category Theory and Computer Science (6º : 1995 : Cambridge, United Kingdom) Pitt, David H [ed.] Rydeheard, David F [ed.] Series Lecture notes in computer science ; v. 953 \| LNCS ; v. 953 Detalles de publicación: Berlin : Springer, 1995 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 953 . Agregar al carrito (remover)
	43.	CONCUR - 1995 : Concurrency theory : Proceedings / ed. Insup Lee, Scott A. Smolka. por International Conference on Concurrency Theory (6º : 1995 : Philadelphia, PA, USA) Lee, Insup [ed.] Smolka, Scott A [ed.] Series Lecture notes in computer science ; v. 962 \| LNCS ; v. 962 Detalles de publicación: Berlin : Springer, 1995 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 962. Agregar al carrito (remover)
	44.	Elementary logics : a procedural perspective / Dov M. Gabbay. por Gabbay, Dov M, 1945- Series Prentice-Hall series in computer science Detalles de publicación: London : Prentice-Hall europe, 1998 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 G112 . Agregar al carrito (remover)
	45.	Algebraic methodology and software technology / edited by V. S. Alagar, Maurice Nivat. por International Conference on Algebraic Methodology and Software Technology (4º : 1995 : Montreal, Canada) Alagar, Vangalur S, 1940- [ed.] Nivat, Maurice, 1937- [ed.] Series Lecture notes in computer science ; v. 936 \| LNCS ; v. 936 Detalles de publicación: Berlin : Springer, 1995 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 936 . Agregar al carrito (remover)
	46.	CONCUR - 1994 : Concurrency theory / ed. Bengt Jonsson, Joachim Parrow. por International Conference on Concurrency Theory (5º : 1994 : Uppsala, Sweden) Jonsson, Bengt [ed.] Parrow, Joachim [ed.] Series Lecture notes in computer science ; v. 836 \| LNCS ; v. 836 Detalles de publicación: Berlin : Springer, 1994 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 836 . Agregar al carrito (remover)
	47.	Algebraic methodology and software technology / edited by Martin Wirsing, Maurice Nivat. por International Conference on Algebraic Methodology and Software Technology (5º : 1996 : Munich, Germany) Wirsing, Martin [ed.] Nivat, Maurice [ed.] Series Lecture notes in computer science ; v. 1101 \| LNCS ; v. 1101 Detalles de publicación: Berlin : Springer, 1996 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1101 . Agregar al carrito (remover)
	48.	Algebraic and logic programming / ed. Giorgio Levi, Mario Rodríguez-Artalejo. por International Conference on Algebraic and Logic Programming (4º : 1994 : Madrid) Levi, Giorgio, 1942- [ed.,] Rodríguez-Artalejo, Mario [ed.] Series Lecture notes in computer science ; v. 850 Detalles de publicación: Berlin : Springer, 1994 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 850 . Agregar al carrito (remover)
	49.	CONCUR - 1996 : Concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings / ed. Ugo Montanari, Vladimiro Sassone. por International Conference on Concurrence Theory (7º : 1996 : Pisa, Italy) Montanari, Ugo [ed.] Sassone, Vladimiro [ed.] Series Lecture notes in computer science ; v. 1119 \| LNCS ; v. 1119 Detalles de publicación: Berlin : Springer, 1996 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1119 . Agregar al carrito (remover)
	50.	Mathematics of program construction : third international conference, MPC ’95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings / edited by Bernhard Möller. por MPC (3º : 1995 : Kloster Irsee, Germany) Möller, Bernhard, 1953- [ed.,] Series Lecture notes in computer science ; v. 947 \| LNCS ; v. 947 Detalles de publicación: Berlin : Springer, 1995 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 947 . Agregar al carrito (remover)
	51.	Fast software encryption : Proceedings... / ed. Eli Biham. por FSE (Workshop) (4º : 1997 : Haifa, Israel) Biham, Eli [ed.] Series Lecture notes in computer science ; v. 1267 \| LNCS ; v. 1267 Detalles de publicación: Berlin : Springer, 1997 Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C LNCS v. 1267 ej.2, ... Agregar al carrito (remover)
	52.	Logics for concurrency : structure versus automata / Faron Moller, Graham Birtwistle. por Moller, Faron, 1962- [ed.,] Birtwistle, Graham M [ed.] Series Lecture notes in computer science ; LNCS ; v. 1043 Detalles de publicación: Berlin : Springer, 1996 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1043 . Agregar al carrito (remover)
	53.	Deduction and declarative programming / por Padawitz, Peter, 1953- Series Cambridge tracts in theoretical computer science ; 28 Detalles de publicación: Cambridge, UK : Cambridge University, 1992 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 P123 . Agregar al carrito (remover)
	54.	Information flow : the logic of distributed systems / Jon Barwise, Jerry Seligman. por Barwise, Jon, 1942-2000 Seligman, Jerry, 1964- Series Cambridge tracts in theoretical computer science ; 44 Detalles de publicación: Cambridge, UK : Cambridge University, 1997 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C H2.4 B296 . Agregar al carrito (remover)
	55.	Predicate calculus and program semantics / Edsger Wybe Dijkstra, Carel S. Scholten. por Dijkstra, Edsger Wybe, 1930-2002 Scholten, Carel S Series Texts and monographs in computer science Detalles de publicación: New York : Springer, 1990 Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C F3 D575 , ... Agregar al carrito (remover)
	56.	Iteration theories : the equational logic of iterative processes / Stephen L. Bloom, Zoltán Esik. por Bloom, Stephen L, 1940-2010 Esik, Zoltán, 1951- Series EATCS monographs on theoretical computer science Detalles de publicación: Berlin : Springer, 1993 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 B655 . Agregar al carrito (remover)
	57.	Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings / ed. Michael Hanus, Jan Heering, Karl Meinke. por International joint Conference on Algebraic and Logic Programming, ALP '97 (6 : 1997 : Southtampton, UK) Hanus, Michael [ed.] Heering, Jan [ed.] Meinke, Karl [ed.] Series Lecture notes in computer science ; v. 1298 \| LNCS ; v. 1298 Detalles de publicación: Berlin : Springer, 1997 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1298 . Agregar al carrito (remover)
	58.	Computer science logic / edited by Dirk Dalen, Marc Bezem. por Workshop on Computer Science Logic (10º : 1996 : University of Utrecht, The Netherlands) Dalen, Dirk, 1932- [ed.,] Bezem, Marc (Marcus Aloysius), 1956- [ed.,] European Association for Computer Science Logic. Conference (5º : 1996 : Utrecht, Netherlands) Series Lecture notes in computer science ; v. 1258 \| LNCS ; v. 1258 Detalles de publicación: Berlin : Springer, 1997 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1258 . Agregar al carrito (remover)
	59.	Automata implementation / ed. Darrell Raymond, Derick Wood, Sheng Yu. por International Workshop on Implementing Automata (1º : 1996 : London, Ontario) Raymond, Darrell Ronald [ed.] Wood, Derick, 1940- [ed.,] Yu, Sheng [ed.] Series Lecture notes in computer science ; v. 1260 \| LNCS ; v. 1260 Detalles de publicación: Berlin : Springer, 1997 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1260 . Agregar al carrito (remover)
	60.	Computer aided verification : proceedindings / ed. Orna Grumberg. por CAV (Conference) (9º : 1997 : Haifa, Israel) Grumberg, Orna [ed.] Series Lecture notes in computer science ; v. 1254 \| LNCS ; v. 1254 Detalles de publicación: Berlin : Springer, 1997 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1254 . 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ó 97 resultados.