CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 18 results. Subscribe to this search

|
Representación semántica de lenguaje natural en el dominio de fórmulas lógicas / Diego Piloni.

by Piloni, Diego Ricardo, 1994- | Pagano, Miguel María, 1979- [dir.] | Vilela, Demetrio Martín, 1969- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2018Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2018. Online access: Acceso a RDU-UNC Availability: Items available for loan: [Call number: TE C PIL] (1).
Optimization of automata for natural language dependecy parsing / Martín Ariel Domínguez.

by Domínguez, Martín Ariel, 1975- | Infante-Lopez, Gabriel Gastón, 1975- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2012Dissertation note: Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2012. Online access: Acceso a Versión Digital Availability: Items available for loan: [Call number: T C DOM] (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).
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).
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 Book Publisher: Berlin : Springer, 1993Availability: Items available for loan: [Call number: C LNCS v. 656 ] (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).
Computing and combinatorics / ed. Jin-Yi Cai, Chak Kuen Wong.

by International Computing and Combinatorics Conference (COCOON) (2 : 1996 : Hong Kong) | Cai, Jin-Yi, 1961- [ed.,] | Wong, Chak Kuen, 1938- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1090 ] (1).
Compiler construction : 7th International Conference, CC '98, held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings / ed. Kai Koskimies.

by CC (Conference) (7º : 1998 : Lisboa, Portugal) | Koskimies, Kai [ed.].

Material type: book Book Publisher: Berlin : Springer, 1998Availability: Items available for loan: [Call number: C LNCS v. 1383 ej.2] (2).
Automatic ambiguity resolution in natural language processing : an empirical approach / Alexander Franz.

by Franz, Alexander, 1966-.

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNAI v. 1171 ] (1).
Computing and combinatorics / ed. Tao Jiang, D. T. Lee.

by COCOON (Conference) (3º : 1997 : Shangai, China) | Jiang, Tao, 1963- [ed.,] | Lee, Der-Tsai [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1276 ] (1).
New trends in formal languages : control, cooperation and combinatorics / ed. Gheorghe Paun, Arto Salomaa.

by Paun, Gheorghe, 1950- [ed.,] | Salomaa, Arto, 1934- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1218 ] (1).
Building tightly integrated software development environments : the IPSEN approach / ed. Manfred Nagl.

by Nagl, Manfred, 1944- [ed.,].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1170 ] (1).
Grammatical inference : learning syntax from sentences : Third International Colloquium, ICGI-96, Montpellier, France, September 25-27, 1996 : proceedings ed. Laurent Miclet, Colin De la Higuera.

by International Colloquium on Grammatical Inference (3º : 1996 : Montpellier, France) | Miclet, Laurent [ed.] | De la Higuera, Colin [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNAI v. 1147 ] (1).
Static analysis / edited by Radhia Cousot, David A. Schmidt.

by International Static Analysis Symposium (3º : 1996 : Aachen, Germany) | Cousot, Radhia [ed.] | Schmidt, David A, 1953- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1145 ] (1).
Programming languages : implementations, logics and programs : 8th international symposium, PLILP ’96, Aachen, Germany, September 24-27, 1996 : proceedings / ed. Herbert Kuchen, S. Doaitse Swierstra.

by PLILP ’96 (8º : 1996 : Aachen, Germany) | Kuchen, Herbert, 1958- [ed.] | Swierstra, S. Doaitse [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1140 ] (1).
The data parallel programming model : foundations, HPF realization and scientific applications / edited by Guy-René Perrin, alain Darte.

by Perrin, Guy-René [ed.] | Darte, Alain [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1132 ] (1).
Term indexing / Peter Graf.

by Graf, Peter, 1966-.

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNAI v. 1053 ] (1).
Automated deduction, CADE- 13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings / ed. Michael A. McRobbie, John K. Slaney.

by International Conference on Automated Deduction (13º : 1996 : New Brunswick, New Jersey, USA) | McRobbie, Michael A [ed.] | Slaney, John K [ed.].

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