CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 20 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).
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).
Fast software encryption : Proceedings... / ed. Eli Biham.

by FSE (Workshop) (4º : 1997 : Haifa, Israel) | Biham, Eli [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1267 ej.2] (2).
Automata implementation / ed. Darrell Raymond, Derick Wood, Sheng Yu.

by International Workshop on Implementing Automata (1º : 1996 : London, Ontario) | Raymond, Darrell Ronald [ed.] | Wood, Derick, 1940- [ed.,] | Yu, Sheng [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1260 ] (1).
Application and theory of Petri Nets 1997 : 18th International Conference, ICAPTN'97 Toulouse, France, June 23-27, 1997 proceedings / ed. Pierre Azéma, Gianfranco Balbo.

by International Conference on Application and Theory of Petri Nets, ICATPN (18º : 1997 : Toulouse, France) | Azéma, Pierre [ed.] | Balbo, Gianfranco [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1248 ] (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).
Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings / ed. Philippe Groote, J. Roger Hindley.

by International Conference on Typed Lambda Calculi and Applications (3º : 1997 : Nancy, France) | Groote, Philippe [ed.] | Hindley, James Roger, 1939- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1210 ] (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).
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).
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).
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).
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).
Application and theory of Petri Nets 1996 / ed. Jonathan Billington, Wolfgang Reisig.

by International Conference on Application and Theory of Petri Nets (17 : 1996 : Osaka, Japan) | Billington, Jonathan [ed.] | Reisig, Wolfgang [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1091 ] (1).
Graph-theoretic concepts in computer science / edited by Manfred Nagl.

by International Workshop WG (21º : 1995 : Haus Eich, Aachen, Germany) | Nagl, Manfred, 1944- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 1017 ] (1).
Foundations of software technology and theoretical computer science / edited by Pazhamaneri S. Thiagarajan.

by Conference on Foundations of Software Technology and Theoretical Computer Science (15 : 1995 : Bangalore, India) | Thiagarajan, Pazhamaneri S [ed.].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 1026 ] (1).
Typed lambda calculi and applications / ed. Mariangiola Dezani-Ciancaglini, Gordon Plotkin.

by International Conference on Typed Lambda Calculi and Aplications (2º : 1995 : Edinburgh, UK) | Dezani-Ciancaglini, Mariangiola [ed.] | Plotkin, Gordon, 1946- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 902 ] (1).
Theory and practice of parallel programming / ed. Takayasu Ito, Akinori Yonezawa.

by International Workshop on Theory and Practice of Parallel Programming (1994 : Sendai, Japan) | Ito, Takayasu, 1940- [ed.,] | Yonezawa, Akinori [ed.].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 907 ] (1).
CONCUR - 2003 : Concurrency theory / ed. Roberto M. Amadio, Denis Lugiez.

by International Conference on Concurrence Theory (14º : 2003 : Marseille, France) | Amadio, Roberto [ed.] | Lugiez, Denis [ed.].

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