CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 35 results. Subscribe to this search

|
Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013 : proceedings / Masahito Hasegawa (ed.).

by Hasegawa, Masahito, 1970- [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 2013Other title: TLCA 2013.Availability: Items available for loan: [Call number: C LNCS v. 7941] (1).
Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings / Luke Ong, Ruy de Queiroz, editors.

by Ong, Luke [ed.] | Queiroz, Ruy de [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 2012Availability: Items available for loan: [Call number: C LNCS v. 7456] (1).
Typed lambda calculi and applications : 9th International Conference, TICA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings / Pierre-Louis Curien (ed.).

by International Conference on Typed Lambda Calculi and Applications (9º : 2009 : Brasilla, Brazil) | Curien, Pierre-Louis [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin ; Springer, c2009Availability: Items available for loan: [Call number: C LNCS v. 5608] (1).
Automata, languages and programming : 33rd international Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings / Michele Bugliesi ... [et al.] (eds.).

by International Colloquium on Automata, Languages and Programming (33rd : 2006 : Venice, Italy) | Bugliesi, Michele [ed.] | Preneel, Bart [ed.] | Sassone, Vladimiro [ed.] | Wegener, Ingo [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2006Availability: Items available for loan: [Call number: C LNCS v. 4051 pte.1] (2).
Foundations of software science and computational structures : 12th international conference, FOSSACS 2009, held as part of the joint Europan conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009 : proceedings / Luca de Alfaro, ed.

by FOSSACS (12º : 2009 : York, UK) | Alfaro, Luca de, 1966- [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 2009Availability: Items available for loan: [Call number: C LNCS v. 5504] (1).
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).
Fundamental approaches to software engineering : 12th international conference, FASE 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009. proceedings / Marsha Chechik, Martin Wirsing, (eds.)

by FASE 2009 (12º : 2009 : York, UK) | Chechik, Marsha [ed.] | Wirsing, Martin [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 2009Availability: Items available for loan: [Call number: C LNCS v. 5503] (1).
Word equations and related topics / ed. Klaus Ulrich Schulz.

by International Workshop on Word Equations and Related Topics (1º : 1990 : Tübingen, Germany) | Schulz, Klaus Ulrich, 1957- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1992Availability: Items available for loan: [Call number: C LNCS v. 572 ] (1).
Algebraic logic and universal algebra in computer science / ed. Clifford H. Bergman, Roger D. Maddux, Don L. Pigozzi.

by Algebraic Logic and Universal Algebra in Computer Science Conference (1988 : Ames, Iowa) | Bergman, Clifford H, 1953- [ed.,] | Maddux, Roger D, 1948- [ed.,] | Pigozzi, Don L, 1935- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1990Availability: Items available for loan: [Call number: C LNCS v. 425 ] (1).
Graph grammars and their application to computer science / ed. Janice Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg.

by International Workshop on Graph Grammars and Their Application to computer science ( 5 : 1994 : Williamsburg, VA, USA) | Cuny, Janice [ed.] | Ehrig, Hartmut, 1944- [ed.] | Engels, Gregor [ed.] | Rozenberg, Grzegorz [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1073] (1).
Algebraic methodology and software technology / edited by V. S. Alagar, Maurice Nivat.

by International Conference on Algebraic Methodology and Software Technology (4º : 1995 : Montreal, Canada) | Alagar, Vangalur S, 1940- [ed.] | Nivat, Maurice, 1937- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 936 ] (1).
Algebraic methodology and software technology / edited by Martin Wirsing, Maurice Nivat.

by International Conference on Algebraic Methodology and Software Technology (5º : 1996 : Munich, Germany) | Wirsing, Martin [ed.] | Nivat, Maurice [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1101 ] (1).
Mathematics of program construction : third international conference, MPC ’95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings / edited by Bernhard Möller.

by MPC (3º : 1995 : Kloster Irsee, Germany) | Möller, Bernhard, 1953- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 947 ] (1).
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.

by International joint Conference on Algebraic and Logic Programming, ALP '97 (6 : 1997 : Southtampton, UK) | Hanus, Michael [ed.] | Heering, Jan [ed.] | Meinke, Karl [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1298 ] (1).
Computer science logic / edited by Dirk Dalen, Marc Bezem.

by 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).

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1258 ] (1).
Automata implementation / ed. Darrell Raymond, Derick Wood, Sheng Yu.

by International Workshop on Implementing Automata (1º : 1996 : London, Ontario) | Raymond, Darrell Ronald [ed.] | Wood, Derick, 1940- [ed.,] | Yu, Sheng [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1260 ] (1).
Rewriting techniques and applications / edited by Hubert Comon.

by International Conference on Rewriting Techniques and Applications (8º : 1997 : Sitges, Spain) | Comon, Hubert [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1232 ] (1).
Logic foundations of computer science / edited by Sergei Adian, Anil Nerode.

by LFCS (Symposium) (4º : 1997 : Yaroslavl, Russia) | Adian, Segei Ivanovich, 1931- [ed.] | Nerode, Anil, 1932- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1234 ] (1).
TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings / edited by Michel Bidoit, Max Dauchet.

by International Joint Conference on Theory and Practice of Software Development (1997 : Lille, France) | Bidoit, Michel, 1957- [ed.,] | Dauchet, Max, 1946- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1214 ] (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