Technik besitzt stets einen ausgepragten gesellschaftlichen Bezug, da sie die gesell schaftlich relevante Umsetzung wissenschaftlicher Erkenntnisse darstellt. Dies fuhrt zu Problemen, die oft im Kontext der wissenschaftlichen Forschung unterschatzt oder gar ignoriert werden. Eines davon ist, daB an jede Technik Mindestanforde rungen gestellt werden, urn ihren Einsatz rechtfertigen zu konnen. Dazu gehort durchweg ihre Zuverlassigkeit haufig sogar mit hochster Prioritat. Ein anderes damit zusammenhangendes Problem bildet die Akzeptanz technischer Systeme. Hierbei kann die...

Der Titel dieser Arbeit ist bereits ei ne kurze Inhaltsangabe. Es geht darum, die Matrixreprasentation von Petrinetzen in Gleichungs- und Ungleichungs systemen auszunutzen, urn Aussagen uber das Verhalten eines Netzmodells gewinnen oder beweisen zu konnen. Die Motivation fur die Verwendung linear-algebraischer Verfahren liegt in der Komplexitat des Verhaltens von Petrinetzen. So explodiert die Anzahl erreich barer Markierungen eines markierten Petrinetzes sowohl mit wachsender GroBe des Netzes als auch mit wachsender Zahl anfangs verteilter Marken. Eine di rekte Aufzahlung aller erreichbarer...

It is the good reader that makes the good book. RALPH WALDO EMERSON, Society & Solitude. In the course of two projects, the author of this book was involved in the design of the platforms PARFORM CS93) and LOLA Cap94), CS) for the support of parallel computing in distributed systems. The former system was geared towards the highly efficient use of idle resources in networks of workstations, and the latter system was intended as a scalability study: How many workstations in the global Internet can be used simultaneously for solving a massively parallel problem? In one of the experiments...

Ziel des Buches ist es, ein Framework fur eine modellseitig machtige und gleichzeitig effiziente multidimensionale Datenanalyse, basierend auf einem relationalen Datenbanksystem, zu beschreiben. Die multidimensionale Datenanalyse ist im Kontext des "Decision Support" fur eine flexible und umfassende betriebs- und volkswirtschaftliche Informationsversorgung einer Organisation verantwortlich und reflektiert somit auf technischer Ebene die zentrale Anwendung basierend auf einer "Data Warehouse"-Datenbasis.

Mit groBer Freude haben wir diesen Band zusammengesteHt - mit Freude deshalb, weil wir die Arbeit mit Blick auf einen herausragenden Wissenschaftler geleistet ha ben, dem wir selbst, dem dartiber hinaus aber auch die UniversitiH Karlsruhe und vor aHem die Informatik in Deutschland viel zu verdanken haben: Wolffried Stucky. Dieser Band ist irn Grunde nieht dem Umstand gewidmet, daB Wolffried Stucky 60 Jahre alt wird: vielmehr ist dies der vordergrtindige AnlaB, dem breiten Wirken eines unermtidlichen und unbeirrbaren Geistes eine besondere Aufmerksamkeit zu erw- sen. Dieser Band spiegelt in...

Dieses Buch behandelt Grundkonzepte der Programmiersprachensemantik anhand einer einfachen funktionalen Programmiersprache. Darauf aufbauend werden die Aufgaben und Probleme bei Nachweis von totaler und partieller Korrektheit einfacher funktionaler Programme behandelt. Insbesondere wird der Bezug zwischen Programmiersprachensemantik und formaler Logik illustriert. Prinzipielle Grenzen der "automatischen" Verifikation werden untersucht und die praktische Relevanz dieser Grenzen wird diskutiert.

Der TEUBNER-TEXT "Optik in der Rechentechnik" vermittelt neben den Grundlagen auch den aktuellen Stand der Technik auf dem Gebiet. Das Buch stellt interdisziplinar eine Verbindung zwischen der Informatik, Photonik und Elektronik her. Es wendet sich sowohl an Informatiker, die mehr uber die Moglichkeiten der Optik in der Schaltkreis- und Netzwerktechnik wissen mochten, als auch an Physiker und Ingenieure, die sich umfassend uber die Anwendung optischer und optoelektronischer Technologien in Architekturen informieren wollen.

Die noch vor einigen Jahren als Vision gehandelte Situation der vollstfuldig durch dringenden Vemetzung wird immer realistischer und realisierbarer. Der Rechner am Arbeitsplatz, der Laptop fUr unterwegs, der Heimcomputer, der digitale Assistent im Miniformat und nicht zuletzt das Mobiltelefon zeugen bereits von einer Infra struktur, die eine inhaltlich umfassende und gleichzeitig permanente Informations versorgung jedes Einzelnen ermoglicht. Eine derartige Strategie des 'Pervasive Computing' wartet sowohl mit enormen Ri siken als auch Chancen auf. So wird die Moglichkeit der omniprasenten...

Elementare Resultate aus der Komplexitatstheorie werden in diesem Buch ebenso behandelt wie auch die Themen Polynomialzeithierarchie, probabilistische Klassen oder die Hausdorffsche Hierarchie, Funktionalklassen und Zahlklassen. Das Buch ist aus mehrjahrigen Vorlesungen des Autors uber Komplexitatstheorie entstanden."

Das vorliegende Buch entha, lt den Tei11 meiner Vorlesung "Algorithmische In formationstheorie" im WS 1996/97. Dieser Teil beinhaltet eine Einfiihrung in die statistische Informationstheorie, die von Shannon 1948 begriindet wurde. Ich gebe dieses Buch heraus, da die Vorlesung auch den Anwendungen dieser Theorie auf algorithmische Probleme nachgeht. DaB die Entropie einer Quelle als untere Schranke fiir die Laufzeit von Suchprogrammen verwendet werden kann, ist seit 20 Jahren bekannt, ohne daB aber die Konzepte der Informati- 0Ilstheorie eine systematische Anwendung in dies em Bereich erfahren...