Skip to main content
SpringerLink
Log in

SOFSEM '98: Theory and Practice of Informatics

25th Conference on Current Trends in Theory and Practice of Informatics, Jasna, Slovakia, November 21-27, 1998 Proceedings

  • Conference proceedings
  • © 1998

Overview

Editors:
  1. Branislav Rovan

    1. Department of Computer Science, Comenius University, Bratislava, Slovakia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1521)

Included in the following conference series:

Conference proceedings info: SOFSEM 1998.

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

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (37 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. Invited Talks

    1. Software Architecture for Distributed Reactive Systems

      • Maarten Boasson
      Pages 1-18

    2. A Logical Basis for Modular Software and Systems Engineering

      • Manfred Broy
      Pages 19-35

    3. From Quartets to Phylogenetic Trees

      • Benny Chor
      Pages 36-53

    4. Reuse Methods for Construction of Parallel Software

      • Christoph Eilinghoff, Uwe Kastens
      Pages 54-67

    5. Compiling Horn-Clause Rules in IBM’s Business System 12 an Early Experiment in Declarativeness

      • Ghica van Emde Boas - Lubsen, Peter van Emde Boas
      Pages 68-88

    6. Models of Computation, Riemann Hypothesis, and Classical Mathematics

      • RŪsiņš Freivalds
      Pages 89-106

    7. Security of Electronic Money

      • Petr Hanáček
      Pages 107-121

    8. Algorithms Based on Randomization and Linear and Semidefinite Programming

      • Klaus Jansen, Jose Rolim
      Pages 122-134

    9. Distributed Systems Technology for Electronic Commerce Applications

      • Winfried Lamersdorf, Michael Merz, Tuan Tu
      Pages 135-148

    10. Parallel Interactive Media Server Systems

      • Reinhard Lüling, Francisco Cortes Gomez, Norbert Sensen
      Pages 149-166

    11. Online Routing Problems for Broadband Networks

      • Alberto Marchetti-Spaccamela
      Pages 167-167

    12. Some Prospects forEfficient Fixed Parameter Algorithms

      • Rolf Niedermeier
      Pages 168-185

    13. System Infrastructure for Digital Libraries: A Survey and Outlook

      • Christos Nikolaou, Manolis Marazakis
      Pages 186-203

    14. An Introduction to Cryptology

      • Bart Preneel
      Pages 204-221

    15. Authoring Structured Multimedia Documents

      • Cécile Roisin
      Pages 222-239

    16. Engineering Software & Software Engineering

      • Dieter Rombach
      Pages 240-243

    17. Efficient Communication Schemes

      • Peter RuŽička
      Pages 244-263

    18. Audit of Information Systems: The Need for Cooperation

      • Leon Strous
      Pages 264-274

    19. Towards the Use of Dynamic Documents in Business Processes

      • Christine Vanoirbeek
      Pages 275-284
Back to top

Other volumes

  1. SOFSEM’ 98: Theory and Practice of Informatics

Keywords

Editors and Affiliations

  • Department of Computer Science, Comenius University, Bratislava, Slovakia

    Branislav Rovan

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation