CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 158 results. Subscribe to this search

|
Formal methods for industrial applications : specifying and programming the steam boiler control / edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack.

by Abrial, Jean-Raymond, 1938- [ed.] | Börger, Egon, 1946- [ed.] | Langmaack, Hans, 1934- [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1165 ] (2).
Software configuration management / ed. Ian Sommerville.

by ICSE '96 SCM-6 Workshop (6º : 1996 : Berlin) | Sommerville, Ian, 1951- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1167 ] (1).
Algorithmic learning theory / ed. Setsuo Arikawa, Arun K. Sharma.

by ALT ’96 (7 : 1996 : Sydney) | Arikawa, Setsuo, 1941- [ed.,] | Sharma, Arun K, 1962- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNAI v. 1160 ] (1).
Conceptual modeling - ER '96 / ed. Bernhard Thalheim.

by International Conference on Conceptual Modeling (15º : 1996 : Cottbus, Germany) | Thalheim, Bernhard, 1952- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1157 ] (1).
Types for proofs and programs / edited by Stefano Berardi, Mario Coppo.

by International Workshop on Types for Proofs and Programs (1995 : Torino, Italy) | Berardi, Stefano [ed.] | Coppo, Mario, 1947- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1158 ] (1).
Applied computational geometry : towards geometric engineering : FCRC '96 Workshop, WACG '96, Philadelphia, PA, May 27-28, 1996 : selected papers / ed. Ming C. Lin, Dinesh Manocha.

by ACM Workshop on Applied Computational Geometry 1996 : Philadelphia) (1 | Lin, Ming C [ed.] | Manocha, Dinesh [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1148 ] (1).
Software process technology : 5º European workshop, EWSPT ’96, Nancy, France, October 9-11, 1996 : proceedings / ed. Carlo Montangero.

by EWSPT ’96 (5º : 1996 : Nancy, France) | Montangero, Carlo [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1149 ] (1).
Parallel virtual machine, EuroPVM '96 : third European PVM conference, Munich, Germany, October 7-9, 1996 : proceedings / ed. Arndt Bode, Jack Dongarra, Thomas Ludwig, Vaidy Sunderam.

by EuroPVM ’96 (3ª : 1996 : Munich, Germany) | Bode, Arndt [ed.] | Dongarra, Jack [ed.] | Ludwig, Thomas [ed.] | Sunderam, Vaidy [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1156 ] (1).
Broadband network traffic : performance evaluation and design of broadband multiservice networks : final report of action COST 242 / ed. James Roberts, Ugo Mocci, Jorma Virtamo.

by Roberts, James [ed.] | Mocci, Ugo [ed.] | Virtamo, Jorma [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1155 ] (1).
Logic in databases / ed. Dino Pedreschi, Carlo Zaniolo.

by International Workshop on Logic in Databases (1996 : San Miniato, Italy) | Pedreschi, Dino [ed.] | Zaniolo, Carlo [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1154 ] (1).
Distributed algorithms : 10th international workshop, WDAG '96, Bologna, Italy, October 9-11, 1996 : proceedings / ed. Ozalp Babaoglu, Keith Marzullo.

by International Workshop on Distributed Algorithms (10th : 1996 : Bologna, Italy) | Babaoglu, Ozalp [ed.] | Marzullo, Keith [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1151 ] (1).
Fuzzy logic, neural networks and evolutionary computation / ed. Takeshi Furuhashi, Yoshiki Uchikawa.

by World Wisepersons Workshop on Fuzzy Logic and Neural Networks, WWW (4º : 1995 : Nagoya, Japan) | Furuhashi, Takeshi, 1954- [ed.] | Uchikawa, Yoshiki, 1941- [ed.].

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

by AISB Workshop (1996 : Brighton, UK) | Fogarty, Terence C [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1143 ] (1).
Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings / ed. Jacques Calmet, John A. Campbell, Jochen Pfalzgraf.

by AISMC (3º : 1996 : Steyr, Austria) | Calmet, Jacques, 1941- [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).
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).

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