CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 17 results. Subscribe to this search

|
Foundations of software science and computational structures : 12th international conference, FOSSACS 2009, held as part of the joint Europan conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009 : proceedings / Luca de Alfaro, ed.

by FOSSACS (12º : 2009 : York, UK) | Alfaro, Luca de, 1966- [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 2009Availability: Items available for loan: [Call number: C LNCS v. 5504] (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).
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).
Intelligence in services and networks : technology for cooperative competition / ed. Al Mullery, Michel Besson, Mario Campolargo, Roberta Gobbi, Rick Reed.

by International Conference on Intelligence in Services and Networks (4º : 1997 : Cernobbio, Italy) | Mullery, Al, 1937- [ed.,] | Besson, Michel [ed.] | Campolargo, Mario [ed.] | Gobbi, Roberta [ed.] | Reed, Rick [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1238 ] (1).
Software configuration management / ed. Reidar Conradi.

by ICSE '97 SCM-7 Workshop (1997 : Boston) | Conradi, Reidar [ed.].

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

by International Conference and Exhibition on High-performance Computing and Networking, HPCN (1997 : Vienna) | Hertzberger, Bob, 1941- [ed.] | Sloot, Peter, 1956- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1225 ] (1).
ZUM'97 : the Z formal specification notation / edited by Jonathan P. Bowen, Michael G. Hinchey, David Till.

by International Conference of the Z User (10º : 1997 : Reading, UK) | Bowen, Jonathan Peter, 1956- [ed.] | Hinchey, Michael Gerad, 1969- [ed.] | Till, David [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1212 ] (1).
TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings / edited by Michel Bidoit, Max Dauchet.

by International Joint Conference on Theory and Practice of Software Development (1997 : Lille, France) | Bidoit, Michel, 1957- [ed.,] | Dauchet, Max, 1946- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1214 ] (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).
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).
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).
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).
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).
SOFSEM'95 : theory and practice / edited by Miroslav Bartosek, Jan Staudek, Jiri Wiedermann.

by SOFSEM (Conference) (22º : 1995 : Milovy, Czech Republi) | Bartosek, Miroslav, 1957- [ed.] | Staudek, Jan [ed.] | Wiedermann, Jiri [ed.].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 1012 ] (1).
Coordination languages and models / ed. Paolo Ciancarini, Chris Hankin.

by COORDINATION ’96 (1º : 1996 : Cesena, Italy) | Ciancarini, Paolo, 1959- [ed.,] | Hankin, Chris, 1954- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1061 ] (1).
Studies of software design : ICSE '93 workshop, Baltimore, Maryland, USA, May 17-18, 1993 : selected papers / ed. David Alex Lamb.

by ICSE '93 (1993 : Baltimore, Maryland, USA) | Lamb, David Alex, 1954- [ed.,].

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