CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 42 results. Subscribe to this search

|
Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings / Luke Ong, Ruy de Queiroz, editors.

by Ong, Luke [ed.] | Queiroz, Ruy de [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 2012Availability: Items available for loan: [Call number: C LNCS v. 7456] (1).
Escalabilidad del Modelo de Potts en entornos distribuidos con OpenMP y MPI / Javier Nicolás Uranga.

by Uranga, Javier Nicolás | Wolovick, Nicolás, 1974- [dir.] | Blanco, Javier Oscar, 1968- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2012Dissertation note: Tesis (Especialista en Servicios y Sistemas Distribuidos)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2012. Online access: Acceso a Versión Digital Availability: Items available for loan: [Call number: TI SSD URA] (1).
Decision procedures : an algorithmic point of view / Daniel Kroening, Ofer Strichman ; foreword by Randal E. Bryant.

by Kroening, Daniel | Strichman, Ofer.

Material type: book Book; Format: print Publisher: Berlin : Springer, 2010Availability: Items available for loan: [Call number: C F4.1 K93] (1).
Word equations and related topics / ed. Klaus Ulrich Schulz.

by International Workshop on Word Equations and Related Topics (1º : 1990 : Tübingen, Germany) | Schulz, Klaus Ulrich, 1957- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1992Availability: Items available for loan: [Call number: C LNCS v. 572 ] (1).
How debuggers work : algorithms, data structures and architecture/ Jonathan B. Rosenberg.

by Rosenberg, Jonathan B, 1956-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Wiley J., 1996Availability: Items available for loan: [Call number: C E1 R813 ] (1).
Algorithms - ESA '94 / ed. Jan van Leeuwen.

by ESA (Symposium) (2º : 1994 : Utrecht, The Netherlands) | Leeuwen, Jan van [ed.].

Material type: book Book Publisher: Berlin : Springer, 1994Availability: Items available for loan: [Call number: C LNCS v. 855 ] (1).
Algorithms and data structures / ed. Frank Dehne, Andrew Rau-Chaplin.

by WADS ’97 (5º : 1997 : Halifax, Canada) | Dehne, Frank, 1960- [ed.,] | Rau-Chaplin, Andrew [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1272 ] (1).
Euro-Par '96 parallel processing : second International Euro-Par Conference, Lyon, France, August 26-29, 1996 : proceedings / ed. Luc Bougé, Pierre Fraigniaud.

by International EURO-PAR Conference (2º : 1996 : Lyon, France) | Bougé, Luc [ed.] | Fraigniaud, Pierre [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1124 pte. II] (3).
Trees in algebra and programming - CAAP'96 : 21st international colloquium, Linköping, Sweden, April 22-24, 1996 : proceedings / ed. Hélène Kirchner.

by Kirchner, Hélène [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1059 ] (1).
Automata, languages and programming / ed. Zoltán Fülöp, Ferenc Gécseg.

by International Colloquium on Automata, Languages and Programming (22º : 1995 : Szeged, Hungary) | Fülöp, Zoltán, 1955- [ed.] | Gécseg, Ferenc [ed.].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 944 ] (1).
Specification of abstract data types / Jacques Loeckx, Hans-Dieter Ehrich, Markus Wolf.

by Loeckx, Jacques, 1931- | Ehrich, Hans-Dieter | Wolf, Markus.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Chichester : Wiley J., 1996Availability: Items available for loan: [Call number: C D2 L825 ] (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).
Abstract data types in standard ML / Rachel Harrison.

by Harrison, Rachel.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Chichester : Wiley J., 1993Availability: Items available for loan: [Call number: C E1 H315 ] (1).
Data structures and algorithm analysis Mark Allen Weiss.

by Weiss, Mark Allen.

Edition: 2a. ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Redwood City, California : Benjamin/Cummings, 1995Availability: Items available for loan: [Call number: C E1 W431 ] (1).
Data structures and algorithms : an object-oriented approach using Ada 95 /

by Beidler, John, 1941-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 1997Availability: Items available for loan: [Call number: C F2.2 B422 ] (1).
On-line algorithms : proceedings of a DIMACS workshop, February 11-13, 1991 / ed. Lyle A. McGeoch, Daniel Dominic Sleator.

by McGeoch, Lyle A, 1959- [ed.,] | Sleator, Daniel Dominic, 1953- [ed.,].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Providence : American Mathematical Society, 1992Availability: Items available for loan: [Call number: AMS DIMACS v. 7 ] (1).
Algorithmic foundations of geographic information systems / ed. Marc van Kreveld, Jürg Nievergelt, Thomas Roos, Peter Widmayer.

by Kreveld, Marc van [ed.] | Nievergelt, Jürg [ed.] | Roos, Thomas [ed.] | Widmayer, Peter [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1340 ] (1).
Algorithms and complexity / ed. Giancarlo Bongiovanni, Daniel Pierre Bovet, Giuseppe Battista.

by Italian Conference on Algorithms and Complexity (3º : 1997 : Rome, Italy) | Bongiovanni, Giancarlo [ed.] | Bovet, Daniel Pierre, 1939- [ed.] | Di Battista, Giuseppe [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1203 ] (1).
Graph-theoretic concepts in computer science / ed. Fabrizio D'Amore, Paolo G. Franciosa, Alberto Marchetti-Spaccamela.

by International Workshop WG (22º : 1996 : Cadenabbia, Italy) | D'Amore, Fabrizio [ed.] | Franciosa, Paolo G [ed.] | Marchetti-Spaccamela, Alberto [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1197 ] (1).
Database issues for data visualization / ed. Andreas Wierse, Georges G. Grinstein, Ulrich Lang.

by IEEE Visualization '95 Workshop (1995 : Atlanta, Georgia) | Wierse, Andreas [ed.] | Grinstein, Georges G [ed.] | Lang, Ulrich [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1183 ] (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