CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 158 results. Subscribe to this search

|
Logics in artificial intelligence : European Workshop, JELIA ’96, Évora, Portugal, September 30-October 3, 1996, proceedings / ed. José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska.

by European Workshop JELIA ’96 (1996 : Evora, Portugal) | Alferes, José Júlio, 1966- [ed.] | Moniz Pereira, Luís, 1947- [ed.] | Orlowska, Ewa [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNAI v. 1126 ] (1).
Principles and practice of constraint programming, CP96 / ed. Eugene Freuder.

by CP (Conference) (2º : 1996 : Cambridge, MA) | Freuder, Eugene [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1118] (1).
Mathematical foundations of computer science / edited by Wojciech Penczek, Andrzej Szatas.

by International Symposium on Mathematical Foundations of Computer Science, MFCS (21 : 1996 : Cracow, Poland) | Penczek, Wojciech [ed.] | Szatas, Andrzej, 1958- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1113 ] (1).
Combinatorics and computer science : 8th Franco-Japanese and 4th Franco-Chinese conference, Brest, France, July 3-5, 1995 : selected papers / ed. Michel Deza, Reinhardt Euler, Ioannis Manoussakis.

by Deza, Michel, 1934- [ed.,] | Euler, Reinhardt, 1950- [ed.,] | Manoussakis, Ioannis, 1957- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1120 ] (1).
STACS 96 : 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996 : proceedings / ed. Claude Puech, Rüdiger Reischuk.

by Symposium on Theoretical Aspects of Computer Science (13th : 1996 : Grenoble, France) | Puech, Claude [ed.] | Reischuk, Rüdiger [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1046 ] (1).
Recent developments in computer vision : Second Asian Conference on Computer Vision, ACCV '95, Singapore, December 5-8, 1995 : invited session papers / ed. Stan Z. Li, Dinesh P. Mital, Eam Khwang Teoh, Hang Wang.

by Asian Conference on Computer Vision (2nd : 1995 : Singapore) | Li, Stan Z, 1958- [ed.] | Mital, Dinesh P [ed.] | Teoh, Eam Khwang [ed.] | Wang, Hang [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1035 ] (1).
Applied parallel computing : computations in physics, chemistry and engineering science / ed. Jack Dongarra, Kaj Madsen, Jerzy Wasniewski.

by International Workshop on Applied Parallel Computing in Physics, Chemistry and Engineering Science (2º : 1995 : Lyngby, Denmark) | Dongarra, Jack J, 1950- [ed.] | Madsen, Kaj [ed.] | Wasniewski, Jerzy, 1931- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1041 ] (1).
Object-based parallel and distributed computation / ed. Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa.

by France-Japan Workshop on Object-based Parallel and Distributed Computation, OBPDC (1995 : Tokyo) | Briot, Jean-Pierre, 1957- [ed.] | Geib, Jean-Marc [ed.] | Yonezawa, Akinori [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1107 ] (1).
Term indexing / Peter Graf.

by Graf, Peter, 1966-.

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNAI v. 1053 ] (1).
Time structures : formal description and algorithmic representation / Elzbieta Hajnicz.

by Hajnicz, Elzbieta.

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNAI v. 1047 ] (1).
Extensions of logic programming / ed. Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister.

by ELP '96 (5º : 1996 : Leipzig, Germany) | Dyckhoff, Roy, 1948- [ed.,] | Herre, Heinrich [ed.] | Schroeder-Heister, Peter, 1953- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNAI v. 1050 ] (1).
Automated deduction, CADE- 13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings / ed. Michael A. McRobbie, John K. Slaney.

by International Conference on Automated Deduction (13 : 1996 : New Brunswick, New Jersey, USA) | McRobbie, Michael A [ed.] | Slaney, John K [ed.] | CADE.

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNAI v. 1104 ] (1).
Automata, languages and programming / ed. Friedhel Meyer auf der Heide, Burkhard Monien.

by International Coloquium on Automata, Languages and Programming (23º : 1996 : Paderborn, Germany) | Meyer auf der Heide, Friedhel [ed.] | Monien, Burkhard [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1099 ] (1).
Over-constrained systems / ed. Michael Jampel, Eugene Freuder, Michael Maher.

by Jampel, Michael [ed.] | Freuder, Eugene [ed.] | Maher, Michael, 1959- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1106 ] (1).
Artificial evolution : European conference, AE '95, Brest, France, September 4-6, 1995 : selected papers / ed. Jean-Marc Alliot, Evelyne Lutton, Edmund Ronald, Marc Schoenauer, Dominique Snyers.

by AE '95 (1995 : Brest, France) | Alliot, Jean-Marc, 1962- [ed.,] | Lutton, Evelyne [ed.] | Ronald, Edmund [ed.] | Schoenauer, Marc [ed.] | Snyers, Dominique [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1063 ] (1).
Advances in database-technology - EDBT'96 / Peter Apers, Mokrane Bouzeghoub, Georges Gardarin.

by International Conference on Extending Database Technology (5º : 1996 : Avignon. France) | Apers, Peter [ed.] | Bouzeghoub, Mokrane [ed.] | Gardarin, Georges [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1057 ] (1).
High-performance computing and networking / ed. Heather Liddell, Adrian Colbrook, Bob Hertzberger, Peter Sloot.

by International Conference and Exhibition on High-Performance Computing and Networking (1996 : Brussels, Belgium) | Liddell, Heather [ed.] | Colbrook, Adrian [ed.] | Hertzberger, Bob, 1941- [ed.] | Sloot, Peter [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1067 ] (1).
Bounded incremental computation / G. Ramalingam.

by Ramalingam, G.

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1089 ] (1).
Reliable software technologies -ADA-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996 : proceedings / ed. Alfred Strohmeier.

by ADA-Europe International Conference on Reliable Software Technologies (1996 : Montreux, Switzerland) | Strohmeier, Alfred, 1946- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1088 ] (1).
Algorithm theory - SWAT'96 / ed. Rolf Karlsson, Andrzej Lingas.

by Scandinavian Workshop on Algorithm Theory (5º : 1996 : Reykjavík, Iceland) | Karlsson, Rolf, 1943- [ed.,] | Lingas, Andrzej [ed.].

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