SOFSEM'99 : theory and practice of informatics : 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999 : proceedings
This year the SOFSEM conference is coming back to Milovy in Moravia to th be held for the 26 time. Although born as a local Czechoslovak event 25 years ago SOFSEM did not miss the opportunity oe red in 1989 by the newly found freedom in our part of Europe and has evolved into a full-?edged internati...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in computer science
1725 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • SOFSEM'99, theory and practice of informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November/December, 1999, proceedings, Jan Pavelka, Gerard Tel, Miroslav Bartošek (eds.), 1999, New York, Springer, 1 vol. (XIII-498 p.), Lecture notes in computer science, 3-540-66694-X • SOFSEM'99: Theory and Practice of Informatics, Texte imprimé, 9783662210611 |
Inhaltsangabe:
- Invited Talks
- Quantum Challenges
- Stability of Approximation Algorithms for Hard Optimization Problems
- Algorithms on Compressed Strings and Arrays
- WWW Based Collaboration with the BSCW System
- Middleware and Quality of Service
- Dynamic Reconfiguration of CORBA-Based Applications
- Fast, Error Correcting Parser Combinators: A Short Tutorial
- IBM SanFrancisco: Java Based Business Components, and New Tools to Develop Applications
- Databases and the World Wide Web
- Exploiting Formality in Software Engineering
- Biomolecular Computing and Programming
- Software Change and Evolution
- Distributed Simulation with Cellular Automata: Architecture and Applications
- Supporting Group-By and Pipelining in Bitmap-Enabled Query Processors
- On Interactive Computation: Intelligent Tutoring Systems
- Coherent Concepts, Robust Learning
- Application of Artificial Neural Networks for Different Engineering Problems
- Factor Oracle: A New Structure for Pattern Matching
- Principles of Forecasting A Short Overview
- Contributed Papers
- UPV-Curry: An Incremental Curry Interpreter
- Quantum Finite Multitape Automata
- Decomposable Bulk Synchronous Parallel Computers
- Component Change and Version Identification in SOFA
- Pattern Equations and Equations with Stuttering
- Garbage Collection for Mobile and Replicated Objects
- Randomized Gossiping by Packets in Faulty Networks
- Object-Oriented Specification with the Parallel Multi-Label-Selective ?-calculus
- Simulation Problems for One-Counter Machine
- On Semantics of Petri Nets Over Partial Algebra
- Towards Possibilistic Decision Functions with Minimum-Based Sugeno Integrals
- Quantum Finite One-Counter Automata
- A Performance Comparison of Mobile Agents and RPC
- Cyclic Cutwidth of the Mesh
- Some Afterthoughts onHopfield Networks
- A persistent-Set Approach to Abstract State-Space Construction in Verification
- Computational Power of Neuroidal Nets
- Cellular Automata with Dynamically Reconfigurable Buses.