Refinar su búsqueda

Su búsqueda retornó 395 resultados.

Ordenar
Resultados
181.
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 .
182.
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 .
183.
184.
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 .
185.
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 .
186.
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 .
187.
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 .
188.
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, ...
189.
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 .
190.
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 .
191.
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 .
192.
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 .
193.
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 .
194.
User's guide for LINDO and LINGO , Windows versions / Andrew Roe. por
Detalles de publicación: Belmont, California : Duxbury, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C G0 W783u .
195.
Finite automata, their algebras and grammars : towards a theory of formal expressions / J. Richard Büchi ; ed. Dirk Siefkes. por
Detalles de publicación: New York : Springer, 1989
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F1.1 B919 .
196.
Epistemic logic for AI and computer science / J-J. CH Meyer, Wiebe van der Hoek. por Series Cambridge tracts in theoretical computer science ; 41
Detalles de publicación: Cambridge, UK : Cambridge University, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C F4.1 M612 ej.2, ...
197.
Process algebra / J. C. M. Beaten, W. P. Weijland. por Series Cambridge tracts in theoretical computer science ; 18
Detalles de publicación: Cambridge, UK : Cambridge University, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F1.2 B142.
198.
The clausal theory of types / D. A. Wolfram. por Series Cambridge tracts in theoretical computer science ; 21
Detalles de publicación: Cambridge, UK : Cambridge University, 1993
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 W861 .
199.
Mathematics, machines, and Godel's proof / N. Shankar. por Series Cambridge tracts in theoretical computer science ; 38
Detalles de publicación: Cambridge, UK : Cambridge Iniversity, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C F4.1 S528 ej.2, ...
200.
Atlas for computing mathematical functions : an illustrated guide for practitioners with programs in C and Mathematica / William Jackson Thompson. por
Detalles de publicación: New York : Wiley J., 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C G.0 T478 , ...
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)