CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 360 results. Subscribe to this search

|
CONCUR - 1996 : Concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings / ed. Ugo Montanari, Vladimiro Sassone.

by International Conference on Concurrence Theory (7º : 1996 : Pisa, Italy) | Montanari, Ugo [ed.] | Sassone, Vladimiro [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1119 ] (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).
Computer vision, virtual reality and robotics in medicine and medical robotics and computer-assisted surgery - 10 ed. Joselyne Troccaz, Eric Grimson, Ralph Mösges.

by Joint Conference Computer Vision, Virtual Reality and Robotics in Medicine and Medical Robotics and Computer-Assisted Surgery (1º : 1997 : Grenoble, France) | Troccaz, Joselyne [ed.] | Grimson, Eric [ed.] | Mösges, Ralph [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1205 ] (1).
Languages and compilers for parallel computing / ed. Chua-Huang Huang, Ponnuswany Sadayappan.

by LCPC (Workshop) (8º : 1995 : Columbus, Ohio, USA) | Huang, Chua-Huang [ed.] | Sadayappan, Ponnuswany [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1033 ] (1).
A history of computing technology / Michael Roy Williams.

by Williams, Michael Roy, 1942-.

Edition: 2a. ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Washington : IEE Computer Society, 1997Availability: Items available for loan: [Call number: C A0 W725 ] (1).
Computation theory and logic / ed. Egon Börger.

by Börger, Egon, 1946- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1987Availability: Items available for loan: [Call number: C LNCS v. 270 ] (1).
SOFSEM'96 : theory and practice of informatics : 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996 : proceedings / ed. Keith G. Jeffery, Jaroslav Král, Miroslav Bartosek.

by SOFSEM (Conference) (1996 : Milovy, Czech Republic) | Jeffery, Keith G [ed.] | Král, Jaroslav [ed.] | Bartosek, Miroslav, 1957- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1175 ] (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).
Advances in cryptology - ASIACRYPT 1996 / ed. Kwangjo Kim, Tsutomu Matsumoto.

by International Conference on the Theory and Application of Cryptology and Information Security (1996 : Kyongju, Korea) | Kim, Kwangjo [ed.] | Matsumoto, Tsutomu [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1163 ] (1).
Distributed artificial intelligence : architecture and modelling / ed. Chenqi Zhang, Dickson Lukose.

by Australian Workshop on DAI (1 : 1995 : Canberra) | Zhang, Chenqi, 1957- [ed.,] | Lukose, Dickson [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNAI v. 1087 ] (1).
Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules / Wim H. Hesselink.

by Hesselink, Wim Hendrik, 1946-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1992Availability: Items available for loan: [Call number: C F4.1 H587 ] (1).
Free choice Petri nets / Jörg Desel, Javier Esparza.

by Desel, Jörg, 1959- | Esparza, Javier.

Material type: book Book; Literary form: Essays Publisher: Cambridge : Cambridge University, 1995Availability: Items available for loan: [Call number: C F1.1 D451 ] (1).
Logics of time and computation / Robert Goldblatt.

by Goldblatt, Robert, 1949-.

Edition: 2a. ed. rev. and expanded.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Stanford, United States : Center for the Study of Language and Information, 1992Availability: Items available for loan: [Call number: C F4.1 G618 ] (1).
Cornerstones of undecidability / Grzegorz Rozenberg, Arto Salomaa.

by Rozenberg, Grzegorz, 1942- | Salomaa, Arto, 1934-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Prentice-Hall, 1994Availability: Items available for loan: [Call number: C F1.1 R893 ej.2] (2).
Lambda calculi : a guide for computer scientists / Chris Hankin.

by Hankin, Chris, 1954-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Oxford : Oxford university, 1994Availability: Items available for loan: [Call number: C F4.1 H241 ] (1).
Handbook of theoretical computer science / ed. Jan van Leeuwen.

by Leeuwen, Jan van [ed.].

Material type: book Book Publisher: Amsterdam : Elsevier, 1992Availability: Items available for loan: [Call number: C F0 H236 v.A] (2).
Computability, complexity, logic / Egon Börger.

by Börger, Egon, 1946-.

Material type: book Book Publisher: Amsterdam : North-Holland, 1989Availability: Items available for loan: [Call number: C F4.1 B732 ] (1).
Software configuration management : ICSE SCM-4 and SCM-5 workshops : Selected papers / edited Jacky Estublier.

by ICSE SCM-4 and SCM-5 Workshops (1993 : Baltimore) | Estublier, Jacky, 1950- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 1005 ] (1).
Algorithms and computation / edieted by John Staples, Peter Eades, Alistair Moffat.

by ISAAC (Symposium) (6º : 1995 : Cairns, Australia) | Staples, John [ed.] | Eades, Peter [ed.] | Moffat, Alistair [ed.].

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