CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 18 results. Subscribe to this search

|
Automata, languages and programming : 34th international colloquium, ICALP 2007, Wrocأaw, Poland, July 9-13, 2007 : proceedings / Lars Arge ... [et al.] (eds.).

by International Colloquium on Automata, Languages and Programming (34th : 2007 : Wroclaw, Poland) | Arge, Lars [ed.] | Cachin, Christian [ed.] | Jurdziński, Tomasz [ed.] | Tarlecki, Andrzej [ed.] | European Association for Theoretical Computer Science.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Online access: Restricted to SpringerLink subscribers Availability: Items available for loan: [Call number: C LNCS v. 4596] (1).
Automata, languages and programming : 35th international Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, proceedings, part I-II / Luca Aceto ... [et al.] (eds.).

by international Colloquium on Automata, Languages and Programming (35th : 2008 : Reykjavik, Iceland) | Aceto, Luca [ed.] | Damgard, Ivan [ed.] | Goldberg, Leslie Ann [ed.] | Halldórsson, Magnús M [ed.] | Ingólfsdóttir, Anna [ed.] | Walukiewicz, Igor [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 2008Availability: Items available for loan: [Call number: C LNCS v. 5125 pte.I] (2).
Symbolic and algebraic computation / ed. Patrizia Gianni.

by International Symposium on Symbolic and Algebraic Computation (13º : 1988 : Roma) | Gianni, Patrizia, 1952- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1989Availability: Items available for loan: [Call number: C LNCS v. 358 ] (1).
Mathematical foundations of computer science 1977 : Proceedings / ed. Jozef Gruska.

by Symposium on Mathematical Foundations of Computer Science (6º : 1977 : Tatranská Lomnica, Czechoslovakia) | Gruska, Jozef, 1933- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1977Availability: Items available for loan: [Call number: C LNCS v. 53 ] (1).
Fundamentals of computation theory : 0th international conference, FCT '95, Dresden, Germany, August 1995 : proceedings / ed. Horst Reichel.

by FCT '95 (10º : 1995 : Dresden, Germany) | Reichel, Horst [ed.].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 965 ] (1).
Distributed algorithms : Proceedings / ed. Jean-Michel Hélary, Michel Raynal.

by International Workshop on Distributed Algorithms (9º : 1995 : Le-Mont Saint-Michel, France) | Hélary, Jean-Michel [ed.] | Raynal, Michel [ed.].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 972 ] (1).
CONCUR - 1995 : Concurrency theory : Proceedings / ed. Insup Lee, Scott A. Smolka.

by International Conference on Concurrency Theory (6º : 1995 : Philadelphia, PA, USA) | Lee, Insup [ed.] | Smolka, Scott A [ed.].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 962] (1).
Logic and computational complexity : selected papers / ed. Daniel Leivant.

by International Workshop LCC '94 (1994 : Indianapolis, IN, USA) | Leivant, Daniel [ed.].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 960 ] (1).
Algorithms and data structures : Proceedings / ed. Selim G. Akl, Frank Dehne.

by WADS '95 (4º : 1995 : Kingston, Canada) | Akl, Selim G, 1948- [ed.] | Dehne, Frank [ed.].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 955] (1).
Trees in algebra and programming - CAAP'96 : 21st international colloquium, Linköping, Sweden, April 22-24, 1996 : proceedings / ed. Hélène Kirchner.

by Kirchner, Hélène [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1059 ] (1).
Computation theory and logic / ed. Egon Börger.

by Börger, Egon, 1946- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1987Availability: Items available for loan: [Call number: C LNCS v. 270 ] (1).
SOFSEM'96 : theory and practice of informatics : 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996 : proceedings / ed. Keith G. Jeffery, Jaroslav Král, Miroslav Bartosek.

by SOFSEM (Conference) (1996 : Milovy, Czech Republic) | Jeffery, Keith G [ed.] | Král, Jaroslav [ed.] | Bartosek, Miroslav, 1957- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1175 ] (1).
Automata, languages and programming / ed. Zoltán Fülöp, Ferenc Gécseg.

by International Colloquium on Automata, Languages and Programming (22º : 1995 : Szeged, Hungary) | Fülöp, Zoltán, 1955- [ed.] | Gécseg, Ferenc [ed.].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 944 ] (1).
Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht / ed. Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa.

by Mycielski, Jan, 1932- [ed.,] | Rozenberg, Grzegorz, 1942- [ed.] | Salomaa, Arto, 1934- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1261 ] (1).
Automata, languages and programming / ed. Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela.

by International Colloquium on Automata, Languages and Programming (24º : 1997 : Bologna) | Degano, Pierpaolo [ed.] | Gorrieri, Roberto [ed.] | Marchetti-Spaccamela, Alberto [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1256 ] (1).
STACS 97 : 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27-March 1, 1997 : proceedings / ed. Rüdiger Reischuk, Michel Morvan.

by Symposium on Theoretical Aspects of Computer Science (14 : 1997 : Lübeck, Germany) | Reischuk, Rüdiger [ed.] | Morvan, Michel [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1200 ] (1).
STACS 96 : 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996 : proceedings / ed. Claude Puech, Rüdiger Reischuk.

by Symposium on Theoretical Aspects of Computer Science (13th : 1996 : Grenoble, France) | Puech, Claude [ed.] | Reischuk, Rüdiger [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1046 ] (1).
Automata, languages and programming / ed. Friedhel Meyer auf der Heide, Burkhard Monien.

by International Coloquium on Automata, Languages and Programming (23º : 1996 : Paderborn, Germany) | Meyer auf der Heide, Friedhel [ed.] | Monien, Burkhard [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1099 ] (1).

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:00hs

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

publicofamaf@gmail.com