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
Häftad, Engelska, 2012
1 084 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.
Del 3 - Teubner Texte zur Informatik
Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems
Häftad, Tyska, 2012
389 kr
Skickas inom 10-15 vardagar
Häftad, Tyska, 1998
510 kr
Skickas inom 10-15 vardagar
Häftad, Tyska, 1999
510 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.
Häftad, Tyska, 1999
510 kr
Skickas inom 10-15 vardagar
Del 32 - Teubner Texte zur Informatik
Vorlesungen zur Komplexitätstheorie
Häftad, Tyska, 2000
629 kr
Skickas inom 10-15 vardagar
In diesem Buch werden sowohl elementare Resultate aus der Komplexitätstheorie behandelt als auch Themen wie Polynomialzeithierarchie, probabilistische Klassen oder die Hausdorffsche Hierarchie, Funktionalklassen und Zählklassen. Das Buch ist aus mehrjährigen Vorlesungen des Autors über Komplexitätstheorie entstanden.
Del 34 - Teubner Texte zur Informatik
Semantik und Programmverifikation
Häftad, Tyska, 2001
389 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.
Häftad, Tyska, 2002
389 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 interdisziplinär eine Verbindung zwischen der Informatik, Photonik und Elektronik her. Es wendet sich sowohl an Informatiker, die mehr über die Möglichkeiten der Optik in der Schaltkreis- und Netzwerktechnik wissen möchten, als auch an Physiker und Ingenieure, die sich umfassend über die Anwendung optischer und optoelektronischer Technologien in Architekturen informieren wollen.
Häftad, Tyska, 2002
389 kr
Skickas inom 10-15 vardagar
Die noch vor einigen Jahren als Vision gehandelte Situation der vollständigen Vernetzung wird immer realistischer und realisierbarer. Eine derartige Strategie des 'Pervasive Computing' wartet sowohl mit enormen Risiken als auch mit Chancen auf. Die Möglichkeit der omnipräsenten Informationsversorgung wird unsere Gesellschaft vor weit reichende ökonomische, soziale und gesellschaftspolitische Aufgaben stellen. Notwendig ist somit eine kontrollierte Informationsbereitstellung, die eine Informationsüberflutung des Benutzers durch Vorselektion und Verarbeitung der auszuliefernden Daten verhindert. Das Buch adressiert derartige Kommunikations- und Verarbeitungskonzepte im Kontext datenbankbasierter Subskriptionssysteme.
Häftad, Tyska, 2001
389 kr
Skickas inom 10-15 vardagar
Rapide steigende Datenmengen sind das aktuelle Problem der heutigen Informationsverarbeitung. Dies betrifft besonders den Bereich der Datenbanken. Daraus ergeben sich zahlreiche Probleme sowohl für den Betrieb von Datenbanksystemen als auch insbesondere für deren Administration. Dieses Buch gibt einen Überblick über den state of the art in Forschung und Technik bezüglich Sicherungs- und Wiederherstellungsmechanismen in Datenbanksystemen (Backup und Recovery). Vorgestellt werden Verbesserungsmöglichkeiten existierender Verfahren und neue Ansätze für den effizienten Schutz vor Datenverlust.
Del 15 - Teubner Texte zur Informatik
Hardware Design
Formaler Entwurf digitaler Schaltungen
Häftad, Tyska, 2005
681 kr
Skickas inom 5-8 vardagar
Dieses Hochschullehrbuch behandelt in mathematisch präziser Weise den Entwurf digitaler Hardware. Kapitel eins enthält eine Diskussion mathematischer Grundbegriffe. In den Kapiteln zwei bis vier werden die notwendigen theoretischen Grundlagen über Boolesche Ausdrücke, Schaltkreiskomplexität und Rechnerarithmetik behandelt. Der Übergang von der abstrakten Schaltkreistheorie zum Entwurf konkreter Schaltungen findet nahtlos in Kapitel fünf statt, wo aus den Verzögerungszeiten von Gattern das zeitliche Verhalten von Flipflops und anderen Speicherbausteinen abgeleitet wird. Kapitel sechs enthält dann das vollständige Design eines einfachen Rechners. Zahlreiche Wissenschaftler, die heute in der Industrie Prozessoren designen, wurden nach diesem bewährten Buch ausgebildet.
Häftad, Engelska, 1988
1 116 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.
Häftad, Tyska, 1992
510 kr
Skickas inom 10-15 vardagar
Häftad, Tyska, 1993
510 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.
Häftad, Tyska, 1993
510 kr
Skickas inom 5-8 vardagar
Häftad, Tyska, 1993
577 kr
Skickas inom 10-15 vardagar
Häftad, Tyska, 1995
510 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.
Häftad, Tyska, 1995
510 kr
Skickas inom 10-15 vardagar
Häftad, Tyska, 1995
510 kr
Skickas inom 10-15 vardagar
Häftad, Tyska, 1996
510 kr
Skickas inom 10-15 vardagar
Häftad, Tyska, 1997
510 kr
Skickas inom 10-15 vardagar
Häftad, Tyska, 1997
510 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.
Häftad, Tyska, 1997
510 kr
Skickas inom 10-15 vardagar
Häftad, Tyska, 1997
370 kr
Skickas inom 10-15 vardagar
Häftad, Tyska, 1998
460 kr
Skickas inom 10-15 vardagar
Häftad, Tyska, 1998
561 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.