=ADD= =author= Erwig; Martin + Schneider; Markus =title= Vague Regions =year= 1997 =institution= FernUniversitaet Hagen =number= 214 - 2 =reftype= 11 =source= 3 =ADD= =author= Schneeweiss; Winfrid G. + Kuefner; Holger =title= Quantifying the Fault Tolerance of Multiple-Bus Based Systems =year= 1997 =institution= FernUniversitaet Hagen =number= 216 - 2 =reftype= 11 =source= 3 =ADD= =author= Gueting; Ralf Hartmut + Freundorfer; Claudia + Becker; Ludger + Dieker; Stefan + Schenk; Holger =title= Secondo/QP: Implementation of a Generic Query Processor =year= 1997 =institution= FernUniversitaet Hagen =number= 215 - 2 =reftype= 11 =source= 3 =ADD= =author= Weihrauch; Klaus =title= Computatbility on the Probability Measures on the Borel Sets of the Unit Interval =year= 1997 =institution= FernUniversitaet Hagen =number= 212 - 2 =reftype= 11 =source= 3 =ADD= =author= Buhrmann; P. + Mittrach; S. + Ollech; O. + Schlageter; G. =title= Eine Integrierte Kommunikationsumgebung fuer die Virtuelle Realitaet: Konzept und Realisierung =year= 1997 =institution= FernUniversitaet Hagen =number= 213 - 2 =reftype= 11 =source= 3 =ADD= =author= Dolzmann; A. + Sturm; Th. =title= Guarded Expressions in Practice =year= 1997 =institution= Universitaet Passau =number= MIP-9702 =month= 1 =reftype= 11 =source= 3 =ADD= =author= Wang; Yaoguang =title= Bicriteria Job Sequencing with Release =year= 1997 =institution= Max-Plank Institut fuer Informatik, Saarbruecken =number= MPI-I-97-1-005 =month= 2 =reftype= 11 =source= 3 =ADD= =author= Lenhof; Hans-Peter =title= New Contact Measures for the Protein Docking Problem =year= 1997 =institution= Max-Plank Institut fuer Informatik, Saarbruecken =number= MPI-I-97-1-004 =month= 2 =note= 11 =source= 3 =ADD= =author= Jung; Bernd + Lenhof; Hans-Peter + Mueller; Peter + Rueb; Christine =title= Parallel Algorithms for MD-Simulations of Synthetic Polymers =year= 1997 =institution= Max-Plank Institut fuer Informatik, Saarbruecken =number= MPI-I-97-1-003 =month= 1 =reftype= 11 =source= 3 =ADD= =author= Cunnigham; William H. + Wang; Yaoguang =title= Restricted 2-Factor Polytopes =year= 1997 =institution= Max-Plank Institut fuer Informatik, Saarbruecken =number= MPI-I-97-1-006 =month= 2 =reftype= 11 =source= 3 =ADD= =author= Hustadt; Ullrich + Schmidt; Renate A. =title= On Evaluating Decision Procedures for Modal Logic =year= 1997 =institution= Max-Plank Institut fuer Informatik, Saarbruecken =number= MPI-I-97-2-003 =month= 2 =reftype= 11 =source= 3 =ADD= =author= Schmidt; Renate A. =title= Resolution is a Decision Procedure for Many Propositional Modal Logics =year= 1997 =institution= Max-Plank Institut fuer Informatik, Saarbruecken =number= MPI-I-97-2-002 =month= 1 =reftype= 11 =source= 3 =ADD= =author= Rovira; Carles + Sanz-Sole; Marta =title= Large Deviations for Stochastic Volterra Equations in the Plane =year= 1997 =institution= Universitat de Barcelona =number= 233 =month= 4 =reftype= 11 =source= 3 =ADD= =author= Martinez; Juan Carlos =title= On Cardinal Sequences of Scattered Spaces =year= 1997 =institution= Universitat de Barcelona =number= 234 =month= 4 =reftype= 11 =source= 3 =ADD= =author= Pluemicke; Martin =title= Parametric Polymorphism in OBJ-3 =year= 1997 =institution= Universitaet Tuebingen =number= WSI-97-2 =reftype= 11 =source= 3 =ADD= =author= Weisskopf; Daniel + Encarnacao; L. Miguel =title= Intelligente Graphisch-Interaktive Benutzeroberflaechen: Grundlagen und aktuelle Entwicklungen =year= 1997 =institution= Universitaet Tuebingen =number= WSI-97-03 =reftype= 11 =source= 3 =ADD= =author= Dabkowska; Monika + Mokrzycki; Wojciech =title= Computing One-View Areas of Convex Polyhedrons (in Polish) =year= 1997 =institution= Institut Podstaw Informatyki, Warsaw =number= 823 =reftype= 11 =source= 3 =ADD= =author= Grzegorek; Maria + Mokrzycki; Wojciech =title= Algorithm of Gradient Detection of Contours on Image with Autonomous Choice of the Ground (in Polish) =year= 1997 =institution= Institut Podstaw Informatyki, Warsaw =number= 824 =reftype= 11 =source= 3 =ADD= =author= Sokolowski; Stefan =title= Intersection of Functional Subset Types =year= 1997 =institution= Institut Podstaw Informatyki, Warsaw =number= 825 =reftype= 11 =source= 3 =ADD= =author= Krupicza; Andrzej =title= Object-Oriented Image Coding Standards and Methods for Communication Channels at Bit-Rates Lower than 64 Kbps =year= 1997 =institution= Institut Podstaw Informatyki, Warsaw =number= 826 =reftype= 11 =source= 3 =ADD= =author= Maggiolo-Schettini; Andrea + Winkowski; Jozef =title= A Partial Order Representation of Processes of Transforming Graphs =year= 1997 =institution= Institut Podstaw Informatyki, Warsaw =number= 827 =reftype= 11 =source= 3 =ADD= =author= Przepiorkowski; Adam + Kupsc; Anna =title= Negative Concord in Polish =year= 1997 =institution= Institut Podstaw Informatyki, Warsaw =number= 828 =reftype= 11 =source= 3 =ADD= =author= Przepiorkowski; Adam + Swidzinski; Marek =title= Polish Verbal Negation Revisited: A Metamorphosis vs. HPSG Account =year= 1997 =institution= Institut Podstaw Informatyki, Warsaw =number= 829 =reftype= 11 =source= 3 =ADD= =author= Bialasik; Marcin + Konikowska; Beata =title= Reasoning with First-Order Nondeterministic Specifications =year= 830 =institution= Institut Podstaw Informatyki, Warsaw =number= 830 =reftype= 11 =source= 3 =ADD= =author= =editor= =title= =year= =institution= =type= =number= =address= =month= =note= =reftype= 11 =source= 3 =ADD= =author= =editor= =title= =year= =institution= =type= =number= =address= =month= =note= =reftype= 11 =source= 3 =ADD= =author= =editor= =title= =year= =institution= =type= =number= =address= =month= =note= =reftype= 11 =source= 3 =ADD= =author= =editor= =title= =year= =institution= =type= =number= =address= =month= =note= =reftype= 11 =source= 3 =ADD= =author= =editor= =title= =year= =institution= =type= =number= =address= =month= =note= =reftype= 11 =source= 3 =ADD= =author= =editor= =title= =year= =institution= =type= =number= =address= =month= =note= =reftype= 11 =source= 3