SOFSEM’ 98: Theory and Practice of Informatics

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Software Architecture for Distributed Reactive Systems
3. Altmetric Badge
   Chapter 2 A Logical Basis for Modular Software and Systems Engineering
4. Altmetric Badge
   Chapter 3 From Quartets to Phylogenetic Trees
5. Altmetric Badge
   Chapter 4 Reuse Methods for Construction of Parallel Software
6. Altmetric Badge
   Chapter 5 Compiling Horn-Clause Rules in IBM’s Business System 12 an Early Experiment in Declarativeness
7. Altmetric Badge
   Chapter 6 Models of Computation, Riemann Hypothesis, and Classical Mathematics
8. Altmetric Badge
   Chapter 7 Security of Electronic Money
9. Altmetric Badge
   Chapter 8 Algorithms Based on Randomization and Linear and Semidefinite Programming
10. Altmetric Badge
    Chapter 9 Distributed Systems Technology for Electronic Commerce Applications
11. Altmetric Badge
    Chapter 10 Parallel Interactive Media Server Systems
12. Altmetric Badge
    Chapter 11 Online Routing Problems for Broadband Networks
13. Altmetric Badge
    Chapter 12 Some Prospects forEfficient Fixed Parameter Algorithms
14. Altmetric Badge
    Chapter 13 System Infrastructure for Digital Libraries: A Survey and Outlook
15. Altmetric Badge
    Chapter 14 An Introduction to Cryptology
16. Altmetric Badge
    Chapter 15 Authoring Structured Multimedia Documents
17. Altmetric Badge
    Chapter 16 Engineering Software & Software Engineering
18. Altmetric Badge
    Chapter 17 Efficient Communication Schemes
19. Altmetric Badge
    Chapter 18 Audit of Information Systems: The Need for Cooperation
20. Altmetric Badge
    Chapter 19 Towards the Use of Dynamic Documents in Business Processes
21. Altmetric Badge
    Chapter 20 Computational Power of BSP Computers
22. Altmetric Badge
    Chapter 21 Modeling of Hypermedia Applications
23. Altmetric Badge
    Chapter 22 On the Klee’s Measure Problem in Small Dimensions
24. Altmetric Badge
    Chapter 23 Yet Another Modular Technique for Efficient Leader Election
25. Altmetric Badge
    Chapter 24 Regulated Grammars with Leftmost Derivation
26. Altmetric Badge
    Chapter 25 Some Results on the Modelling of Spatial Data
27. Altmetric Badge
    Chapter 26 Randomized Meldable Priority Queues
28. Altmetric Badge
    Chapter 27 The Reconstruction of Convex Polyominoes from Horizontal and Vertical Projections
29. Altmetric Badge
    Chapter 28 Behavioral Safety in a Model with Multiple Class Objects
30. Altmetric Badge
    Chapter 29 Massively Parallel Suffix Array Construction
31. Altmetric Badge
    Chapter 30 Weak Bisimilarity and Open Maps
32. Altmetric Badge
    Chapter 31 A Synchronisation Mechanism for Replicated Objects
33. Altmetric Badge
    Chapter 32 Data Mining Extension for Object-Oriented Query Language
34. Altmetric Badge
    Chapter 33 Constraints with Variables’ Annotations and Constraint Hierarchies
35. Altmetric Badge
    Chapter 34 Sample Method for Minimization of OBDDs
36. Altmetric Badge
    Chapter 35 Determining Type of TIL Construction withVerb Valency Analyser
37. Altmetric Badge
    Chapter 36 Offine Recognition of Cursive Handwritten Czech Text
38. Altmetric Badge
    Chapter 37 Automated Theorem Proving in a Combination of Theories with Disjoint Signatures