CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 73 results. Subscribe to this search

|
The uncertain reasoner's companion : a mathematical perspective / Jeff B. Paris.

by Paris, Jeff B.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1994Availability: Items available for loan: [Call number: C I2 P232 ] (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: Items available for loan: [Call number: C F1.2 B142] (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).
Formal semantics and pragmatics for natural language querying / James Clifford.

by Clifford, James, 1945-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1990Availability: Items available for loan: [Call number: C I2.7 C637 ] (1).
Action semantics / Peter D. Mosses.

by Mosses, Peter D.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1992Availability: Items available for loan: [Call number: C F3.2 M913 ] (1).
Predicate transformer semantics / Ernest G. Manes.

by Manes, Ernest G, 1943-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1992Availability: Items available for loan: [Call number: C F3.2 M274 ] (1).
Topology via logic / Steven Vickers.

by Vickers, Steven.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1996Availability: Items available for loan: [Call number: C F4 V637 ] (1).
Computational learning theory : an introduction / Martin Anthony, Norman L. Biggs.

by Anthony, Martin, 1941- | Biggs, Norman Linstead, 1941-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1997Availability: Items available for loan: [Call number: C I2.6 A628 ] (1).
ML for the working programmer / Lawrence C. Paulson.

by Paulson, Lawrence C.

Edition: 2a. ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1998Availability: Items available for loan: [Call number: C D3 P332 ] (1).
Formal methods in artificial intelligence / Allan Ramsay.

by Ramsay, Allan, 1953-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1991Availability: Items available for loan: [Call number: C F4 R178 ] (1).
Mathematics for computer graphics / S.G. Hoggar.

by Hoggar, Stuart G.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1994Availability: Items available for loan: [Call number: C G0 H145 ] (1).
Basic simple type theory / J. Roger Hindley.

by Hindley, James Roger, 1939-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1997Availability: Items available for loan: [Call number: C F4 H662 ] (1).
Deduction and declarative programming /

by Padawitz, Peter, 1953-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1992Availability: Items available for loan: [Call number: C F3 P123 ] (1).
Information flow : the logic of distributed systems / Jon Barwise, Jerry Seligman.

by Barwise, Jon, 1942-2000 | Seligman, Jerry, 1964-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1997Availability: Items available for loan: [Call number: C H2.4 B296 ] (1).
Modelling financial derivatives with MATHEMATICA : mathematical models and Benchmark algorithms.

by Shaw, William T.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1999Availability: Items available for loan: [Call number: C J1 S537 ] (2).
An introduction to functional programming systems using HASKELL / Antony J.T. Davie.

by Davie, Antony J. T, 1939-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1999Availability: Items available for loan: [Call number: C D1.1 D254 ] (1).
Communicating and mobile systems : the Pi-Calculus / Robin Milner.

by Milner, Robin, 1934-2010.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 2001Availability: Items available for loan: [Call number: C H2.4 M659c ] (1).
Randomized algorithms / Rajeev Motwani, Prabhakar Raghavan.

by Motwani, Rajeev | Raghavan, Prabhakar.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 2000Availability: Items available for loan: [Call number: C G3 M922 ej.2] (2).
Algebraic combinatorics on words / M. Lothaire.

by Lothaire, M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 2002Availability: Items available for loan: [Call number: C G2.1 L882 ] (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