CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 324 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).
Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 ; revised tutorial lectures / Ana Bove ... [et al.] (eds.).

by LerNet ALFA Summer School (2008 : Piriapolis, Uruguay) | Bove, Ana [ed.] | Soares Barbosa, Luís [ed.] | Pardo, Alberto [ed.] | Sousa Pinto, Jorge [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin ; Springer, c2009Availability: Items available for loan: [Call number: C LNCS v. 5520] (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).
Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : Proceedings / Werner Damm, Holger Hermanns, editors.

by CAV (Conference) (19º : 2007 : Berlin, Germany) | Hermanns, Holger [Volume Editor].

Material type: book Book Publisher: Berlin : Springer 2007Availability: Items available for loan: [Call number: C LNCS v. 4590] (1).
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 Book; Format: electronic ; Literary form: Not fiction Publisher: New York : Springer, 2007Availability: Items available for loan: [Call number: C LNCS v. 4703] (1).
Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 : Proceedings / Aarti Gupta, Sharad Malik, editors.

by CAV (Conference) (20º : 2008 July 7-14 : Princeton, NJ, USA) | Gupta, Aarti [ed.] | Malik, Sharad [ed.].

Material type: book Book Publisher: Berlin : Springer 2008Availability: Items available for loan: [Call number: C LNCS v. 5123] (1).
Web Engineering : 10th International Conference, ICWE 2010, Vienna, Austria, July 5-9, 2010 : Proceedings / Benatallah, Boualem ...[et al.]

by International Conference on Web Engineering (10º : 2010 : Vienna, Austria) | Benatallah, Boualem, 1966- [ed.] | Casati, Fabio [ed.] | Kappel, Gerti [ed.] | Rossi, Gustavo [ed.].

Material type: book Book Publisher: Berlin : Springer, 2010Availability: Items available for loan: [Call number: C LNCS v. 6189] (1).
Software Product Lines : Going Beyond : 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010 : Proceedings / Jan Bosch, Jaejoon Lee, editors.

by International Software Product Line Conference (14º : 2010 : Jeju Island, South Korea) | Bosch, Jan [ed.] | Lee, Jaejoon [ed.].

Material type: book Book Publisher: Berlin : Springer 2010Availability: Items available for loan: [Call number: C LNCS v. 6287] (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 : 10th international conference, FASE 2007, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings / Matthew B. Dwyer, Antónia Lopes.

by FASE 2007 (10º : 2007 : Braga, Portugal) | Dwyer, Matthew B, 1963- [ed.] | Lopes, Antónia [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2007Online access: Unedited summary from book | Table of contents only | Publisher description Availability: Items available for loan: [Call number: C LNCS v. 4422] (1).
Automata, languages and programming : proceedings, Part II / Susanne Albers ... [et al.] (eds.).

by International Colloquium on Automata, Languages, and Programming (36th : 2009 : Rhodes, Greece) | Albers, Susanne B, 1965- [ed.] | Marchetti-Spaccamela, Alberto [ed.] | Matias, Yossi [ed.] | Nikoletseas, Sotiris [ed.] | Thomas, Wolfgang [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publisher: Berlin ; New York : Springer, 2009Availability: Items available for loan: [Call number: C LNCS v. 5556 pte.2] (1).
Computer aided verification : proceedings / Ahmed Bouajjani, Oded Maler (eds.).

by CAV (Conference) (21º : 2009 : Grenoble, France) | Bouajjani, Ahmed [ed.] | Maler, Oded [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2009Availability: Items available for loan: [Call number: C LNCS v. 5643] (1).
Web engineering : proceedings / Martin Gaedke, Michael Grossniklaus, Oscar Diaz (eds.).

by ICWE (Conference) (9º : 2009 : San Sebastián, Spain) | Gaedke, Martin [ed.] | Grossniklaus, Michael [ed.] | Díaz, Oscar, 1962- [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2009Availability: Items available for loan: [Call number: C LNCS v. 5648] (1).
Foundations of software science and computational structures : 0th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings / Helmut Seidl (ed.).

by FOSSACS 2007 (10º : 2007 : Braga, Portugal) | Seidl, Helmut [ed.] | ETAPS 2007 (2007 : Braga, Portugal).

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2007Online access: Table of contents only | Publisher description Availability: Items available for loan: [Call number: C LNCS v. 4423] (1).
Concur - 2008 : Concurrency theory : proceedings / [edited by] Franck van Breugel, Marsha Chechik.

by International Conference on Concurrency Theory (19º : 2008 : Toronto, Canada) | Breugel, Franck van, 1966- [ed.] | Chechik, Marsha [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. 5201] (1).
Verification, model checking and abstract interpretation : proceedings / Neil D. Jones, Markus Müller-Olm (eds.).

by VMCAI (10th : 2009 : Savannah, Ga.) | Jones, Neil D [ed.] | Müller-Olm, Markus [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2009Availability: Items available for loan: [Call number: C LNCS v. 5403] (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