CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 73 results. Subscribe to this search

|
The B-book : assigning programs to meanings / Jean-Raymond Abrial.

by Abrial, Jean-Raymond, 1938-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 1996Online access: Publisher description | Table of contents Availability: Items available for loan: [Call number: C F3 A163] (1).
Multiagent systems : algorithmic, game-theoretic and logical foundations / Yoav Shoham, Kevin Leyton-Brown.

by Shoham, Yoav | Leyton-Brown, Kevin, 1975-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2009Online access: Contributor biographical information | Publisher description | Table of contents only Availability: Items available for loan: [Call number: C C2.4 S559] (1).
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.

by Huth, Michael, 1962- | Ryan, Mark Dermot, 1962-.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2009Online access: Table of contents | Publisher description Availability: Items available for loan: [Call number: C F4 H979 ej.2] (2).
Process algebra : equational theories of communicating processes / J.C.M. Baeten, Twan Basten, Michel Adriaan Reniers.

by Baeten, Josephus Cornelis Maria | Basten, Twan, 1969- | Reniers, Michel Adriaan, 1970-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2010Availability: Items available for loan: [Call number: C D1.3 B142] (1).
Algorithms on strings, trees and sequences : computer science and computational biology / Dan Gusfield.

by Gusfield, Dan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 1997Online access: Table of contents | Publisher description Availability: Items available for loan: [Call number: C F2.2 G982] (1).
The principles of computer networking / D. Russell.

by Russel, D.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1997Availability: Items available for loan: [Call number: C C2 R962 ] (1).
Introduction to lattices and order / Brian A. Davey, Hilary A. Priestley.

by Davey, Brian A, 1948- | Priestley, Hilary A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1997Availability: Items available for loan: [Call number: C G2 D248 ej.2] (2).
Understanding Z : a specification language and its formal semantics / J. Michael Spivey.

by Spivey, J. Michael.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1992Availability: Items available for loan: [Call number: C D3 S761 ] (1).
Formal specification and design / L. M. G. Feijs, H. B. M. Jonkers.

by Feijs, Loe M. G, 1954- | Jonkers, H. B. M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1992Availability: Items available for loan: [Call number: C F3.1 F297 ] (1).
Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules / Wim H. Hesselink.

by Hesselink, Wim Hendrik, 1946-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1992Availability: Items available for loan: [Call number: C F4.1 H587 ] (1).
Higher order logic and hardware verification / Thomas Melham.

by Melham, Thomas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1993Availability: Items available for loan: [Call number: C B6.1 M521 ] (1).
Formal methods in circuit design / V. Stavridou.

by Stavridou, V. (Victoria).

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1993Availability: Items available for loan: [Call number: C B6.3 S798 ] (1).
Free choice Petri nets / Jörg Desel, Javier Esparza.

by Desel, Jörg, 1959- | Esparza, Javier.

Material type: book Book; Literary form: Essays Publisher: Cambridge : Cambridge University, 1995Availability: Items available for loan: [Call number: C F1.1 D451 ] (1).
Algorithmic information theory /

by Chaitin, Gregory J, 1947-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1992Availability: Items available for loan: [Call number: C H1.1 CH435 ] (1).
Two-level functional languages / Flemming Nielson, Hanne Riis Nielson.

by Nielson, Flemming, 1955- | Nielson, Hanne Riis, 1954-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1992Availability: Items available for loan: [Call number: C D3.2 N669 ] (1).
Algebraic specification of communication protocols / edited by S. Mauw, G. J. Veltink.

by Mauw, S [ed.] | Veltink, G. J [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1993Availability: Items available for loan: [Call number: C F3.1 A394 ] (1).
The logic of typed feature structures : with applications to unification grammars, logic programs and constraint resolution / Bob Carpenter.

by Carpenter, Bob.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1992Availability: Items available for loan: [Call number: C E1 C295 ] (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).
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).
Functional programming and input/output.

by Gordon, Andrew D, 1964-.

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