Skip to main content
  • Conference proceedings
  • © 1995

SOFSEM '95: Theory and Practice of Informatics

22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - December 1, 1995. Proceedings

Conference proceedings info: SOFSEM 1995.

Buy it now

Buying options

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (39 papers)

  1. Front Matter

  2. Welcoming the super Turing theories

    • Hava T. Siegelmann
    Pages 83-94
  3. What NARX networks can compute

    • Bill G. Horne, Hava T. Siegelmann, C. Lee Giles
    Pages 95-102
  4. Database: Introduction to problems

    • Keith G. Jeffery
    Pages 103-119
  5. Distributed Information Systems

    • Jane Grimson
    Pages 120-145
  6. Extending database technology

    • Norman W. Paton
    Pages 146-165
  7. Introducing SSADM4+ and PRINCE

    • A. J. G. Betts
    Pages 166-183
  8. Formal methods in practice: A comparison of two support systems for proof

    • Juan C. Bicarregui, Brian M. Matthews
    Pages 184-205
  9. Development of safety-critical real-time systems

    • Hans Rischel, Jorge Cuellar, Simon Mørk, Anders P. Ravn, Isolde Wildgruber
    Pages 206-235
  10. Experience with chorus

    • Christian Bac, Guy Bernard, Denis Conan, Quang Hong Nguyen, Chantal Taconet
    Pages 272-291
  11. High-level languages for parallel scientific computing

    • Barbara Chapman, Piyush Mehrotra, Hans Zima
    Pages 292-314
  12. Quo vadis GIS: From GIS to GIMS and Open GIS

    • Aleš Limpouch, Karel Charvát
    Pages 334-349
  13. WWW — The World Wide Web

    • Victoria A. Marshall
    Pages 350-362
  14. A modular history-oriented access structure for bitemporal relational databases

    • Alessandro Cappelli, Cristina De Castro, Maria Rita Scalas
    Pages 369-374

Other Volumes

  1. SOFSEM '95: Theory and Practice of Informatics

About this book

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.

Bibliographic Information

Buy it now

Buying options

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access