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 /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Pavelka, Jan (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Tel, Gerard (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Bartosek, Miroslav (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
• Έκδοση: 1st ed. 1999.
• Σειρά: Lecture Notes in Computer Science, 1725
• Θέματα: Computers.; Software engineering.; Computer communication systems.; Computer science-Mathematics.; Theory of Computation.; Software Engineering/Programming and Operating Systems.; Computer Communication Networks.; Mathematics of Computing.

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...

Πίνακας περιεχομένων:

• 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 on Hopfield Networks
• A persistent-Set Approach to Abstract State-Space Construction in Verification
• Computational Power of Neuroidal Nets
• Cellular Automata with Dynamically Reconfigurable Buses.