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
Del 31 - Teubner Texte zur Informatik
Calculus of Distributed and Parallel Processes
Häftad, Engelska, 2012
1 079 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
388 kr
Skickas inom 10-15 vardagar
Del 28 - Teubner Texte zur Informatik
Parametrisierte Spezifikation von Schaltkreisen
Graphischer Entwurf regulärer Strukturen
Häftad, Tyska, 1998
508 kr
Skickas inom 10-15 vardagar
Del 30 - Teubner Texte zur Informatik
Multidimensionale Datenbanksysteme
Modellierung und Verarbeitung
Häftad, Tyska, 1999
508 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.
Del 29 - Teubner Texte zur Informatik
Angewandte Informatik und Formale Beschreibungsverfahren
Festschrift zum 60. Geburtstag von Wolffried Stucky
Häftad, Tyska, 1999
508 kr
Skickas inom 10-15 vardagar
Del 32 - Teubner Texte zur Informatik
Vorlesungen zur Komplexitätstheorie
Häftad, Tyska, 2000
626 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
388 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.
Del 35 - Teubner Texte zur Informatik
Optik in der Rechentechnik
Photonisches VLSI und optische Netzwerke
Häftad, Tyska, 2002
388 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.
Del 36 - Teubner Texte zur Informatik
Subskriptionssysteme
Marktplatz für omnipräsente Informationen
Häftad, Tyska, 2002
388 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.
Del 33 - Teubner Texte zur Informatik
Backup und Recovery in Datenbanksystemen
Verfahren, Klassifikation, Implementierung und Bewertung
Häftad, Tyska, 2001
388 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
678 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.
Del 162 - Teubner Texte zur Informatik
Begründungsverwaltung
Beiträge zu einem Workshop über Reason Maintenance Berlin, 9. Oktober 1986 Proceedings
Häftad, Engelska, 1988
1 111 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.
Del 1 - Teubner Texte zur Informatik
Informatik
Festschrift zum 60. Geburtstag von Günter Hotz
Häftad, Tyska, 1992
508 kr
Skickas inom 10-15 vardagar
Del 2 - Teubner Texte zur Informatik
Implementierung und parallele Verarbeitung von Kommunikationssoftware
Häftad, Tyska, 1993
508 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
508 kr
Skickas inom 5-8 vardagar
Del 7 - Teubner Texte zur Informatik
Workflow-Management in verteilten Systemen
Entwurf und Betrieb geregelter arbeitsteiliger Anwendungssysteme
Häftad, Tyska, 1993
575 kr
Skickas inom 10-15 vardagar
Del 10 - Teubner Texte zur Informatik
Evolution in Objekt-Datenbanken
Anpassung und Integration bestehender Informationssysteme
Häftad, Tyska, 1995
508 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.
Del 13 - Teubner Texte zur Informatik
Datenbankkonversationen
Unterstützung kooperativer Gruppenarbeit aus datenorientierter Sicht
Häftad, Tyska, 1995
508 kr
Skickas inom 10-15 vardagar
Del 14 - Teubner Texte zur Informatik
Dialogmodellierung für multimediale Benutzerschnittstellen
Häftad, Tyska, 1995
508 kr
Skickas inom 10-15 vardagar
Del 19 - Teubner Texte zur Informatik
Eine Grundlegung der Average-Case Komplexitätstheorie
Häftad, Tyska, 1996
508 kr
Skickas inom 10-15 vardagar
Del 21 - Teubner Texte zur Informatik
Zuverlässigkeitsbewertung technischer Systeme
Modelle für Zuverlässigkeitsstrukturen und ihre analytische Auswertung
Häftad, Tyska, 1997
508 kr
Skickas inom 10-15 vardagar
Del 23 - Teubner Texte zur Informatik
Adaptive Datenreplikation in verteilten Systemen
Häftad, Tyska, 1997
508 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.
Del 24 - Teubner Texte zur Informatik
Dynamic Load Distribution for Parallel Applications
Häftad, Tyska, 1997
508 kr
Skickas inom 10-15 vardagar
Del 23 - Teubner Texte zur Informatik
Algorithmische Informationstheorie
Statistische Informationstheorie und Anwendungen auf algorithmische Fragestellungen
Häftad, Tyska, 1997
368 kr
Skickas inom 10-15 vardagar
Del 26 - Teubner Texte zur Informatik
Petrinetze, lineare Algebra und lineare Programmierung
Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen
Häftad, Tyska, 1998
458 kr
Skickas inom 10-15 vardagar
Del 27 - Teubner Texte zur Informatik
Entwurf selbsttestbarer Schaltungen
Häftad, Tyska, 1998
558 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.