Abstract is missing.
- Parallel Machine Models: How They Are and Where Are They GoingJirí Wiedermann. 1-30
- Fuzzy Logic From The Logical Point of ViewPetr Hájek. 31-49
- Sense of Direction in Processor NetworksGerard Tel. 50-82
- Welcoming the Super Turing TheoriesHava T. Siegelmann. 83-94
- What NARX Networks Can ComputeBill G. Horne, Hava T. Siegelmann, C. Lee Giles. 95-102
- Database: Introduction to ProblemsKeith G. Jeffery. 103-119
- Distributed Information SystemsJane Grimson. 120-145
- Extending Database TechnologyNorman W. Paton. 146-165
- Introducing SSADM4+ and PRINCEA. J. G. Betts. 166-183
- Formal Methods in Practice: A Comparison of Two Support Systems for ProofJuan Bicarregui, Brian Matthews. 184-205
- Development of Safety-Critical Real-Time SystemsHans Rischel, Jorge Cuéllar, Simon Mørk, Anders P. Ravn, Isolde Wildgruber. 206-235
- Why Use Evolving Algebras for Hardware and Software Engineering?Egon Börger. 236-271
- Experience with ChorusChristian Bac, Guy Bernard, Denis Conan, Quang Hong Nguyen, Chantal Taconet. 272-291
- High-Level Languages for Parallel Scientific ComputingBarbara M. Chapman, Piyush Mehrotra, Hans P. Zima. 292-314
- On Some New Aspects of Networked Multimedia SystemsHermann A. Maurer. 315-333
- Quo Vadis GIS: From GIS to GIMS and Open GISAles Limpouch, Karel Charvát. 334-349
- WWW - The World Wide WebVictoria A. Marshall. 350-362
- Implementation of Higher-Order Unification Based on Calculus of Explicit SubstitutionPeter Borovanský. 363-368
- A Modular History-Oriented Access Structure for Bitemporal Relational DatabasesAlessandro Cappelli, Cristina De Castro, Maria Rita Scalas. 369-374
- Software Engineering Meets Human-Computer Interaction: Integrating User Interface Design in an Object-Oriented MethodologyHans-Werner Gellersen. 375-378
- Parsing of Free-Word-Order LanguagesTomás Holan, Vladislav Kubon, Martin Plátek. 379-384
- Distributed Algorithm for Finding a Core of a Tree NetworkEsther Jennings. 385-390
- Stepwise Synthesis of Reactive ProgramsPetr Kozák. 391-398
- A Simple and Efficient Incremental LL(1) parsingWarren X. Li. 399-404
- Fundamentals of Context=Sensitive RewritingSalvador Lucas. 405-412
- Constraint Logic Programming with Fuzzy SetsLudek Matyska, Hynek Bures. 413-418
- Parallel Processing of Image Database QueriesFrançois Meunier, Petr Zemánek. 419-424
- Maximum Flow Problem in Distributed EnvironmentLenka Motyckova. 425-430
- Fuzzy Set Theory and Medical Expert Systems: Survey and ModelNguyen Hoang Phuong. 431-436
- The Fusion Object-Oriented Method: an EvaluationAlain Pirotte, Thierry Van den Berghe, Esteban Zimányi. 437-442
- Integration of Object-Oriented Analysis and Algebraic SpecificationsZuzana Repaská. 443-448
- On the Implementation of Some Residual Minimizing Krylov Space MethodsMiroslav Rozlozník, Z. Strakos. 449-454
- A Formal Lazy Replication Regime for Spreading Conversion Functions over ObjectbasesClara Smith, Carlos A. Tau. 455-460
- Hopfield LanguagesJirí Síma. 461-468
- Inconsistency Conflict ResolutionJulius Stuller. 469-474
- A Methodology for Performance and Scalability AnalysisEfthimios Tambouris, Peter Van Santen. 475-480
- On the Efficiency of Superscalar and Vector Computer for some Problems in Scientif ComputingMiroslav Tuma, Miroslav Rozlozník. 481-486
- Logic Programming in RPL and RQLPeter Vojtás, Leonard Paulík. 487-492
- Recognition of Handwritten Characters Using Instance-Based Learning AlgorithmsJan Zizka, Irena Snajdárková. 493-498