CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 158 results. Subscribe to this search

|
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).
Practical reasoning / ed. Dov M. Gabbay, Hans Jürgen Ohlbach.

by International Conference on Formal and Applied Practical Reasoning (1996 : Bonn, Germany) | Gabbay, Dov M, 1945- [ed.] | Ohlbach, Hans Jürgen [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNAI v. 1085 ] (1).
Hybrid systems III : verification and control / edited by Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag.

by DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems (1995 : Rutgers university, New Jersey) | Alur, Rajeev, 1966- [ed.,] | Henzinger, Thomas A [ed.] | Sontag, Eduardo D, 1951- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1066 ] (1).
Integer programming and combinatorial optimization / ed. William H. Cunningham, S. Thomas McCormick, Maurice Queyranne.

by International Conference on Integer Programming and Combinatorial Optimization (5º : 1996 : Vancouver, British Columbia, Canada) | Cunningham, William H [ed.] | McCormick, S. Thomas [ed.] | Queyranne, Maurice [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1084 ] (1).
Advances in fuzzy logic, neural networks and genetic algorithms : EEE/Nagoya University World Wisepersons Workshop, Nagoya, Japan, August 9-10, 1994 : selected papers / edited by Takeshi Furuhashi.

by IEEE/Nagoya University World Wisepersons Workshop (1994 : Nagoya, Japan) | Furuhashi, Takeshi [ed.].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNAI v. 1011 ] (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).
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).
Image analysis applications and computer graphics / ed. Roland T. Chin, Horace H. S. Ip, Avi C. Naiman, Ting-Chuen Pong.

by International Computer Science Conference (3º : 1995 : Hong Kong) | Chin, Roland T [ed.] | Ip, Horace H. S [ed.] | Naiman, Avi C [ed.] | Pong, Ting-Chuen [ed.].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 1024 ] (1).
Distributed algorithms / 8th international workshop, WDAG '94, Terschelling, the Netherlands, September 29-October 1, 1994 : proceedings ed. Gerard Tel, Paul Vitányi.

by International Workshop on Distributed Algorithms (8 : 1994 : Terschelling, The Netherlands) | Tel, Gerard [ed.] | Vitányi, Paul [ed.].

Material type: book Book Publisher: Berlin : Springer, 1994Availability: Items available for loan: [Call number: C LNCS v. 857 ] (1).
Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings / ed. Thomas Melham, Juanito Camilleri.

by Melham, Thomas F [ed.] | Camilleri, Juanito [ed.].

Material type: book Book Publisher: Berlin : Springer, 1994Availability: Items available for loan: [Call number: C LNCS v. 859 ] (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).
Cryptography : policy and algorithms : international conference, Brisbane, Queensland, Australia, July 3-5, 1995 : proceedings / ed. Ed Dawson, Jovan Golic.

by Dawson, Edward [ed.] | Golic, Jovan [ed.].

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