Refinar su búsqueda

Su búsqueda retornó 329 resultados.

Ordenar
Resultados
141.
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 .
142.
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 .
143.
Logics of time and computation / Robert Goldblatt. por Series CSLI lecture notes ; no. 7
Edición: 2a. ed. rev. and expanded.
Detalles de publicación: Stanford, United States : Center for the Study of Language and Information, 1992
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 G618 .
144.
Cornerstones of undecidability / Grzegorz Rozenberg, Arto Salomaa. por Series Prentice-Hall international series in computer science
Detalles de publicación: New York : Prentice-Hall, 1994
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C F1.1 R893 ej.2, ...
145.
Lambda calculi : a guide for computer scientists / Chris Hankin. por Series Graduate texts in computer science ; v. 3
Detalles de publicación: Oxford : Oxford university, 1994
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 H241 .
146.
Handbook of theoretical computer science / ed. Jan van Leeuwen. por
Detalles de publicación: Amsterdam : Elsevier, 1992
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C F0 H236 v.A, ...
147.
Computability, complexity, logic / Egon Börger. por Series Studies in logic and the foundations of mathematics ; v. 128
Detalles de publicación: Amsterdam : North-Holland, 1989
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 B732 .
148.
Software configuration management : ICSE SCM-4 and SCM-5 workshops : Selected papers / edited Jacky Estublier. por Series Lecture notes in computer science ; v. 1005 | LNCS ; v. 1005
Detalles de publicación: Berlin : Springer, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1005 .
149.
Algorithms and computation / edieted by John Staples, Peter Eades, Alistair Moffat. por Series Lecture notes in computer science ; v. 1004 | LNCS ; v. 1004
Detalles de publicación: Berlin : Springer, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1004 .
150.
151.
Automated deduction in equational logic and cubic curves / William McCune, Ranganathan Padmanabhan. por Series Lecture notes in computer science ; v. 1095 | Lecture notes in computer science. Lecture notes in artificial intelligence
Detalles de publicación: Berlin : Springer, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNAI v. 1095 .
152.
Non-monotonic extensions of logic programming / ed. Jürgen Dix, Luis Moniz Pereira, Teodor C. Przymusinski. por Series Lecture notes in computer science ; v. 1216 | Lecture notes in computer science. Lecture notes in artificial intelligence
Detalles de publicación: Berlin : Springer, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNAI v. 1216 .
153.
The theory and practice of concurrency / A. W. Roscoe. por Series Prentice-Hall series in computer science
Detalles de publicación: London : Prentice-Hall, 1998
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F1.2 R792 .
154.
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 .
155.
Fast software encryption : Proceedings... / ed. Eli Biham. por Series Lecture notes in computer science ; v. 1267 | LNCS ; v. 1267
Detalles de publicación: Berlin : Springer, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C LNCS v. 1267 ej.2, ...
156.
Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem / Patrice Godefroid. por Series Lecture notes in computer science ; LNCS ; v. 1032
Detalles de publicación: Berlin : Springer, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1032 .
157.
Elementary functions : algorithms and implementation / Jean-Michel Muller. por
Detalles de publicación: Boston : Birkhäuser, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C G1.0 M958 .
158.
Algèbre discrète et codes correcteurs / Odile Papini, Jacques Wolfmann. por Series Mathematics and applications ; v. 20
Detalles de publicación: Berlin : Springer, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 94 P217 .
159.
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 .
160.
Operations research : applications and algorithms / Wayne L. Winston. por
Edición: 3a. ed.
Detalles de publicación: Belmont, California : Duxbury, 1994
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C G0 W783 .
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)