Teubner Texte zur Informatik – serie
Visar alla böcker i serien Teubner Texte zur Informatik. Handla med fri frakt och snabb leverans.
26 produkter
26 produkter
1 066 kr
Skickas inom 10-15 vardagar
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 conducted with these systems, up to 800 workstations on all five continents were cooperating for the solution of a search problem from molecular biology [Cap94). The most important lessons which the author was forced to learn during the course of these projects were not to rely on any documentation of network-and low-level system-calls, to use neither common sense nor mathematical logic during the design of a large distributed system, but to be happy with a working program, and not to ask, why it would work.
Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems
Häftad, Tyska, 2012
383 kr
Skickas inom 10-15 vardagar
Parametrisierte Spezifikation von Schaltkreisen
Graphischer Entwurf regulärer Strukturen
Häftad, Tyska, 1998
502 kr
Skickas inom 10-15 vardagar
Multidimensionale Datenbanksysteme
Modellierung und Verarbeitung
Häftad, Tyska, 1999
503 kr
Skickas inom 10-15 vardagar
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.
Angewandte Informatik und Formale Beschreibungsverfahren
Festschrift zum 60. Geburtstag von Wolffried Stucky
Häftad, Tyska, 1999
503 kr
Skickas inom 10-15 vardagar
620 kr
Skickas inom 10-15 vardagar
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.
383 kr
Skickas inom 10-15 vardagar
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.
383 kr
Skickas inom 10-15 vardagar
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.
383 kr
Skickas inom 10-15 vardagar
Backup und Recovery in Datenbanksystemen
Verfahren, Klassifikation, Implementierung und Bewertung
Häftad, Tyska, 2001
383 kr
Skickas inom 10-15 vardagar
Del 15 - Teubner Texte zur Informatik
Hardware Design
Formaler Entwurf digitaler Schaltungen
Häftad, Tyska, 2005
667 kr
Skickas inom 5-8 vardagar
Dieses Lehrbuch beschaftigt sich in mathematisch praziser Weise mit einem ganz und gar praktischen Thema, namlich dem Entwurf digitaler Hardware. Neben einer Diskussion der mathematischen Grundbegriffe werden die notwendigen theoretischen Grundlagen behandelt. Schliesslich wird dann das vollstandige Design eines einfachen Rechners entwickelt.
Begründungsverwaltung
Beiträge zu einem Workshop über Reason Maintenance Berlin, 9. Oktober 1986 Proceedings
Häftad, Engelska, 1988
1 098 kr
Skickas inom 10-15 vardagar
Dieses Buch enthalt die schriftlichen Ausarbeitungen von Vortragen, die am 9. Oktober 1986 auf einem Workshop uber Reason Maintenance gehalten worden sind. Der Begriff Begrundungsverwaltung als Ubersetzung von Reason Maintenance soll die Gleichzeitigkeit der Aspekte der Speicherung und Aufbewahrung der Begrundungen und der Erhaltung der Gultigkeit von Aussagen auf Grund der gultigen Begrundungen ausdrucken. Reason Maintenance ist eine Fortfuhrung und Verallgemeinerung von Truth Maintenance. Truth-Maintenance-Systeme sind Programmsysteme, die Speicher von Aussagen realisieren, die weitgehend nur auf aussagenlogischer Ebene formalisiert sind. Sie verwalten Aussagenmengen und ihre Bewertungen. Annahmen und einfache Konsequenzen aus ihnen werden in einer Weise aufbewahrt, dass eine widerspruchsfreie Aussagenmenge zu jedem konkreten Zeitpunkt erkennbar ist. Die Technik, mit der dieses Ziel erreicht wird, besteht in der Reprasentation der Beziehungen zwischen den Aussagen und in der Aufbewahrung der Pramissen, Implikationen und Schlussregeln, die zur Ableitung einer bestimmten Aussage verwendet worden sind.Der Zweck dieser Systeme ist demnach Konsistenzerhaltung durch Begrundungsverwaltung. Die vorliegenden Arbeiten reprasentieren den deutschen Wissensstand auf diesem Teilgebiet der Kunstlichen Intelligenz unter Betonung des Ansatzes von de Kleer. Damit fuhrt dieser Band den Leser an wesentliche aktuelle Forschungsergebnisse heran.
502 kr
Skickas inom 10-15 vardagar
Implementierung und parallele Verarbeitung von Kommunikationssoftware
Häftad, Tyska, 1993
502 kr
Skickas inom 10-15 vardagar
Die vorliegende Arbeit entstand während meiner Tätigkeit als wissenschaftlicher Mitarbeiter am Lehrstuhl für Informatik IV (Prof. Dr. O. Spaniol) der Rheinisch Westfälischen Technischen Hochschule Aachen. Herrn Prof. Dr. Otto Spaniol, der durch seine Anregungen, seine konstruktive Kritik und durch die mir gewährten Freiheiten viel zum Gelingen dieser Arbeit beigetragen hat, gilt mein persönlicher Dank. Herrn Prof. Dr. Wolfgang Effelsberg (Universität Mannheim) danke ich besonders herzlich für seine Bereitschaft zur Übernahme des Korreferats und für sein Interesse an meiner Arbeit. Danken möchte ich auch allen meinen Kollegen am Lehrstuhl und den Studenten, die auf die eine oder andere Weise einen Beitrag zum Entstehen und Gelingen der Arbeit geleistet haben und hier nicht alle genannt werden können. Besonders hervorheben möchte ich jedoch Herrn Kai Jakobs und Herrn Prof. Dr. Peter Martini, die mir insbesondere in der Anfangsphase bei der Auffindung meines wissenschaftlichen und beruflichen Weges hilfreich waren und Herrn Bernd Heinrichs und Herrn Christian Engel, die mir in ähnlicher Weise in der Schlußphase dieser Arbeit sehr geholfen haben. Ganz besonderes danken möchte ich den Menschen, die in anderer Weise beim Gelingen und beim Abschluß dieser Arbeit für mich sehr wichtig waren. Namentlich erwähnen möchte ich hier nur meine Frau Cordula Rupprecht, die wahrscheinlich mehr zu dieser Arbeit beigetragen hat, als ich bis heute begriffen habe und meinem Vater, der durch mich nicht nur Probleme mit dem Korrekturlesen dieser Arbeit hatte.
Formale Semantik eines erweiterten Entity-Relationship-Modells
Häftad, Tyska, 1993
500 kr
Skickas inom 5-8 vardagar
Workflow-Management in verteilten Systemen
Entwurf und Betrieb geregelter arbeitsteiliger Anwendungssysteme
Häftad, Tyska, 1993
568 kr
Skickas inom 10-15 vardagar
Evolution in Objekt-Datenbanken
Anpassung und Integration bestehender Informationssysteme
Häftad, Tyska, 1995
502 kr
Skickas inom 10-15 vardagar
Evolution in Objekt-Datenbanken behandelt die zunehmende Notwendigkeit der Anpassung bestehender Informationssysteme an das ständig zu erweiternde "Universe of Discourse" . Es handelt sich dabei um eine Thematik, die in jüng ster Zeit zentrale Bedeutung erhalten hat, und von der man glaubt, oder doch zumindest hofft, heute käufliche Datenbanksysteme hätten längst die entspre chenden Lösungen realisiert. Das Problem kann in zwei Dimensionen betrachtet werden. Die erste ist fast schon klassisch, sie betrachtet die Schemaevolution zur Anpassung von Datenbanken an geänderte Anforderungen. Die zweite Dimension wurde erst in den letzten Jahren als Teilproblem bei der Integration bzw. Interoperabilität von verschiedenen Datenbanken bekannt. Erneut sollen Schemata, jetzt aber aus mehreren Datenbanken, verändert werden, mit dem Ziel einer flexiblen Integration teilweise überlappender und möglicherweise gar widersprüchlicher "Universes of Discourse" . Beide Dimensionen sind bislang sowohl in existierenden Systemen wie auch in der Forschung unbefriedigend gelöst. Formale und systemtechnische Grund lagen sowie umfassende und realisierbare Konzepte waren bislang nur im Ansatz vorhanden. Bei diesem Buch handelt es sich um einen der wenigen Texte, die sich mit der Problematik dynamischer Veränderungen in Objektbanken systematisch auseinandersetzen. Der Autor präsentiert einen durchgängigen, auf wenigen Grundprimitiven aufbauenden Ansatz, der in Teilen im Forschungsprojekt CO CO ON realisiert wurde.
Datenbankkonversationen
Unterstützung kooperativer Gruppenarbeit aus datenorientierter Sicht
Häftad, Tyska, 1995
502 kr
Skickas inom 10-15 vardagar
Dialogmodellierung für multimediale Benutzerschnittstellen
Häftad, Tyska, 1995
502 kr
Skickas inom 10-15 vardagar
Eine Grundlegung der Average-Case Komplexitätstheorie
Häftad, Tyska, 1996
502 kr
Skickas inom 10-15 vardagar
Zuverlässigkeitsbewertung technischer Systeme
Modelle für Zuverlässigkeitsstrukturen und ihre analytische Auswertung
Häftad, Tyska, 1997
502 kr
Skickas inom 10-15 vardagar
Adaptive Datenreplikation in verteilten Systemen
Häftad, Tyska, 1997
502 kr
Skickas inom 10-15 vardagar
Die elektronische Datenverarbeitung dringt immer mehr in alle Lebensbereiche vor. Computer werden immer leistungsfähiger und preiswerter. Im Rahmen dieser Tendenzen wächst auch die Speicherkapazität der Rechner mit jeder neuen Rechnergeneration. Als entscheidender Faktor der Entwicklung in den letzten Jahren ist jedoch die weltweite Ver netzung von Rechnern zu nennen, die es ermöglicht hat, daß in kürzester Zeit viele neue Anwendungsgebiete erschlossen wurden und neue, stark expandierende Wirtschafts zweige entstanden sind. Vielfach wird das Zeitalter der Informationstechnologie heute schon proklamiert. Information ist zu einer kostbaren Ressource geworden, die genutzt werden kann und muß, um die Konkurrenzfähigkeit von Unternehmen sicherzustellen. Angesichts dieser Entwicklung ist es nicht verwunderlich, daß der Verfügbarkeit von Da ten eine zunehmend große Bedeutung beigemessen wird. Die Replikation von Daten ist das wichtigste und effektivste Mittel zur Erreichung einer hohen Verfügbarkeit in verteil ten Datenverwaltungssystemen. Durch Replikation wird die Zugriffslokalität ermöglicht, die für akzeptable Antwortzeiten oft vorausgesetzt werden muß. Da die Speicherkapazi tät der Rechner einen ständig geringer werdenden Kostenfaktor darstellt, lohnt sich die Replikation von Daten, zumindest bei Daten, die selten geändert werden, immer mehr.
502 kr
Skickas inom 10-15 vardagar
Algorithmische Informationstheorie
Statistische Informationstheorie und Anwendungen auf algorithmische Fragestellungen
Häftad, Tyska, 1997
364 kr
Skickas inom 10-15 vardagar
Petrinetze, lineare Algebra und lineare Programmierung
Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen
Häftad, Tyska, 1998
453 kr
Skickas inom 10-15 vardagar
551 kr
Skickas inom 10-15 vardagar
Dieses Buch spannt einen Bogen von den Defekten bei der Halbleiterfertigung uber die klassischen Testmethoden hin zu Selbsttestverfahren und den neuesten Forschungsarbeiten, die auf eine Integration von Entwurf und Test zielen und aus Verhaltensbeschreibungen automatisch gut testbare Schaltungen synthetisieren.