CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 158 results. Subscribe to this search

|
Correct hardware design and verification methods : IFIP WG10.5 advanced research working conference, CHARME ̕95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings / ed. Paolo E. Camurati, Hans Eveking.

by Advanced Research Working Conference on Correct Hardware Design Methodologies (1995 : Frankfurt/Main, Germany) | Camurati, Paolo E [ed.] | Eveking, Hans [ed.].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 987 ] (1).
Evolutionary computing : AISB Workshop, Brighton, U.K., April 3-4, 1995 : selected papers / ed. Terence C. Fogarty.

by AISB Workshop (2nd : (April 1995, 3-4 : Sheffield, U.K.) | Fogarty, Terence C [ed.].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 993 ] (1).
Advances in cryptology - CRYPTO 1995 : 15th Annual International Cryptology Conference, Santa Barbara, California, USA, August 27-31, 1995 : proceedings / ed. Don Coppersmith.

by CRYPTO (Conference) (15 : 1995 : Santa Barbara, California) | Coppersmith, Don [ed.] | International Association for Cryptologic Research | IEEE Computer Society. Technical Committee on Security and Privacy.

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 963 ] (1).
Computer science today : recent trends and developments / edited by Jan van Leeuwen.

by Leeuwen, Jan van [ed.].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 1000 ] (1).
First-order in dynamic logic / David Harel.

by Harel, David, 1950-.

Material type: book Book Publisher: Berlin : Springer, 1979Availability: Items available for loan: [Call number: C LNCS v. 68 ] (1).
Realization spaces of polytopes / Jürgen Richter-Gebert.

by Richter-Gebert, Jürgen, 1963-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: M LNM v. 1643 ] (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).
CONCUR - 1994 : Concurrency theory / ed. Bengt Jonsson, Joachim Parrow.

by International Conference on Concurrency Theory (5º : 1994 : Uppsala, Sweden) | Jonsson, Bengt [ed.] | Parrow, Joachim [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 1994Availability: Items available for loan: [Call number: C LNCS v. 836 ] (1).
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 International Workshop, LCPC (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).
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 (1st : 1995 : Canberra, A.C.T.) | 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).
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