CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 363 results. Subscribe to this search

|
Algorithms and computation / edieted by John Staples, Peter Eades, Alistair Moffat.

by ISAAC (Symposium) (6º : 1995 : Cairns, Australia) | Staples, John [ed.] | Eades, Peter [ed.] | Moffat, Alistair [ed.].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 1004 ] (1).
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, 1953- | 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).
The theory and practice of concurrency / A. W. Roscoe.

by Roscoe, A. W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London : Prentice-Hall, 1998Availability: Items available for loan: [Call number: C F1.2 R792 ] (1).
Mathematical theory of domains / Viggo Stoltenberg-Hansen, Ingrid Lindström, Edward R. Griffor.

by Stoltenberg-Hansen, Viggo | Lindström, Ingrid | Griffor, Edward R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1994Availability: Items available for loan: [Call number: C F4.1 S888 ] (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).
Elementary functions : algorithms and implementation / Jean-Michel Muller.

by Muller, Jean-Michel, 1961-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston : Birkhäuser, 1997Availability: Items available for loan: [Call number: C G1.0 M958 ] (1).
Algèbre discrète et codes correcteurs / Odile Papini, Jacques Wolfmann.

by Papini, Odile | Wolfmann, Jacques, 1937-.

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: M 94 P217 ] (1).
Extensions of first order logic / María Manzano.

by Manzano, María.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1996Availability: Items available for loan: [Call number: C F4.1 M296 ] (1).
Operations research : applications and algorithms / Wayne L. Winston.

by Winston, Wayne L.

Edition: 3a. ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Belmont, California : Duxbury, 1994Availability: Items available for loan: [Call number: C G0 W783 ] (1).
User's guide for LINDO and LINGO , Windows versions / Andrew Roe.

by Roe, Andrew.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Belmont, California : Duxbury, 1997Availability: Items available for loan: [Call number: C G0 W783u ] (1).
Finite automata, their algebras and grammars : towards a theory of formal expressions / J. Richard Büchi ; ed. Dirk Siefkes.

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

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 1989Availability: Items available for loan: [Call number: C F1.1 B919 ] (1).
Epistemic logic for AI and computer science / J-J. CH Meyer, Wiebe van der Hoek.

by Meyer, J-J. CH | Hoek, Wiebe van der.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1995Availability: Items available for loan: [Call number: C F4.1 M612 ej.2] (2).
Process algebra / J. C. M. Beaten, W. P. Weijland.

by Baeten, Josephus Cornelis Maria | Weijland, Willem Paul.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1995Availability: No items available Checked out (1).
The clausal theory of types / D. A. Wolfram.

by Wolfram, D. A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1993Availability: Items available for loan: [Call number: C F4.1 W861 ] (1).
Mathematics, machines, and Godel's proof / N. Shankar.

by Shankar, N.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge Iniversity, 1997Availability: Items available for loan: [Call number: C F4.1 S528 ej.2] (2).
Atlas for computing mathematical functions : an illustrated guide for practitioners with programs in C and Mathematica / William Jackson Thompson.

by Thompson, William Jackson, 1939-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Wiley J., 1997Availability: Items available for loan: [Call number: C G.0 T478 ] (2).
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).

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