CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 24 results. Subscribe to this search

|
CONCUR - 2007 : Concurrency Theory : 18th International Conference, CONCUR 2007 Lisbon, Portugal, September 3-8, 2007 : Proceedings / Luis Caires, Vasco T. Vasconcelos, editors.

by International Conference on Concurrency Theory (18º : 2007 : Lisbon, Portugal ) | Caires, Luis [ed.] | Vasconcelos, Vasco T [ed.].

Material type: book Book; Format: electronic ; Literary form: Not fiction Publisher: New York : Springer, 2007Availability: Items available for loan: [Call number: C LNCS v. 4703] (1).
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).
Symbolic and algebraic computation / ed. Patrizia Gianni.

by International Symposium on Symbolic and Algebraic Computation (13º : 1988 : Roma) | Gianni, Patrizia, 1952- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1989Availability: Items available for loan: [Call number: C LNCS v. 358 ] (1).
CONCUR - 1995 : Concurrency theory : Proceedings / ed. Insup Lee, Scott A. Smolka.

by International Conference on Concurrency Theory (6º : 1995 : Philadelphia, PA, USA) | Lee, Insup [ed.] | Smolka, Scott A [ed.].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 962] (1).
CONCUR - 1994 : Concurrency theory / ed. Bengt Jonsson, Joachim Parrow.

by International Conference on Concurrency Theory (5º : 1994 : Uppsala, Sweden) | Jonsson, Bengt [ed.] | Parrow, Joachim [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 1994Availability: Items available for loan: [Call number: C LNCS v. 836 ] (1).
CONCUR - 1996 : Concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings / ed. Ugo Montanari, Vladimiro Sassone.

by International Conference on Concurrence Theory (7º : 1996 : Pisa, Italy) | Montanari, Ugo [ed.] | Sassone, Vladimiro [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1119 ] (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).
Languages and compilers for parallel computing / ed. Chua-Huang Huang, Ponnuswany Sadayappan.

by LCPC (Workshop) (8º : 1995 : Columbus, Ohio, USA) | Huang, Chua-Huang [ed.] | Sadayappan, Ponnuswany [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1033 ] (1).
Input/Output intensive massively parallel computing : language support, automatic parallelization, advanced optimization, and runtime systems.

by Brezany, Peter, 1948-.

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1220 ] (1).
Worldwide computing and its applications - WWCA'98 / ed. Yoshifumi Masunaga, Takuya Katayama, Michiharu Tsukamoto.

by WWCA ’98 (2º : 1998 : Tsukuba, Japan) | Masunaga, Yoshifumi, 1941- [ed.,] | Katayama, Takuya, 1939- [ed.,] | Tsukamoto, Michiharu [ed.].

Material type: book Book Publisher: Berlin : Springer, 1998Availability: Items available for loan: [Call number: C LNCS v. 1368 ] (1).
Automata, languages and programming / ed. Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela.

by International Colloquium on Automata, Languages and Programming (24º : 1997 : Bologna) | Degano, Pierpaolo [ed.] | Gorrieri, Roberto [ed.] | Marchetti-Spaccamela, Alberto [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1256 ] (1).
CONCUR -1997 : Concurrency theory / ed. Antoni Mazurkiewiczs, Józef Winkowski.

by International Conference on Concurrency Theory (8º : 1997 : Warsaw, Poland) | Mazurkiewiczs, Antoni [ed.] | Winkowski, Józef, 1934- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1243 ] (1).
Languages and compilers for parallel computing / ed. David Sehr, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua.

by LCPC (Workshop) (9º : 1996 : San Jose, California) | Sehr, David [ed.] | Banerjee, Utpal, 1942- [ed.] | Gelernter, David [ed.] | Nicolau, Alex [ed.] | Padua, David [ed.].

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