Research Catalog

  • TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 / J. Díaz, F. Orejas (eds.)

    • Text
    • Berlin ; New York : Springer-Verlag, c1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text JSK 89-63 v. 1Offsite
  • Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992 : selected papers / Hartmut Ehrig, Fernando Orejas, (eds.)

    • Text
    • Berlin ; New York : Springer-Verlag, c1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 94-1383Offsite
  • Automata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings / Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen (eds.).

    • Text
    • Berlin ; New York : Springer, c2001.
    • 2001
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 01-1439Offsite
  • Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992 : selected papers / Hartmut Ehrig, Fernando Orejas, eds.

    • Text
    • Berlin ; New York : Springer-Verlag, 1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.A23 W67 1992Off-site
  • Automata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings / Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen (eds.).

    • Text
    • Berlin ; New York : Springer, [2001], ©2001.
    • 2001-2001
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .I23 2001gOff-site
  • Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers / José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.).

    • Text
    • Berlin : Springer, [2005], ©2005.
    • 2005-2005
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.76.D47 W33 2004gOff-site
  • Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992 : selected papers / Hartmut Ehrig, Fernando Orejas, eds.

    • Text
    • Berlin ; New York : Springer-Verlag, c1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.A23 W67 1992Off-site
  • TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 / J. Díaz, F. Orejas, eds.

    • Text
    • Berlin ; New York : Springer-Verlag, ©1989.
    • 1989
    • 2 Items
    FormatCall NumberItem Location
    Text QA76.76.D47 I58 1989Off-site
    FormatCall NumberItem Location
    Text QA76.76.D47 I58 1989Off-site
  • Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992 : selected papers / Hartmut Ehrig, Fernando Orejas, eds.

    • Text
    • Berlin ; New York : Springer-Verlag, c1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.A23 W67 1992Off-site

No results found from Digital Research Books Beta

Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.

digital-research-book
Explore Digital Research Books Beta