CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 116 results. Subscribe to this search

|
Hybrid and real-time systems / edited by Oded Maler.

by HART '97 (1997 : Grenoble, France) | Maler, Oded [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1201 ] (1).
STACS 97 : 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27-March 1, 1997 : proceedings / ed. Rüdiger Reischuk, Michel Morvan.

by Symposium on Theoretical Aspects of Computer Science (14 : 1997 : Lübeck, Germany) | Reischuk, Rüdiger [ed.] | Morvan, Michel [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1200 ] (1).
Database theory - ICDT '97 : 6th International Conference, Delphi, Greece, January 8-10, 1997 : proceedings / ed. Foto Afrati, Phokion Kolaitis.

by International Conference on Database Theory (6º : 1997 : Delphi, Greece) | Afrati, Foto [ed.] | Kolaitis, Phokion [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1186 ] (1).
Communication and architectural support for network-based parallel computing / ed. Dhabaleswar K. Panda, Craig B. Stunkel.

by CANPC '97 (1º : 1997 : San Antonio, Texas) | Panda, Dhabaleswar K [ed.] | Stunkel, Craig B [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1199 ] (1).
Graph-theoretic concepts in computer science / ed. Fabrizio D'Amore, Paolo G. Franciosa, Alberto Marchetti-Spaccamela.

by International Workshop WG (22º : 1996 : Cadenabbia, Italy) | D'Amore, Fabrizio [ed.] | Franciosa, Paolo G [ed.] | Marchetti-Spaccamela, Alberto [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1197 ] (1).
Applied parallel computing : industrial computation and optimization / ed. Jerzy Wasniewski, Jack Dongarra, Kaj Madsen, Dorte Olesen.

by International Workshop on Applied Parallel Computing in Industrial Problems and Optimization (3º : 1996 : Lyngby, Denmark) | Wasniewski, Jerzy, 1931- [ed.,] | Dongarra, Jack [ed.] | Madsen, Kaj [ed.] | Olesen, Dorte [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1184 ] (1).
Foundations of software technology and theoretical computer science / edited Vijay Chandru, V. Vinay.

by Conference on Foundations of Software Technology and Theoretical Computer Science (16 : 1996 : Hyderabad, India) | Chandru, Vijay, 1953- [ed.,] | Vinay, V [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1180 ] (2).
Algorithms and computation / ed. Tetsuo Asano, Yoshihide Igarashi, Hiroshi Nagamochi, Satoru Miyano, Subhash Suri.

by ISAAC (Symposium) (7º : 1996 : Osaka, Japan) | Asano, Tetsuo, 1949- [ed.,] | Igarashi, Yoshihide [ed.] | Nagamochi, Hiroshi [ed.] | Miyano, Satoru [ed.] | Suri, Subhash [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1178 ] (1).
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).
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, Pa.) | 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 / ed. Ozalp Babaoglu, Keith Marzullo.

by International Workshop on Distributed Algorithms, WADG (10 : 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).
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 / ed. Jacques Calmet, John A. Campbell, Jochen Pfalzgraf.

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

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