Abstract is missing.
- Software Architecture for Distributed Reactive SystemsMaarten Boasson. 1-18 [doi]
- A Logical Basis for Modular Software and Systems EngineeringManfred Broy. 19-35 [doi]
- From Quartets to Phylogenetic TreesBenny Chor. 36-53 [doi]
- Reuse Methods for Construction of Parallel SoftwareChristoph Eilinghoff, Uwe Kastens. 56-67 [doi]
- Compiling Horn-Clause Rules in IBM s Business System 12 and Early Experiment in DeclarativenessGhica van Emde Boas-Lubsen, Peter van Emde Boas. 68-88 [doi]
- Models of Computation, Riemann Hypothesis, and Classical MathematicsRusins Freivalds. 89-106 [doi]
- Security of Electronic MoneyPetr Hanácek. 107-121 [doi]
- Algorithms Based on Randomization and Linear and Semidefinite ProgrammingKlaus Jansen, José D. P. Rolim. 124-134 [doi]
- Distributed Systems Technology for Electronic Commerce ApplicationsWinfried Lamersdorf, Michael Merz, M. Tuan Tu. 135-148 [doi]
- Parallel Interactive Media Server SystemsReinhard Lüling, Francisco Cortes Gomez, Norbert Sensen. 149-166 [doi]
- On-Line Routing Problems for Broadband NetworksAlberto Marchetti-Spaccamela. 167 [doi]
- Some Prospects for Efficient Fixed Parameter AlgorithmsRolf Niedermeier. 168-185 [doi]
- System Infrastructure for Digital Libraries: A Survey and OutlookChristos Nikolaou, Manolis Marazakis. 186-203 [doi]
- An Introduction to CryptologyBart Preneel. 204-221 [doi]
- Authoring Structured Multimedia DocumentsCécile Roisin. 222-239 [doi]
- Engineering Software and Software EngineeringH. Dieter Rombach. 240-243 [doi]
- Efficient Communication SchemesPeter Ruzicka. 244-263 [doi]
- Audit of Information Systems: The Need for CooperationLeon Strous. 264-274 [doi]
- Towards the Use of Dynamic Documents in Business ProcessesChristine Vanoirbeek. 275-284 [doi]
- Computational Power of BSP ComputersMartin Beran. 285-293 [doi]
- Modeling of Hypermedia ApplicationsRadovan Cervenka. 294-303 [doi]
- On the Klee s Measure Problem in Small DimensionsBogdan S. Chlebus. 304-311 [doi]
- Yet Another Modular Technique for Efficient Leader ElectionStefan Dobrev, Peter Ruzicka. 312-321 [doi]
- Regulated Grammars with Leftmost DerivationHenning Fernau. 322-331 [doi]
- Some Results on the Modelling of Spatial DataLuca Forlizzi, Enrico Nardelli. 332-343 [doi]
- Randomized Meldable Priority QueuesAnna Gambin, Adam Malinowski. 344-349 [doi]
- The Reconstruction of Convex Polyominoes from Horizontal and Vertical ProjectionsMaciej Gebala. 350-359 [doi]
- Behavioral Safety in a Model With Multiple Class ObjectsTomas Hruska, Petr Kolencik, Michal Mácel. 360-370 [doi]
- Massively Parallel Suffix Array ConstructionCostas S. Iliopoulos, Maureen Korda. 371-380 [doi]
- Weak Bisimilarity and Open MapsSlawomir Lasota. 381-388 [doi]
- A Synchronisation Mechanism for Replicated ObjectsFrancesc D. Muñoz-Escoí, Pablo Galdámez, José M. Bernabéu-Aubán. 389-398 [doi]
- Data Mining Extension for Object-Oriented Query LanguageVladimir Novacek. 399-408 [doi]
- Constraints with Variables Annotations and Constraint HierarchiesHana Rudová. 409-418 [doi]
- Sample Method for Minimization of OBDDsAnna Slobodová, Christoph Meinel. 419-428 [doi]
- Determining Type of TIL Construction with Verb Valency AnalyserPavel Smrz, Ales Horák. 429-436 [doi]
- Off-Line Recognition of Cursive Handwritten Czech TextPavel Smrz, Stephán Hrbácek, Michal Martinásek. 437-442 [doi]
- Automated Theorem Proving in a Combination of Theories with Disjoint SignaturesPavel Vanousek. 443-452 [doi]