Table of contents (49 papers)

  1. Front Matter
  2. Hardware — Software
    Heinz Zemanek
    Pages 9-19
  3. Defining discipline
    Wolfgang Coy
    Pages 21-35
  4. Computer science as cultural development
    Dirk Siefkes
    Pages 37-47
  5. Towards adjusting informatics education to information era
    Jozef Gruska, Roland Vollmar
    Pages 49-67
  6. Informatics and society: A curriculum for distance education
    Herbert Klaeren, Christiane Floyd, Friedrich Diestelmeier
    Pages 69-78
  7. Syntactic and semantic aspects of parallelism
    Alexandru Mateescu, Grzegorz Rozenberg, Arto Salomaa
    Pages 79-105
  8. On abstract families of languages, power series, and elements
    Georg Karner, Werner Kuich
    Pages 117-124
  9. An automata approach to some problems on context-free grammars
    J. Esparza, P. Rossmanith
    Pages 143-152
  10. On aperiodic sets of Wang tiles
    Karel Culik, Jarkko Kari
    Pages 153-162
  11. A foundation for computable analysis
    Klaus Weihrauch
    Pages 185-199
  12. Calendars and chronologies
    Manfred Kudlek
    Pages 209-217
  13. A uniform approach to Petri Nets
    H. Ehrig, J. Padberg
    Pages 219-231

About these proceedings

Introduction

This book constitutes an anthology of refereed papers arranged to acknowledge the work of Wilfried Brauer on the occasion of his sixtieth birthday. The volume presents 49 revised refereed papers organized in topical sections on computer science and its potential, social implications of computer science, formal languages and automata, structures and complexity theory, Petri nets, systems analysis and distributed systems, software engineering and verification, cognition and artificial intelligence, knowledge representation and reasoning, machine learning, neural networks and robotics, language and information systems.

Keywords

artificial intelligence complexity decision support system distributed systems formal language information system knowledge discovery knowledge representation machine learning proving robot robotics semantics verification visualization

Bibliographic information

  • Copyright Information Springer-Verlag 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-63746-2
  • Online ISBN 978-3-540-69640-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349