Biblioteca de la FaMAF catalog › Results of search for '(su:{Computación.}) and location:LN and se:LNCS '

CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Advanced search
Course reserves
Tag cloud
Most popular
Purchase suggestions

Your search returned 116 results.

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

Languages:
Español
English

		CONCUR - 2007 : Concurrency Theory : 18th International Conference, CONCUR 2007 Lisbon, Portugal, September 3-8, 2007 : Proceedings / Luis Caires, Vasco T. Vasconcelos, editors. by International Conference on Concurrency Theory (18º : 2007 : Lisbon, Portugal ) \| Caires, Luis [ed.] \| Vasconcelos, Vasco T [ed.]. Material type: Book; Format: electronic ; Literary form: Not fiction Publisher: New York : Springer, 2007Availability: Items available for loan: [Call number: C LNCS v. 4703] (1). Request article Add to your cart (remove)
		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; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 2009Availability: Items available for loan: [Call number: C LNCS v. 5504] (1). Request article Add to your cart (remove)
		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; 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). Request article Add to your cart (remove)
		No cover image available 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; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 2008Availability: Items available for loan: [Call number: C LNCS v. 5125 pte.I] (2). Request article Add to your cart (remove)
		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 Publisher: Berlin : Springer, 1989Availability: Items available for loan: [Call number: C LNCS v. 358 ] (1). Request article Add to your cart (remove)
		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 Publisher: Berlin : Springer, 1992Availability: Items available for loan: [Call number: C LNCS v. 572 ] (1). Request article Add to your cart (remove)
		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 Publisher: Berlin : Springer, 1990Availability: Items available for loan: [Call number: C LNCS v. 425 ] (1). Request article Add to your cart (remove)
		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 Publisher: Berlin : Springer, 1977Availability: Items available for loan: [Call number: C LNCS v. 53 ] (1). Request article Add to your cart (remove)
		Conditional term rewriting systems / ed. Michaël Rusinowitch, Jean-Luc Rémy. by International Workshop CTRS (3º : 1992 : Pount-à-Mousson, France) \| Rusinowitch, Michaël [ed.] \| Rémy, Jean-Luc [ed.]. Material type: Book Publisher: Berlin : Springer, 1993Availability: Items available for loan: [Call number: C LNCS v. 656 ] (1). Request article Add to your cart (remove)
		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 Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 965 ] (1). Request article Add to your cart (remove)
		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 Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 972 ] (1). Request article Add to your cart (remove)
		Object representation in computer vision : Proceedings / ed. Martial Hebert, Jean Ponce. by International NSF-ARPA Workshop (1994 : New York NY, USA) \| Hebert, Martial [ed.] \| Ponce, Jean [ed.]. Material type: Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 994 ] (1). Request article Add to your cart (remove)
		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 Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 962] (1). Request article Add to your cart (remove)
		Logic and computational complexity : selected papers / ed. Daniel Leivant. by International Workshop LCC '94 (1994 : Indianapolis, IN, USA) \| Leivant, Daniel [ed.]. Material type: Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 960 ] (1). Request article Add to your cart (remove)
		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 Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 955] (1). Request article Add to your cart (remove)
		Correct hardware design and verification methods : IFIP WG10.5 advanced research working conference, CHARME ̕95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings / ed. Paolo E. Camurati, Hans Eveking. by Advanced Research Working Conference on Correct Hardware Design Methodologies (1995 : Frankfurt/Main, Germany) \| Camurati, Paolo E [ed.] \| Eveking, Hans [ed.]. Material type: Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 987 ] (1). Request article Add to your cart (remove)
		Evolutionary computing : AISB Workshop, Brighton, U.K., April 3-4, 1995 : selected papers / ed. Terence C. Fogarty. by AISB Workshop (2nd : 1995 : Sheffield, England) \| Fogarty, Terence C [ed.]. Material type: Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 993 ] (1). Request article Add to your cart (remove)
		Advances in cryptology - CRYPTO 1995 : 15th Annual International Cryptology Conference, Santa Barbara, California, USA, August 27-31, 1995 : proceedings / ed. Don Coppersmith. by CRYPTO (Conference) (15º : 1995 : Santa Barbara, California, USA) \| Coppersmith, Don [ed.] \| International Association for Cryptologic Research \| IEEE Computer Society. Technical Committee on Security and Privacy. Material type: Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 963 ] (1). Request article Add to your cart (remove)
		Computer science today : recent trends and developments / edited by Jan van Leeuwen. by Leeuwen, Jan van [ed.]. Material type: Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 1000 ] (1). Request article Add to your cart (remove)
		First-order in dynamic logic / David Harel. by Harel, David, 1950-. Material type: Book Publisher: Berlin : Springer, 1979Availability: Items available for loan: [Call number: C LNCS v. 68 ] (1). Request article Add to your cart (remove)

Biblioteca de la FaMAF

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

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