CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 88 results. Subscribe to this search

|
Computer science logic / edited by Dirk Dalen, Marc Bezem.

by Workshop on Computer Science Logic | (10º : 1996 : University of Utrecht, The Netherlands) | Dalen, Dirk, 1932- [ed.,] | Bezem, Marc (Marcus Aloysius), 1956- [ed.,] | European Association for Computer Science Logic. Conference (5º : 1996 : Utrecht, Netherlands).

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1258 ] (1).
Rewriting techniques and applications / edited by Hubert Comon.

by International Conference on Rewriting Techniques and Applications (8º : 1997 : Sitges, Spain) | Comon, Hubert [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1232 ] (1).
Logic foundations of computer science / edited by Sergei Adian, Anil Nerode.

by LFCS (Symposium) (4º : 1997 : Yaroslavl, Russia) | Adian, Segei Ivanovich, 1931- [ed.] | Nerode, Anil, 1932- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1234 ] (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).
Perspectives of system informatics / edited by Dines Bjorner, Manfred Broy, Igor V. Pottosin.

by International Andrei Ershov Memorial Conference (2 : 1996 : Akademgorodok, Novosibirsk, Russia) | Bjorner, Dines, 1937- [ed.,] | Broy, Manfred, 1949- [ed.,] | Pottosin, Igor V [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1181 ] (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).
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).
Reasoning with logic programming / José Júlio Alferes, Luís Moniz Pereira.

by Alferes, José Júlio, 1966- | Moniz Pereira, Luís, 1947-.

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNAI v. 1111 ] (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).
Rewriting techniques and applications / edited by Harald Ganzinger.

by International Conference on Rewriting Techniques and Applications (7º : 1996 : New Brunswick, New Jersey, USA) | Ganzinger, Harald, 1950- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1103 ] (1).
Programming languages and systems-ESOP'96 / edited by Hanne Riis Nielson.

by European Symposium on Programming (6º : 1996 : Linköping, Sweden) | Riis Nielson, Hanne, 1954- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1058 ] (1).
Computer science logic / edited by Hans Kleine Büning.

by Workshop on Computer Science Logic (9º : 1995 : Padernborn, Germany, Annual conference of the EACSL) | Büning, Hans Kleine [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1092 ] (1).
Higher-order algebra, logic and term rewriting / edited by Guilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller.

by International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA (2º : 1995 : Paderborn, Germany) | Dowek, Guilles [ed.] | Heering, Jan [ed.] | Meinke, Karl [ed.] | Möller, Bernhard [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1074 ] (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).
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).
Modal logic / Patrick Blackburn, Maarten de Rijke, Yde Venema.

by Blackburn, Patrick, 1959- | Rijke, Maarten de | Venema, Yde, 1963-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 2001Availability: Items available for loan: [Call number: C F4 B628 ] (1).
Algebraic and coalgebraic methods in the mathematics of program construction / ed. Roland C. Backhouse, Roy Crole, Jeremy Gibbons.

by School on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction (2000 : University of Oxford) | Backhouse, Roland C, 1948- [ed.,] | Crole, Roy [ed.] | Gibbons, Jeremy, 1966- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 2002Availability: Items available for loan: [Call number: C LNCS v. 2297 ] (1).
Formal methods at the crossroads : from panacea to foundational support / ed. Bernhard K. Aichernig, Thomas S. E. Maibaum.

by Aichernig, Bernhard K, 1969- [ed.,] | Maibaum, Thomas S. E, 1947- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 2003Availability: Items available for loan: [Call number: C LNCS v. 2757 ] (1).
Basic proof theory / Anne Sjerp Troelstra, Helmut Schwichtenberg.

by Troelstra, Anne Sjerp, 1939- | Schwichtenberg, Helmut, 1942-.

Edition: 2a. ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 2000Availability: Items available for loan: [Call number: C F4 T843 ] (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