CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 11 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).
Symbolic and algebraic computation / ed. Patrizia Gianni.

by International Symposium on Symbolic and Algebraic Computation (13º : 1988 : Roma) | Gianni, Patrizia, 1952- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1989Availability: Items available for loan: [Call number: C LNCS v. 358 ] (1).
Graph grammars and their application to computer science / ed. Janice Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg.

by International Workshop on Graph Grammars and Their Application to computer science ( 5 : 1994 : Williamsburg, VA, USA) | Cuny, Janice [ed.] | Ehrig, Hartmut, 1944- [ed.] | Engels, Gregor [ed.] | Rozenberg, Grzegorz [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1073] (1).
ZUM '95... the Z formal specification notation : Proceedings / ed. Jonathan P. Bowen, Michael G. Hinchey.

by International Conference of Z Users (9º : 1995 : Limerick, Ireland) | Bowen, Jonathan Peter, 1956- [ed.] | Hinchey, Michael G [ed.].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 967 ] (1).
Integrating symbolic mathematical computation and artificial intelligence : Selected papers / ed. Jacques Calmet, John A. Campbell.

by AISMC (Conference) (2º : Cambridge, United Kingdom) 1994 | Calmet, Jacques, 1940- [ed.,] | Campbell, John A [ed.].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 958 ] (1).
Rewriting techniques and applications / edited by Hubert Comon.

by International Conference on Rewriting Techniques and Applications (8º : 1997 : Sitges, Spain) | Comon, Hubert [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1232 ] (1).
Perspectives of system informatics / edited by Dines Bjorner, Manfred Broy, Igor V. Pottosin.

by International Andrei Ershov Memorial Conference (2 : 1996 : Akademgorodok, Novosibirsk, Russia) | Bjorner, Dines, 1937- [ed.,] | Broy, Manfred, 1949 [ed.,] | Pottosin, Igor V [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1181 ] (1).
Artificial intelligence and symbolic mathematical computation / ed. Jacques Calmet, John A. Campbell, Jochen Pfalzgraf.

by AISMC (Conference) (3º : 1996 : Steyr, Austria) | Calmet, Jacques [ed.] | Campbell, John A, 1940- [ed.,] | Pfalzgraf, Jochen [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1138 ] (1).
Design and implementation of symbolic computation systems / ed. Jacques Calmet, Carla Limongelli.

by International Symposium DISCO '96 (4º : 1996 : Karlsruhe, Germany) | Calmet, Jacques [ed.] | Limongelli, Carla [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1128 ] (1).
Algorithmic number theory : second internati[o]nal symposium, ANTS-II, Talence, France, May 18-23, 1996 : proceedings / ed. Henri Cohen.

by Cohen, Henri, 1947- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1122] (1).
Rewriting techniques and applications / edited by Harald Ganzinger.

by International Conference on Rewriting Techniques and Applications (7º : 1996 : New Brunswick, New Jersey, USA) | Ganzinger, Harald, 1950- [ed.].

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