Su búsqueda retornó 72 resultados.

Ordenar
Resultados
21.
Multiagent systems : algorithmic, game-theoretic and logical foundations / Yoav Shoham, Kevin Leyton-Brown. por
Detalles de publicación: Cambridge ; New York : Cambridge University, 2009
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C C2.4 S559.
22.
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan. por
Edición: 2nd ed.
Detalles de publicación: Cambridge ; New York : Cambridge University, 2009
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C F4 H979, ...
23.
Process algebra : equational theories of communicating processes / J.C.M. Baeten, Twan Basten, Michel Adriaan Reniers. por Series Cambridge tracts in theoretical computer science ; 50
Detalles de publicación: Cambridge ; New York : Cambridge University, 2010
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D1.3 B142.
24.
Algorithms on strings, trees and sequences : computer science and computational biology / Dan Gusfield. por
Detalles de publicación: Cambridge ; New York : Cambridge University, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F2.2 G982.
25.
The principles of computer networking / D. Russell. por Series Cambridge computer science texts ; 25
Detalles de publicación: Cambridge : Cambridge University, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C C2 R962 .
26.
Introduction to lattices and order / Brian A. Davey, Hilary A. Priestley. por Series Cambridge mathematical textbooks
Detalles de publicación: Cambridge, UK : Cambridge University, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C G2 D248 ej.2, ...
27.
Understanding Z : a specification language and its formal semantics / J. Michael Spivey. por Series Cambridge tracts in theoretical computer science ; 3
Detalles de publicación: Cambridge : Cambridge University, 1992
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D3 S761 .
28.
Formal specification and design / L. M. G. Feijs, H. B. M. Jonkers. por Series Cambridge tracts in theoretical computer science ; 35
Detalles de publicación: Cambridge : Cambridge University, 1992
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3.1 F297 .
29.
Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules / Wim H. Hesselink. por Series Cambridge tracts in theoretical computer science ; 27
Detalles de publicación: Cambridge : Cambridge University, 1992
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 H587 .
30.
Higher order logic and hardware verification / Thomas Melham. por Series Cambridge tracts in theoretical computer science ; 31
Detalles de publicación: Cambridge : Cambridge University, 1993
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C B6.1 M521 .
31.
Formal methods in circuit design / V. Stavridou. por Series Cambridge tracts in theoretical computer science ; 37
Detalles de publicación: Cambridge : Cambridge University, 1993
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C B6.3 S798 .
32.
Free choice Petri nets / Jörg Desel, Javier Esparza. por Series Cambridge tracts in theoretical computer science ; 40
Detalles de publicación: Cambridge : Cambridge University, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F1.1 D451 .
33.
Algorithmic information theory / por Series Cambridge tracts in theoretical computer science ; 1
Detalles de publicación: Cambridge : Cambridge University, 1992
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C H1.1 CH435 .
34.
Two-level functional languages / Flemming Nielson, Hanne Riis Nielson. por Series Cambridge tracts in theoretical computer science ; 34
Detalles de publicación: Cambridge : Cambridge University, 1992
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D3.2 N669 .
35.
Algebraic specification of communication protocols / edited by S. Mauw, G. J. Veltink. por Series Cambridge tracts in theoretical computer science ; 36
Detalles de publicación: Cambridge : Cambridge University, 1993
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3.1 A394 .
36.
The logic of typed feature structures : with applications to unification grammars, logic programs and constraint resolution / Bob Carpenter. por Series Cambridge tracts in theoretical computer science ; 32
Detalles de publicación: Cambridge : Cambridge University, 1992
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C E1 C295 .
37.
Mathematical theory of domains / Viggo Stoltenberg-Hansen, Ingrid Lindström, Edward R. Griffor. por Series Cambridge tracts in theoretical computer science ; 22
Detalles de publicación: Cambridge : Cambridge University, 1994
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 S888 .
38.
Extensions of first order logic / María Manzano. por Series Cambridge tracts in theoretical computer science ; 19
Detalles de publicación: Cambridge : Cambridge University, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 M296 .
39.
Functional programming and input/output. por Series Distinguished dissertations in computer science
Detalles de publicación: Cambridge : Cambridge University, 1994
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D1.1 G662 .
40.
The uncertain reasoner's companion : a mathematical perspective / Jeff B. Paris. por
Detalles de publicación: Cambridge : Cambridge University, 1994
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C I2 P232 .
Páginas


Nuestras Redes Sociales

facebook Instagram

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:30hs

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 (Dirección)

publicofamaf@gmail.com (Atención al público)