CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 12 results. Subscribe to this search

|
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).
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).
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).
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).
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).
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).
Computer science logic / edited by Egon Börger, Yuri Gurevich, Karl Meinke.

by Workshop on computer science logic (7º : 1993 : Swansea, UK) | Börger, Egon, 1946- [ed.] | Gurevich, Yuri [ed.] | Meinke, Karl [ed.].

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