CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 107 results. Subscribe to this search

|
Automata, languages and programming : 34th international colloquium, ICALP 2007, Wrocأaw, Poland, July 9-13, 2007 : proceedings / Lars Arge ... [et al.] (eds.).

by International Colloquium on Automata, Languages and Programming (34th : 2007 : Wroclaw, Poland) | Arge, Lars [ed.] | Cachin, Christian [ed.] | Jurdziński, Tomasz [ed.] | Tarlecki, Andrzej [ed.] | European Association for Theoretical Computer Science.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Online access: Restricted to SpringerLink subscribers Availability: Items available for loan: [Call number: C LNCS v. 4596] (1).
Automata, languages and programming : 35th international Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, proceedings, part I-II / Luca Aceto ... [et al.] (eds.).

by international Colloquium on Automata, Languages and Programming (35th : 2008 : Reykjavik, Iceland) | Aceto, Luca [ed.] | Damgard, Ivan [ed.] | Goldberg, Leslie Ann [ed.] | Halldórsson, Magnús M [ed.] | Ingólfsdóttir, Anna [ed.] | Walukiewicz, Igor [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 2008Availability: Items available for loan: [Call number: C LNCS v. 5125 pte.I] (2).
The temporal logic of reactive and concurrent systems / Zohar Manna, Amir Pnueli.

by Manna, Zohar | Pnueli, Amir.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer-Verlag, c1992Online access: Publisher description Availability: Items available for loan: [Call number: C D4.1 M282 v.1] (1).
Fundamental approaches to software engineering : 12th international conference, FASE 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009. proceedings / Marsha Chechik, Martin Wirsing, (eds.)

by FASE 2009 (12º : 2009 : York, UK) | Chechik, Marsha [ed.] | Wirsing, Martin [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. 5503] (1).
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.

by Huth, Michael, 1962- | Ryan, Mark Dermot, 1962-.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2009Online access: Table of contents | Publisher description Availability: Items available for loan: [Call number: C F4 H979 ej.2] (2).
Introducción a la teoría de autómatas, lenguajes y computación / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman.

by Hopcroft, John E, 1939- | Motwani, Rajeev, 1962-2009‏ | Ullman, Jeffrey D, 1942-.

Edition: 3a ed.Material type: book Book Publisher: Boston : Pearson Educación : ; Addison Wesley, 2008Availability: Items available for loan: [Call number: C C1.3 H791e3] (1).
Software abstractions : logic, language and analysis / Daniel Jackson.

by Jackson, Daniel, 1963-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, Mass. : MIT, c2006Availability: Items available for loan: [Call number: C F4 J12s ej.2] (2).
Algebra básica de procesos probabilistas con iteración prBPA* / Valería K. Becker.

by Becker, Valeria Karina, 1977- | D'Argenio, Pedro Ruben, 1968- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2008Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2008. Availability: Items available for loan: [Call number: TE C BEC] (2).
Handbook of logic in computer science / ed. S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum.

by Abramsky, Samson, 1953- [ed.,] | Gabbay, Dov M, 1945- [ed.,] | Maibaum, Thomas S. E, 1947- [ed.,].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Oxford : Oxford university, 1992-1994Availability: Items available for loan: [Call number: C F4.1 H236 v.4] (4).
Word equations and related topics / ed. Klaus Ulrich Schulz.

by International Workshop on Word Equations and Related Topics (1º : 1990 : Tübingen, Germany) | Schulz, Klaus Ulrich, 1957- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1992Availability: Items available for loan: [Call number: C LNCS v. 572 ] (1).
Algebraic logic and universal algebra in computer science / ed. Clifford H. Bergman, Roger D. Maddux, Don L. Pigozzi.

by Algebraic Logic and Universal Algebra in Computer Science Conference (1988 : Ames, Iowa) | Bergman, Clifford H, 1953- [ed.,] | Maddux, Roger D, 1948- [ed.,] | Pigozzi, Don L, 1935- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1990Availability: Items available for loan: [Call number: C LNCS v. 425 ] (1).
Fundamentals of algebraic specification / Hartmut Ehrig, Bernd Mahr.

by Ehrig, Hartmut, 1944- | Mahr, Bernd, 1945-.

Material type: book Book Publisher: Berlin : Springer, 1985-1990Availability: Items available for loan: [Call number: C F3 E33 v.1] (2).
Computability, complexity, and languages : Fundamentals of theoretical computer science / Martin Davis, Elaine J. Weyuker.

by Davis, Martin, 1928- | Weyuker, Elaine Jessica.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston : Academic Press, 1983Availability: Items available for loan: [Call number: C F4.3 D263 ] (1).
The theory of Parsing, translation and compiling / Alfred V. Aho, Jeffrey D. Ullman.

by Aho, Alfred Vaino, 1941- | Ullman, Jeffrey D, 1942-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Englewood Cliffs : Prentice-Hall, 1972Availability: Items available for loan: [Call number: C D3.4 A286 v.1] (1).
A basis for theoretical computer science / Michael A. Arbib, A. J. Kfoury, Robert N. Moll.

by Arbib, Michael A, 1940- | Kfoury, Assaf‏ J, 1945- | Moll, Robert N.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 1981Availability: Items available for loan: [Call number: C F4 A664 ] (1).
Logic for computer scientists / Uwe Schöning.

by Schöning, Uwe, 1955-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston : Birkhäuser, 1989Availability: Items available for loan: [Call number: C F4 S371 ] (1).
Graph grammars and their application to computer science / ed. Janice Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg.

by International Workshop on Graph Grammars and Their Application to computer science ( 5 : 1994 : Williamsburg, VA, USA) | Cuny, Janice [ed.] | Ehrig, Hartmut, 1944- [ed.] | Engels, Gregor [ed.] | Rozenberg, Grzegorz [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1073] (1).
Algebraic methodology and software technology / edited by V. S. Alagar, Maurice Nivat.

by International Conference on Algebraic Methodology and Software Technology (4º : 1995 : Montreal, Canada) | Alagar, Vangalur S, 1940- [ed.] | Nivat, Maurice, 1937- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 936 ] (1).
Algebraic methodology and software technology / edited by Martin Wirsing, Maurice Nivat.

by International Conference on Algebraic Methodology and Software Technology (5º : 1996 : Munich, Germany) | Wirsing, Martin [ed.] | Nivat, Maurice [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1101 ] (1).
Algebraic and logic programming / ed. Giorgio Levi, Mario Rodríguez-Artalejo.

by International Conference on Algebraic and Logic Programming (4º : 1994 : Madrid) | Levi, Giorgio, 1942- [ed.,] | Rodríguez-Artalejo, Mario [ed.].

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