Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
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

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Keywords

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

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