Innovationen bei Rechen- und Kommunikationssystemen

Eine Herausforderung für die Informatik

  • Bernd Wolfinger

Part of the Informatik aktuell book series (INFORMAT)

Table of contents

  1. Front Matter
    Pages I-XII
  2. „Integration von Semi-formalen und Formalen Methoden für die Spezifikation von Software-Systemen“

    1. Front Matter
      Pages 1-1
    2. Ingo Claßen, Michael Löwe, Susanne Waßerroth, Jan Wortmann
      Pages 2-9
    3. Roswitha Bardohl, Ingo Claßen
      Pages 19-26
    4. Ralf Jungclaus, Roel J. Wieringa, Peter Hartel, Gunter Saake, Thorsten Hartmann
      Pages 35-42
  3. „Disjunktive logische Programmierung und disjunktive Datenbanken“

  4. „Benutzungsschnittstellen für kommunizierende Systeme“

    1. Front Matter
      Pages 101-101
    2. Rul Gunzenhäuser, Willi Dilly, Matthias Ressel
      Pages 102-109

About these proceedings

Keywords

Architekturen Ethik Informationstechnik (IT) Integration Internet Kommunikation Kommunikationssystem Kommunikationssysteme LAN Processing Protection Rechensysteme Systemarchitektur künstliche Intelligenz verteilte Systeme

Editors and affiliations

  • Bernd Wolfinger
    • 1
  1. 1.Fachbereich InformatikUniversität HamburgHamburgDeutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-51136-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-58313-4
  • Online ISBN 978-3-642-51136-3
  • Series Print ISSN 1431-472X
  • About this book