Hans Jürgen Schneider

Prof. em. Dr. Hans Jürgen Schneider

Department Informatik (INF)
Lehrstuhl für Informatik 2 (Programmiersysteme)

Raum: Raum 05.137
Martensstr 3
91058 Erlangen

Sprechstunde

nach Verabredung per E-Mail

Publikationen

2010

2007

2005

2004

2001

2000

1999

1998

1997

1996

1995

1994

1993

1992

1991

  • :
    Objektorientierte Softwaretechnik
    Prozeßrechensysteme ’91 - Automatisierungs- und Leitsysteme in den neunziger Jahren (Berlin, 25.02.1991 - 27.02.1991)
    In: Prozeßrechensysteme ’91 - Automatisierungs- und Leitsysteme in den neunziger Jahren
    DOI: 10.1007/978-3-642-76501-8
    BibTeX: Download

1990

1989

1988

1987

1986

  • :
    Programmverifikation
    In: Computer-Magazin (), S. 50-55
    ISSN: 0343-2572
    BibTeX: Download
  • :
    Verschiedene Beiträge
    In: Lexikon der Informatik und Datenverarbeitung, München Wien: R. Oldenbourg Verlag,
    ISBN: 9783486226621

    BibTeX: Download

1985

1984

1983

1982

1981

1980

1979

1978

1977

  • (Hrsg.):
    GI - 7. Jahrestagung
    Berlin Heidelberg:
    (Informatik-Fachberichte, Bd. 10)
    ISBN: 978-3-540-08425-9
    DOI: 10.1007/978-3-642-48908-2
    BibTeX: Download
  • :
    Graph grammars
    International Conference on Fundamentals of Computation Theory (FCT 1977) (Poznan-Kórnik, 19.09.1977 - 12.09.1977)
    In: Proceedings of the International Conference on Fundamentals of Computation Theory (FCT 1977), Berlin Heidelberg:
    DOI: 10.1007/3-540-08442-8_99
    BibTeX: Download

1976

1975

1973

1972

1971

1970

1969

1967

1966

1965

1962