SOFSEM'98 : theory and practice of informatics : 25th Conference on Current Trends in Theory and Practice of Informatics, Jasná, Slovakia, November 21 27, 1998 : proceedings
Enregistré dans:
| Institution som forfatter: | |
|---|---|
| Andre forfattere: | |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
1521 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • SOFSEM'98, theory and practice of informatics, 25th Seminar on Current Trends in Theory and Practice of Informatics, Jasná, Slovakia, November 21-27, 1998, proceedings, Branislav Rovan, ed, 1998, Berlin, Springer, 1 vol. (XI-452 p.), Lecture notes in computer science, 3-540-65260-4 • SOFSEM '98: Theory and Practice of Informatics, Texte imprimé, 9783662166802 |
Indholdsfortegnelse:
- 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 andConstraint 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.