Abstract is missing.
- Computer Chess: Algorithms and Heuristics for a Deep Look into the FutureRainer Feldmann. 1-18
- Algorithms for Triangulated TerrainsMarc J. van Kreveld. 19-36
- On the Distributed Realization of Parallel AlgorithmsKlaus-Jörn Lange. 37-52
- The Fundamental Problem of Database DesignJohann A. Makowsky, Elena V. Ravve. 53-69
- Solving and Approximating Combinatorial Optimization Problems (Towards MAX CUT and TSP)Jaroslav Nesetril, Daniel Turzík. 70-85
- The Computational Power of Continuous Time Neural NetworksPekka Orponen. 86-103
- A Foundation for Computable AnalysisKlaus Weihrauch. 104-121
- Towards Machines That Can ThinkJirí Wiedermann. 122-141
- Computational Complexity of Continuous ProblemsHenryk Wozniakowski. 142-143
- Path Layout in ATM NetworksShmuel Zaks. 144-160
- The Mobile Agent TechnologyStefan Covaci, Thomas Magedanz. 161-162
- Theory and Practice in Internationally Rich Distributed SystemsDavid A. Duce. 163-182
- Configuration-Based Programming SystemsValérie Issarny. 183-200
- Automatic Generation of Parallelizing Compilers for Object-Oriented Programming Languages from Denotational Semantics SpecificationsPrakash K. Muthukrishnan, Barrett R. Bryant. 201-218
- A Formal Software Engeneering Paradigm: From Domains via Requirements to Software - Formal Specification & Design CalculiDines Bjørner. 219-248
- The Whole Picture to Software Process ImprovementAnnie Kuntzmann-Combelles. 249-265
- Object-Oriented Design PatternsWolfgang Pree. 266-274
- Object-Oriented DBMS and BeyondKlaus R. Dittrich, Andreas Geppert. 275-294
- On Integration of Relational and Object-Oriented Database SystemsMaria E. Orlowska, Hui Li, Chengfei Liu. 295-312
- From OO Through Deduction to Active Databases - ROCK, ROLL & RAPM. Howard Williams, Norman W. Paton. 313-330
- An Introduction to Virtual Reality Modeling LanguageJiri Zara. 331-348
- Stepping Stones to an Information SocietyJirí Zlatuska. 349-372
- Lower Bounds for the Virtual Path Layout Problem in ATM NetworksLuca Becchetti, Carlo Gaibisso. 375-382
- Query Processing in Temporal Evidential DatabasesBingning Dai, David A. Bell, John G. Hughes. 383-390
- A First Approach to Temporal Predicate Locking for Concurrency Detection in Temporal Relational Databases Supporting Schema VersioningCristina De Castro. 391-398
- Efficient Insertion of Approximately Sorted Seqeunces of Items into a DictionaryCarlo Gaibisso, Guido Proietti. 399-406
- High Availability Support in CORBA EnvironmentsPablo Galdámez, Francesc D. Muñoz-Escoí, José M. Bernabéu-Aubán. 407-414
- On f-Sparse Sets in NP - PVladimír Glasnák. 415-422
- Zero-Overhead Exeption Handling Using MetaprogrammingMarkus Hof, Hanspeter Mössenböck, Peter Pirkelbauer. 423-431
- The Output-Store Formal Translator Directed by LR ParsingJan Janousek, Borivoj Melichar. 432-439
- Parallel Processing on Alphas Under MATLAB 5Jiri Kadlec. 440-447
- PRAM Lower Bound for Element Distinctness RevisitedPetr Kolman. 448-455
- Optimal Trees for Searching in CodebookIvan Kopecek. 456-463
- Time Optimal Self-Stabilizing AlgorithmsRastislav Kralovic. 464-472
- Requirements Specification Iteratively Combined with ReversePetr Kroha, M. Strauß. 473-480
- On Finite Representations of Infinite-State BehavioursAntonín Kucera. 481-488
- Efficient Strong Sequentiality Using Replacement RestrictionsSalvador Lucas. 489-496
- Optmial EncodingsMassimo Marchiori. 497-504
- Monotonic Rewriting Automata with a Restart OperationFrantisek Mráz, Martin Plátek, Petr Jancar, Jörg Vogel. 505-512
- Kahn s Fixed-Point Characterization for Linear Dynamic NetworksShan-Hwei Nienhuys-Cheng, Arie de Bruin. 513-522
- DESAM - Annotated Corpus for CzechKarel Pala, Pavel Rychlý, Pavel Smrz. 523-530
- Mobility Management in CORBA: A Generic Implementation of the LifeCycle ServiceYvan Peter. 531-538
- A Theory of Game Trees, Based on Solution TreesWim Pijls, Arie de Bruin. 539-546
- Approximation Algorithms for the Vertex Bipartization ProblemHeiko Schröder, A. E. May, Imrich Vrto, Ondrej Sýkora. 547-554
- Optical All-to-All Communication for Some Product GraphsHeiko Schröder, Ondrej Sýkora, Imrich Vrto. 555-562
- Parallelizing Self-Organizing MapsDavid Strupl, Roman Neruda. 563-570