SOFSEM'99: Theory and Practice of Informatics

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Quantum Challenges
3. Altmetric Badge
   Chapter 2 Stability of Approximation Algorithms for Hard Optimization Problems
4. Altmetric Badge
   Chapter 3 Algorithms on Compressed Strings and Arrays
5. Altmetric Badge
   Chapter 4 WWW Based Collaboration with the BSCW System
6. Altmetric Badge
   Chapter 5 Middleware and Quality of Service
7. Altmetric Badge
   Chapter 6 Dynamic Reconfiguration of CORBA-Based Applications
8. Altmetric Badge
   Chapter 7 Fast, Error Correcting Parser Combinators: A Short Tutorial
9. Altmetric Badge
   Chapter 8 IBM SanFrancisco: Java Based Business Components, and New Tools to Develop Applications
10. Altmetric Badge
    Chapter 9 Databases and the World Wide Web
11. Altmetric Badge
    Chapter 10 Exploiting Formality in Software Engineering
12. Altmetric Badge
    Chapter 11 Biomolecular Computing and Programming
13. Altmetric Badge
    Chapter 12 Software Change and Evolution
14. Altmetric Badge
    Chapter 13 Distributed Simulation with Cellular Automata: Architecture and Applications
15. Altmetric Badge
    Chapter 14 Supporting Group-By and Pipelining in Bitmap-Enabled Query Processors
16. Altmetric Badge
    Chapter 15 On Interactive Computation: Intelligent Tutoring Systems
17. Altmetric Badge
    Chapter 16 Coherent Concepts, Robust Learning
18. Altmetric Badge
    Chapter 17 Application of Artificial Neural Networks for Different Engineering Problems
19. Altmetric Badge
    Chapter 18 Factor Oracle: A New Structure for Pattern Matching
20. Altmetric Badge
    Chapter 19 Principles of Forecasting — A Short Overview
21. Altmetric Badge
    Chapter 20 UPV-Curry: An Incremental Curry Interpreter
22. Altmetric Badge
    Chapter 21 Quantum Finite Multitape Automata
23. Altmetric Badge
    Chapter 22 Decomposable Bulk Synchronous Parallel Computers
24. Altmetric Badge
    Chapter 23 Component Change and Version Identification in SOFA
25. Altmetric Badge
    Chapter 24 Pattern Equations and Equations with Stuttering
26. Altmetric Badge
    Chapter 25 Garbage Collection for Mobile and Replicated Objects
27. Altmetric Badge
    Chapter 26 Randomized Gossiping by Packets in Faulty Networks
28. Altmetric Badge
    Chapter 27 Object-Oriented Specification with the Parallel Multi-Label-Selective λ-calculus
29. Altmetric Badge
    Chapter 28 Simulation Problems for One-Counter Machine
30. Altmetric Badge
    Chapter 29 On Semantics of Petri Nets Over Partial Algebra
31. Altmetric Badge
    Chapter 30 Towards Possibilistic Decision Functions with Minimum-Based Sugeno Integrals
32. Altmetric Badge
    Chapter 31 Quantum Finite One-Counter Automata
33. Altmetric Badge
    Chapter 32 A Performance Comparison of Mobile Agents and RPC
34. Altmetric Badge
    Chapter 33 Cyclic Cutwidth of the Mesh
35. Altmetric Badge
    Chapter 34 Some Afterthoughts on Hopfield Networks
36. Altmetric Badge
    Chapter 35 A persistent-Set Approach to Abstract State-Space Construction in Verification
37. Altmetric Badge
    Chapter 36 Computational Power of Neuroidal Nets
38. Altmetric Badge
    Chapter 37 Cellular Automata with Dynamically Reconfigurable Buses