Research Catalog

New! Try our Article Search to discover online journals, books, and more from home with your library card.

Selected filters.Clear Filters

  • Graph-grammars and their application to computer science : 2nd international workshop, Haus Ohrbeck, Germany, October 4-8, 1982 / under the auspices of the European Association for Theoretical Computer Science ; edited by Hartmut Ehrig, Manfred Nagl and Grzegorz Rozenberg.

    • Text
    • Berlin ; New York : Springer-Verlag, 1983.
    • 1983
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 85-121Offsite

  • Automata, languages, and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985 / edited by Wilfried Brauer.

    • Text
    • Berlin ; New York : Springer-Verlag, c1985.
    • 1985
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 85-1518Offsite

  • Automata, languages, and programming : 10th colloquium, Barcelona, Spain, July 18-22, 1983 / edited by J. Díaz.

    • Text
    • Berlin ; New York : Springer-Verlag, 1983.
    • 1983
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 86-268Offsite

  • Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings / edited by G. Kahn, D.B. MacQueen, and G. Plotkin.

    • Text
    • Berlin ; New York : Springer-Verlag, 1984.
    • 1984
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 86-1598Offsite

  • EATCS monographs on theoretical computer science.

    • Text
    • Berlin ; New York : Springer-Verlag, 1984-
    • 1984-present

  • STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, proceedings / B. Monien, R. Cori [editors].

    • Text
    • Berlin ; New York : Springer-Verlag, 1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 88-1274Offsite

  • Automata, languages and programming : 17th international colloquium, Warwick University, England, July 16-20, 1990 : proceedings / M.S. Paterson (Ed.)

    • Text
    • New York : Springer-Verlag, c1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 90-1588Offsite

  • Automata, languages and programming : 18th international colloquium, Madrid, Spain, July 8-12, 1991 : proceedings / J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, c1991.
    • 1991
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 91-607Offsite

  • Automata, languages, and programming : 20th international colloquium, ICALP93, Lund, Sweden, July 5-9, 1993 : proceedings / A. Lingas, R. Karlsson, S. Carlsson (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, c1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 93-1219Offsite

  • Proceedings / Symposium on Logic in Computer Science.

    • Text
    • Washington, D.C. : IEEE Computer Society Press, 1986-
    • 1986-present
    • 17 Items
    FormatCall NumberItem Location
    Text JSP 92-265 2003 v. 18Offsite
    FormatCall NumberItem Location
    Text JSP 92-265 2004 v. 19Offsite
    FormatCall NumberItem Location
    Text JSP 92-265 2005 v. 20Offsite

    View All 17 Items

  • Automata, languages and programming : 21st international colloquium, ICALP 94, Jerusalem, Israel, July 11-14, 1994 : proceedings / Serge Abiteboul, Eli Shamir (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, c1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 95-660Offsite

  • Automata, languages and programming : 22nd international colloquium, ICALP 95, Szeged, Hungary, July 10-14, 1995 : proceedings / Zoltán Fülöp, Ferenc Gécseg (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, c1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 95-1735Offsite

  • Automata, languages, and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings / Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela (eds.).

    • Text
    • Berlin ; New York : Springer, c1997.
    • 1997
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 97-956Offsite

  • Automata, languages, and programming : 25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings / Kim G. Larsen, Sven Skyum, Glynn Winskel, (eds.).

    • Text
    • Berlin ; New York : Springer, c1998.
    • 1998
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 98-1251Offsite

  • Computational complexity : proceedings : Fifteenth Annual IEEE Conference on Computational Complexity : July 4-7, 2000, Florence, Italy / sponsored by The IEEE Computer Society, Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT, EATCS.

    • Text
    • Los Alamitos, California : IEEE Computer Society, c2000.
    • 2000
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 00-862Offsite

  • Computational complexity : proceedings : 16th IEEE Conference on Computational Complexity : June 18-21, 2001, Chicago, Illinois / sponsored by The IEEE Computer Society, Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT, EATCS.

    • Text
    • Los Alamitos, California : IEEE Computer Society, c2001.
    • 2001
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 01-950Offsite

  • Experimental and efficient algorithms : third international workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004 : proceedings / Celso C. Ribeiro, Simone L. Martins (eds.).

    • Text
    • Berlin ; London : Springer, c2004.
    • 2004
    • 1 Item

    Available Online

    http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3059
    FormatCall NumberItem Location
    Text JSE 04-1370Offsite

  • Theoretical computer science [electronic resource].

    • Text
    • Amsterdam : Elsevier Science
    • 1975-present
    • 1 Resource

    Available Online

    http://WU9FB9WH4A.search.serialssolutions.com/?V=1.0&L=WU9FB9WH4A&S=JCs&C=THEOCOMSCI&T=marc

  • Bulletin of the European Association for Theoretical Computer Science [electronic resource].

    • Text
    • Leiden, Netherlands : EATCS
    • unknown-present
    • 1 Resource

    Available Online

    http://WU9FB9WH4A.search.serialssolutions.com/?V=1.0&L=WU9FB9WH4A&S=JCs&C=BOTEA&T=marc

  • Automata, languages and programming : 18th international colloquium, Madrid, Spain, July 8-12, 1991 : proceedings / J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, [1991], ©1991.
    • 1991-1991
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .I23 1991gOff-site

  • Proceedings of the Sixth Annual Structure in Complexity Theory Conference : June 30-July 3, 1991, University of Chicago, Chicago, Illinois / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, University of Chicago, in cooperation with ACM SIGACT, EATCS.

    • Text
    • Los Alamitos, Calif. : IEEE Computer Society Press ; Piscataway, NJ : Additional copies can be ordered from IEEE Service Center, [1991], ©1991.
    • 1991-1991
    • 1 Item
    FormatCall NumberItem Location
    Text QA267.7 .S75 1991gOff-site

  • Proceedings of the Seventh Annual Structure in Complexity Theory Conference : June 22-25, 1992, Boston University, Boston, Massachusetts / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, Boston University, Boston College, Northeastern University, in cooperation with ACM SIGACT and EATCS.

    • Text
    • Los Alamitos, Calif. : IEEE Computer Society Press ; Piscataway, NJ : Additional copies can be ordered from IEEE Service Center, [1992], ©1992.
    • 1992-1992
    • 1 Item
    FormatCall NumberItem Location
    Text QA267.7 .S75 1992gOff-site

  • Theoretical computer science : proceedings of the fourth Italian Conference : L'Aquila, October 28-30, 1992 / edited by A. Marchetti Spaccamela, P. Mentrasti, M. Venturini Zilli.

    • Text
    • Singapore ; River Edge, NJ : World Scientific, [1992], ©1992.
    • 1992-1992
    • 1 Item
    FormatCall NumberItem Location
    Text QA75.5 .I83 1992gOff-site

  • Proceedings of the eighth Annual Structure in Complexity Theory Conference : May 18-21, 1993, San Diego, California / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, Boston University ; in cooperation with ACM SIGACT and EATCS ; in association with the Federated Computing Research Conference, the Computing Research Association, the National Science Foundation.

    • Text
    • Los Alamitos, Calif. : IEEE Computer Society Press ; Piscataway, NJ : IEEE Service Center, [1993], ©1993.
    • 1993-1993
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .P756 1993gOff-site

  • Automata, languages and programming : 21st international colloquium, ICALP 94, Jerusalem, Israel, July 11-14, 1994 : proceedings / Serge Abiteboul, Eli Shamir (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, [1994], ©1994.
    • 1994-1994
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .I23 1994Off-site

  • Proceedings of the Ninth Annual Structure in Complexity Theory Conference / June 28-July 1, 1994, Amsterdam, the Netherlands ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM-SIGACT, EATCS.

    • Text
    • Los Alamitos, Calif. : IEEE Computer Society Press, [1994], ©1994.
    • 1994-1994
    • 1 Item
    FormatCall NumberItem Location
    Text QA267.7 .S75 1994gOff-site

  • Automata, languages and programming : 22nd international colloquium, ICALP 95, Szeged, Hungary, July 10-14, 1995 : proceedings / Zoltán Fülöp, Ferenc Gécseg (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, [1995], ©1995.
    • 1995-1995
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .I23 1995Off-site

  • Proceedings, Tenth Annual Structure in Complexity Theory Conference / June 19-22, 1995, Minneapolis, Minnesota ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM-SIGACT, EATCS.

    • Text
    • Los Alamitos, Calif. : IEEE Computer Society Press, [1995], ©1995.
    • 1995-1995
    • 1 Item
    FormatCall NumberItem Location
    Text QA267.7 .S75 1995gOff-site

  • Graph-grammars and their application to computer science : 2nd international workshop, Haus Ohrbeck, Germany, October 4-8, 1982 / under the auspices of the European Association for Theoretical Computer Science ; edited by Hartmut Ehrig, Manfred Nagl and Grzegorz Rozenberg.

    • Text
    • Berlin ; New York : Springer-Verlag, 1983.
    • 1983
    • 1 Item
    FormatCall NumberItem Location
    Text QA267.3 .G68 1983Off-site

  • Automata, languages, and programming : 10th colloquium, Barcelona, Spain, July 18-22, 1983 / edited by J. Díaz.

    • Text
    • Berlin ; New York : Springer-Verlag, 1983.
    • 1983
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .I23 1983Off-site

  • Automata, languages, and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings / Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela (eds.).

    • Text
    • Berlin ; New York : Springer, [1997], ©1997.
    • 1997-1997
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .I23 1997Off-site

  • Automata, languages, and programming : 25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings / Kim G. Larsen, Sven Skyum, Glynn Winskel, (eds.).

    • Text
    • Berlin ; New York : Springer, [1998], ©1998.
    • 1998-1998
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .I23 1998Off-site

  • Automata, languages, and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985 / edited by Wilfried Brauer.

    • Text
    • 1985
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .A9216 1985Off-site

  • Experimental and efficient algorithms : third international workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004 : proceedings / Celso C. Ribeiro, Simone L. Martins (eds.).

    • Text
    • 2004
    • 1 Item

    Available Online

    http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3059
    FormatCall NumberItem Location
    Text QA76.9.A43 W43 2004Off-site

  • Automata, languages and programming : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings / Josep Diaz [and others] (eds.).

    • Text
    • Berlin ; New York : Springer, 2004.
    • 2004
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .I55 2004Off-site

  • Automata, languages, and programming : 13th international colloquium, Rennes, France, July 15-19, 1986 : proceedings / edited by Laurent Kott.

    • Text
    • Berlin ; New York : Springer-Verlag, [1986], ©1986.
    • 1986-1986
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .A9228 1986Off-site

  • Proceedings / Symposium on Logic in Computer Science.

    • Text
    • Washington, D.C. : IEEE Computer Society Press, ©1986-
    • 1986-present
    • 18 Items
    FormatCall NumberItem Location
    Text QA76.6 .S95 16th (2001)Off-site
    FormatCall NumberItem Location
    Text QA76.6 .S95 17th (2002)Off-site
    FormatCall NumberItem Location
    Text QA76.6 .S95 18th (2003)Off-site

    View All 18 Items

  • Automata, languages and programming : 32nd international colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005 ; proceedings / Luis Caires [and others] (eds.).

    • Text
    • Berlin ; New York : Springer, 2005.
    • 2005
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .I55 2005gOff-site

  • Automata, languages and programming : 33rd international colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings / Michele Bugliesi [and others] (eds.).

    • Text
    • Berlin ; New York : Springer, [2006], ©2006.
    • 2006-2006
    • 2 Items
    FormatCall NumberItem Location
    Text QA267 .I55 2006g pt.1Off-site
    FormatCall NumberItem Location
    Text QA267 .I55 2006g pt.2Off-site

  • Mathematical models for the semantics of parallelism : advanced school, Rome, Italy, September 24-October 1, 1986, proceedings / Marisa Venturini Zilli, editor.

    • Text
    • Berlin ; New York : Springer-Verlag, [1987], ©1987.
    • 1987-1987
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .M3723 1986gOff-site

  • Theoretical computer science.

    • Text
    • Amsterdam : North-Holland Pub. Co.
    • 1975-present
    • 114 Items
    FormatCall NumberItem Location
    Text QA267 .T46 v.303-305 (2003)Off-site
    FormatCall NumberItem Location
    Text QA267 .T46 v.306 (2003)Off-site
    FormatCall NumberItem Location
    Text QA267 .T46 v.308-309 (2003)Off-site

    View All 114 Items

  • STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, proceedings / B. Monien, R. Cori [editors].

    • Text
    • Berlin ; New York : Springer-Verlag, 1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text QA75.5 .S956 1989Off-site

  • Automata, languages and programming. 2d Colloquium, University of Saarbrücken, July 29 - August 2, 1974. Edited by Jacques Loeckx.

    • Text
    • 1974
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .C57 1974Off-site
    Request for On-site UseRequest Scan
    Not available - Please for assistance.

  • Automata, languages, and programming : 17th international colloquium, Warwick University, England, July 16-20, 1990 : proceedings / M.S. Paterson, ed.

    • Text
    • Berlin ; New York : Springer-Verlag, [1990], ©1990.
    • 1990-1990
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .I23 1990Off-site

  • Automata, languages, and programming : eighth colloquium, Acre (Akko), Israel, July 13-17, 1981 / edited by S. Even and O. Kariv.

    • Text
    • 1981
    • 1 Item
    FormatCall NumberItem Location
    Text QA267.5.S4 I47 1981Off-site
    Request for On-site UseRequest Scan
    Not available - Please for assistance.

  • SPAA 2004 : Sixteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, June 27-30, 2004, Barcelona, Spain / sponsored by ACM SIGACT, ACM SIGARCH, and organized in cooperation with the European Association for Theoretical Computer Science & Intel Corporation.

    • Text
    • New York, NY : Association for Computing Machinery, c2004.
    • 2004
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.58 .A268 2004Off-site

  • SPAA 2003 : Fifteenth Annual ACM Symposium on Parallel Algorithms and Architectures, June 7-9, 2003, San Diego, California, USA / sponsored by ACM SIGACT [and] ACM SIGARCH in cooperation with EATCS (European Association for Theoretical Computer Science).

    • Text
    • New York : ACM Press, c2002.
    • 2003
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.642 .A25 2003Off-site

  • SPAA 2002 : Fourteenth Annual ACM Symposium on Parallel Algorithms and Architectures, August 10-13, 2002, Winnipeg, Manitoba, Canada / sponsored by ACM SIGACT [and] ACM SIGARCH in cooperation with EATCS.

    • Text
    • New York : ACM Press, c2002.
    • 2002
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.642 .A25 2002Off-site

  • SPAA 2005 : Seventeenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, July 18-20, 2005, Las Vegas, Nevada, USA / sponsored by ACM SIGACT, ACM SIGARCH, and organized in cooperation with the European Association for Theoretical Computer Science & Intel Corporation.

    • Text
    • New York, NY : Association for Computing Machinery, c2005.
    • 2005
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.58 .A268 2005Off-site

  • Proceedings, Fourteenth Annual IEEE Conference on Computational Complexity : b May 4-6, 1999, Atlanta, Georgia, USA / c sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT, EATCS.

    • Text
    • Los Alamitos, Calif. : IEEE Computer Society, c1999.
    • 1999
    • 1 Item
    FormatCall NumberItem Location
    Text QA267.7.S77 1999Off-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