Research Catalog

  • 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
  • Verteilte künstliche Intelligenz und kooperatives Arbeiten : 4. Internationaler GI-Kongress Wissensbasierte Systeme, München, 23.-24. Oktober 1991 : Proceedings / W. Brauer, D. Hernández (Hrsg.).

    • Text
    • Berlin ; New York : Springer-Verlag, c1991.
    • 1991
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 93-146Offsite
  • Logic and algebra of specification / edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg.

    • Text
    • Berlin ; New York : Springer-Verlag, c1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 93-1883Offsite
  • KI-95 : advances in artificial intelligence : 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995 : proceedings / Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer, eds.

    • Text
    • Berlin ; New York : Springer-Verlag, c1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 95-2134Offsite
  • Foundations of computer science : potential--theory--cognition / Christian Freksa, Matthias Jantzen, Rüdiger Valk (eds.)

    • Text
    • Berlin ; New York : Springer, c1997.
    • 1997
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 97-1627Offsite
  • Formal and natural computing : essays dedicated to Grzegorz Rozenberg / Wilfried Brauer ... [et al.] (eds.).

    • Text
    • Berlin ; New York : Springer, c2002.
    • 2002
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 02-788Offsite
  • Wissensbasierte Systeme : 2. Internationaler GI-Kongress, München, 20./21. Oktober 1987 / W. Brauer, W. Wahlster (Hrsg.).

    • Text
    • Berlin ; New York : Springer-Verlag, c1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text ReCAP 14-26524Offsite
  • Informatik und Schule 1989 : Zukunftsperspektiven der Informatik für Schule und Ausbildung : GI-Fachtagung, München, 15.-17. November 1989 : proceedings / F. Stetter, W. Brauer (Hrsg.).

    • Text
    • Berlin ; New York : Springer, c1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text ReCAP 12-49292Schwarzman Building - General Research Room 315

    Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.

  • Wissensbasierte Systeme : 3. Internationaler GI-Kongress München, 16.-17. Oktober 1989 : Proceedings / W. Brauer, C. Freksa (Hrsg.).

    • Text
    • Berlin ; New York : Springer-Verlag, c1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text ReCAP 11-7740Offsite
  • Logic and algebra of specification / edited by Friedrich Ludwig Bauer, Wilfried Brauer, Helmut Schwichtenberg.

    • Text
    • Berlin ; New York : Springer-Verlag, [1993], ©1993.
    • 1993-1993
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.M35 L63 1993Off-site
  • KI-95 : advances in artificial intelligence : 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995 : proceedings / Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer, eds.

    • Text
    • Berlin ; New York : Springer-Verlag, [1995], ©1995.
    • 1995-1995
    • 1 Item
    FormatCall NumberItem Location
    Text Q334 .G466 1995Off-site
  • Foundations of computer science : potential--theory--cognition / Christian Freksa, Matthias Jantzen, Rüdiger Valk (eds.)

    • Text
    • Berlin ; New York : Springer, [1997], ©1997.
    • 1997-1997
    • 1 Item
    FormatCall NumberItem Location
    Text QA76 .F6374 1997Off-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
  • Advances in Petri nets, 1986 : proceedings of an advanced course, Bad Honnef, 8.-19. September 1986 / edited by W. Brauer, W. Reisig and G. Rozenberg.

    • Text
    • Berlin ; New York : Springer-Verlag, [1987], ©1987.
    • 1987-1987
    • 2 Items
    FormatCall NumberItem Location
    Text QA267 .A343 1987 v.1Off-site
    FormatCall NumberItem Location
    Text QA267 .A343 1987 v.1Off-site
  • KI-95 : advances in artificial intelligence : 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995 : proceedings / Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer, (eds.).

    • Text
    • Berlin ; New York : Springer, c1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Text Q334 .G466 1995Off-site
  • Automata, languages, and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985 / edited by Wilfried Brauer.

    • Text
    • Berlin ; New York : Springer-Verlag, 1985.
    • 1985
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .A9216 1985Off-site
  • Net theory and applications : proceedings of the Advance Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979 / edited by Wilfried Brauer.

    • Text
    • Berlin ; New York : Springer-Verlag, 1980.
    • 1980
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .N47Off-site
  • Automata, languages, and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985 / edited by Wilfried Brauer.

    • Text
    • Berlin ; New York : Springer-Verlag, 1985.
    • 1985
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .A9216 1985Off-site
  • Wissensbasierte Systeme : 3. Internationaler GI-Kongress München, 16.-17. Oktober 1989 : Proceedings / W. Brauer, C. Freksa (Hrsg.).

    • Text
    • Berlin ; New York : Springer-Verlag, ©1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.76.E95 I57Off-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