CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 116 results. Subscribe to this search

|
Programming languages : implementations, logics and programs : 8th international symposium, PLILP ’96, Aachen, Germany, September 24-27, 1996 : proceedings / ed. Herbert Kuchen, S. Doaitse Swierstra.

by PLILP ’96 (8º : 1996 : Aachen, Germany) | Kuchen, Herbert, 1958- [ed.] | Swierstra, S. Doaitse [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1140 ] (1).
Computer aided verification / ed. Rajeev Alur, Thomas A. Henzinger.

by CAV (Conference) (8º : 1996 : New Brunswick, N.J.) | Alur, Rajeev, 1966- [ed.,] | Henzinger, Thomas A [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1102 ] (1).
Parallel problem solving from nature - PPSN IV : nternational Conference on Evolutionary Computation, the 4th International Conference on Parallel Problem Solving from Nature, Berlin, Germany, September 22-26, 1996 : proceedings / ed. Hans-Michael Voigt, Werner Ebeling, Ingo Rechenberg, Hans-Paul Schwefel.

by Voigt, Hans-Michael [ed.] | Ebeling, Werner [ed.] | Rechenberg, Ingo [ed.] | Schwefel, Hans-Paul [ed.] | Conference on Parallel Problem Solving from Nature (4º : 1996 : Berlin, Germany).

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1141 ] (1).
Object representation in computer vision II / ECCV ’96 International Workshop, Cambridge, UK, April 13-14, 1996 : proceedings / ed. Jean Ponce, Andrew Zisserman, Martial Hebert.

by ECCV ’96 International Workshop (2 : 1996 : Cambridge, England) | Ponce, Jean [ed.] | Zisserman, Andrew [ed.] | Hebert, Martial [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1144 ] (1).
Theorem proving in higher order logics / ed. Joakim von Wright, Jim Grundy, John Harrison.

by TPHOLs '97 (9º : 1996 : Turku, Finland) | Wright, Joakim von, 1955- [ed.,] | Grundy, Jim, 1968- [ed.,] | Harrison, John, 1966- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1125 ] (1).
The data parallel programming model : foundations, HPF realization and scientific applications / edited by Guy-René Perrin, alain Darte.

by Perrin, Guy-René [ed.] | Darte, Alain [ed.].

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

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