Front matter
1-18
Computer chess: Algorithms and heuristics for a deep look into the future
Rainer Feldmann
19-36
Algorithms for triangulated terrains
Marc van Kreveld
37-52
On the distributed realization of parallel algorithms
Klaus-Jörn Lange
53-69
The fundamental problem of database design
J. A. Makowsky and E. V. Ravve
70-85
Solving and approximating combinatorial optimization problems (Towards MAX CUT and TSP)
Jaroslav Nešetřil and Daniel Turzí'k
86-103
The computational power of continuous time neural networks
Pekka Orponen
104-121
A foundation for computable analysis
Klaus Weihrauch
122-141
Towards machines that can think
Jiří Wiedermann
142-143
Computational complexity of continuous problems
Henryk Woźniakowski
144-160
Path layout in ATM networks
Shmuel Zaks
161-162
The mobile agent technology
S. Covaci and T. Magedanz
163-182
Theory and practice in interactionally rich distributed systems
David A. Duce
183-200
Configuration-based programming systems
Valérie Issarny
201-218
Automatic generation of parallelizing compilers for object-oriented programming languages from denotational semantics specifications
Prakash K. Muthukrishnan and Barrett R. Bryant
219-248
A formal software engineering paradigm: From domains via requirements to software - Formal specification & design calculi -
Dines Bjørner
249-265
The whole picture to software process improvement
Annie Kuntzmann-Combelles
266-274
Object-oriented design patterns
Wolfgang Pree
275-294
Object-oriented DBMS and beyond
Klaus R. Dittrich and Andreas Geppert
295-312
On integration of relational and object-oriented database systems
Maria E Orlowska, Hui Li and Chengfei Liu
313-330
From OO through deduction to active databases — ROCK, ROLL & RAP
M. H. Williams and N. W. Paton
331-348
An introduction to virtual reality modeling language
Jiří Žára
349-372
Stepping stones to an information society
Jiří Zlatuška
373-382
Lower bounds for the virtual path layout problem in ATM networks
Luca Becchetti and Carlo Gaibisso
383-390
Query processing in temporal evidential databases
Bingning Dai, David A Bell and John G Hughes
391-398
A first approach to temporal predicate locking for concurrency detection in temporal relational databases supporting schema versioning
Cristina De Castro
399-406
Efficient insertion of approximately sorted sequences of items into a dictionary
Carlo Gaibisso and Guido Proietti
407-414
High availability support in CORBA environments
Pablo Galdámez, Francesc D. Muñoz-Escoí and José M. Bernabéu-Aubán
415-422
On f-sparse sets in NP - P
Vladimír Glasnák
423-431
Zero-overhead exception handling using metaprogramming
Markus Hof, Hanspeter Mössenböck and Peter Pirkelbauer
432-439
The output-store formal translator directed by LR parsing
Jan Janoušek and Bořivoj Melichar
440-447
Parallel processing on alphas under MATLAB 5
Jiří Kadlec
448-455
PRAM lower bound for element distinctness revisited
Petr Kolman
456-463
Optimal trees for searching in codebook
Ivan Kopeček
464-472
Time optimal self-stabilizing algorithms
Rastislav Královič
473-480
Requirements specification iteratively combined with reverse engineering
P. Kroha and M. Strauß
481-488
On finite representations of infinite-state behaviours
Antonín Kučera
489-496
Efficient strong sequentiality using replacement restrictions
Salvador Lucas
497-504
Optimal encodings
Massimo Marchiori
505-512
Monotonic rewriting automata with a restart operation
František Mráz, Martin Plátek, Petr Jančar and Jörg Vogel
513-522
Kahn's fixed-point characterization for linear dynamic networks
Shan-Hwei Nienhuys-Cheng and Arie de Bruin
523-530
DESAM — Annotated corpus for Czech
Karel Pala, Pavel Rychlý and Pavel Smrž
531-538
Mobility management in CORBA: A generic implementation of the lifecycle service
Yvan Peter
539-546
A theory of game trees, based on solution trees
Wim Pijls and Arie de Bruin
547-554
Approximation algorithms for the vertex bipartization problem
H. Schröder, A.E. May, I. Vrt'o and O. Sýkora
555-562
Optical all-to-all communication for some product graphs (Extended Abstract)
Heiko Schröder, Ondrej Sýkora and Imrich Vrt'o
563-570
Parallelizing self-organizing maps
David Štrupl and Roman Neruda
Back matter