CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 158 results. Subscribe to this search

|
Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings / ed. Didier Galmiche.

by TABLEAUX '97 (1997 : Pont-á-Mousson, France) | Galmiche, Didier, 1958- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNAI v. 1227 ] (1).
Automated deduction in equational logic and cubic curves / William McCune, Ranganathan Padmanabhan.

by McCune, William | Padmanabhan, Ranganathan, 1938-.

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNAI v. 1095 ] (1).
Non-monotonic extensions of logic programming / ed. Jürgen Dix, Luis Moniz Pereira, Teodor C. Przymusinski.

by NMELP ’96 (2º : 1996 : Bad Honnef, Germany) | Dix, Jürgen, 1961- [ed.,] | Moniz Pereira, Luis [ed.] | Przymusinski, Teodor C, 1947- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNAI v. 1216 ] (1).
Fast software encryption : Proceedings... / ed. Eli Biham.

by FSE (Workshop) (4º : 1997 : Haifa, Israel) | Biham, Eli [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1267 ej.2] (2).
Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem / Patrice Godefroid.

by Godefroid, Patrice.

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1032 ] (1).
Input/Output intensive massively parallel computing : language support, automatic parallelization, advanced optimization, and runtime systems.

by Brezany, Peter, 1948-.

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1220 ] (1).
Solving combinatorial optimization problems in parallel : methods and techniques / ed. Alfonso Ferreira, Panos Pardalos.

by Ferreira, Alfonso [ed.] | Pardalos, Panos, 1954- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1054 ] (1).
Managing information highways : the PRISM book : principles, methods and case studies for designing telecomunications management systems / ed. Kim Berquist, Andrew Berquist.

by Berquist, Kim [ed.] | Berquist, Andrew [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1164 ] (1).
Semantics of algorithmic languages / ed. Erwin Engeler.

by Symposium on Semantics of Algorithmic Languages | Engeler, Erwin, 1930- [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 1971Availability: Items available for loan: [Call number: M LNM v. 188 ] (1).
Zufälligkeit und wahrscheinlichkeit : eine algorithmische begründung der wahrscheinlichkeitstheorie / Claus Peter Schnor.

by Schnorr, Claus Peter, 1982-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 1971Availability: Items available for loan: [Call number: M LNM v. 218 ] (1).
The monadic second order theory of all countable ordinals / J. Richard Büchi, Dirk Siefkes.

by Büchi, Julius Richard, 1924-1984 | Siefkes, Dirk.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 1973Availability: Items available for loan: [Call number: M LNM v. 328 ] (1).
Combinatorial mathematics / proceedings of the third Australian conference held at the University of Queensland, 16-18 May, 1974 / ed. Anne Penfold Street, Walter Denis Wallis.

by Australian Conference on Combinatorial Mathematics (3rd : 1974 : University of Queensland) | Street, Anne Penfold, 1932- [ed.] | Wallis, Walter Denis, 1941- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1975Availability: Items available for loan: [Call number: M LNM v. 452 ] (1).
Logic conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / ed. Gert H. Müller, Arnold Oberschelp, Klaus Potthoff.

by International Summer Institute and Logic Colloquium (1974 : Kiel) | Müller, Gert Heinz, 1923- [ed.] | Oberschelp, Arnold, 1932- [ed.] | Potthoff, Klaus [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 1975Availability: Items available for loan: [Call number: M LNM v. 499 ] (1).
Combinatoire et représentation du groupe symétrique / ed. Dominique Foata.

by Table ronde du C.N.R.S (1976 : Strasbourg) | Foata, Dominique, 1934- [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 1977Availability: Items available for loan: [Call number: M LNM v. 579 ] (1).
Combinatorial mathematics / ed. D. A. Holton, Jennifer Seberry.

by International Conference on Combinatorial Theory (1977 : Camberra) | Holton, D. A [ed.] | Seberry, Jennifer [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 1978Availability: Items available for loan: [Call number: M LNM v. 686 ] (1).
Algèbres de Lie libres et monoïdes libres : bases des algèbres de Lie libres et factorisations des monoïdes libres.

by Viennot, Gérard.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 1978Availability: Items available for loan: [Call number: M LNM v. 691 ] (1).
The computational complexity of logical theories / Jeanne Ferrante, Charles W. Rackoff.

by Ferrante, Jeanne, 1949- | Rackoff, Charles W, 1948-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 1979Availability: Items available for loan: [Call number: M LNM v. 718 ] (1).
Combinatorial mathematics : proceedings of the Seventh Australian Conference on Combinatorial Mathematics held at the University of Newcastle, Australia, August 20-24, 1979 / ed. Robert W. Robinson, George W. Southern, Walter Denis Wallis.

by Australian Conference on Combinatorial Mathematics (7th : 1979 : Newcastle) | Robinson, Robert William, 1941- [ed.] | Southern, George William, 1933- [ed.] | Wallis, Walter Denis, 1941- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1980Availability: Items available for loan: [Call number: M LNM v. 829 ] (1).
Combinatorial mathematics : proceedings of the Eighth Australian Conference on Combinatorial Mathematics held at Deakin University, Geelong, Australia, August 25-29, 1980 / ed. Kevin L. McAvaney.

by Australian Conference on Combinatorial Mathematics (8th : 1980 : Geelong, Australiam) | McAvaney, Kevin Lawrence, 1946- [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 1981Availability: Items available for loan: [Call number: M LNM v. 884 ] (1).
Combinatorics and graph theory / ed. Siddani Bhaskara Rao.

by Symposium on Combinatorics and Graph Theory (1980 : Calcutta) | Rao, Siddani Bhaskara, 1945- [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 1981Availability: Items available for loan: [Call number: M LNM v. 885 ] (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