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 /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
1998.
|
| Έκδοση: | 1st ed. 1998. |
| Σειρά: | Lecture Notes in Computer Science,
1521 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Invited Talks
- Software Architecture for Distributed Reactive Systems
- A Logical Basis for Modular Software and Systems Engineering
- From Quartets to Phylogenetic Trees
- Reuse Methods for Construction of Parallel Software
- Compiling Horn-Clause Rules in IBM's Business System 12 an Early Experiment in Declarativeness
- Models of Computation, Riemann Hypothesis, and Classical Mathematics
- Security of Electronic Money
- Algorithms Based on Randomization and Linear and Semidefinite Programming
- Distributed Systems Technology for Electronic Commerce Applications
- Parallel Interactive Media Server Systems
- Online Routing Problems for Broadband Networks
- Some Prospects forEfficient Fixed Parameter Algorithms
- System Infrastructure for Digital Libraries: A Survey and Outlook
- An Introduction to Cryptology
- Authoring Structured Multimedia Documents
- Engineering Software & Software Engineering
- Efficient Communication Schemes
- Audit of Information Systems: The Need for Cooperation
- Towards the Use of Dynamic Documents in Business Processes
- Contributed Papers
- Computational Power of BSP Computers
- Modeling of Hypermedia Applications
- On the Klee's Measure Problem in Small Dimensions
- Yet Another Modular Technique for Efficient Leader Election
- Regulated Grammars with Leftmost Derivation
- Some Results on the Modelling of Spatial Data
- Randomized Meldable Priority Queues
- The Reconstruction of Convex Polyominoes from Horizontal and Vertical Projections
- Behavioral Safety in a Model with Multiple Class Objects
- Massively Parallel Suffix Array Construction
- Weak Bisimilarity and Open Maps
- A Synchronisation Mechanism for Replicated Objects
- Data Mining Extension for Object-Oriented Query Language
- Constraints with Variables' Annotations and Constraint Hierarchies
- Sample Method for Minimization of OBDDs
- Determining Type of TIL Construction withVerb Valency Analyser
- Offine Recognition of Cursive Handwritten Czech Text
- Automated Theorem Proving in a Combination of Theories with Disjoint Signatures.
