Table of contents

  1. Front Matter
  2. Hava T. Siegelmann
    Pages 83-94
  3. Bill G. Horne, Hava T. Siegelmann, C. Lee Giles
    Pages 95-102
  4. Keith G. Jeffery
    Pages 103-119
  5. Jane Grimson
    Pages 120-145
  6. Norman W. Paton
    Pages 146-165
  7. A. J. G. Betts
    Pages 166-183
  8. Juan C. Bicarregui, Brian M. Matthews
    Pages 184-205
  9. Hans Rischel, Jorge Cuellar, Simon Mørk, Anders P. Ravn, Isolde Wildgruber
    Pages 206-235
  10. Christian Bac, Guy Bernard, Denis Conan, Quang Hong Nguyen, Chantal Taconet
    Pages 272-291
  11. Barbara Chapman, Piyush Mehrotra, Hans Zima
    Pages 292-314
  12. Aleš Limpouch, Karel Charvát
    Pages 334-349
  13. Victoria A. Marshall
    Pages 350-362
  14. Alessandro Cappelli, Cristina De Castro, Maria Rita Scalas
    Pages 369-374

About these proceedings


This book constitutes the proceedings of the 22nd International Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM '95, held in Milovy, Czech Republic, in November 1995. The SOFSEM seminars are held annually and aim at fostering cooperation among and high-level continuing education of computer scientists active in different areas.
The book presents 17 invited full papers by renowned researchers as well as 22 revised refereed papers selected from 52 submissions. The 17 invited papers cover more than 350 pages and give a representative overview of fundamental issues, databases, software engineering, parallel and distributed systems and scientific computing, and multimedia and hypertext; the selected papers are devoted to special aspects of the same topics.


Datenbanken Hardware Performance Processing Software Engineering Text Wissenschaftliches Rechnen algorithms database databases human-computer interaction human-computer interaction (HCI) logic multimedia scientific computing

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-60609-3
  • Online ISBN 978-3-540-48463-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book