Teubner Texte zur Informatik – serie
Visar alla böcker i serien Teubner Texte zur Informatik. Handla med fri frakt och snabb leverans.
26 produkter
Calculus of Distributed and Parallel Processes
Häftad, 2012
1098 kr
Lägg i varukorg
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 …
Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems
Häftad, 2012
393 kr
Lägg i varukorg
Parametrisierte Spezifikation von Schaltkreisen
Graphischer Entwurf regulärer Strukturen
Häftad, 1998
517 kr
Lägg i varukorg
Multidimensionale Datenbanksysteme
Modellierung und Verarbeitung
Häftad, 1999
515 kr
Lägg i varukorg
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 …
Angewandte Informatik und Formale Beschreibungsverfahren
Festschrift zum 60. Geburtstag von Wolffried Stucky
Av Georg Lausen, Andreas Oberweis m. fl.
Häftad, 1999
515 kr
Lägg i varukorg
Vorlesungen zur Komplexitätstheorie
Häftad, 2000
637 kr
Lägg i varukorg
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 …
Semantik und Programmverifikation
Häftad, 2001
393 kr
Lägg i varukorg
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 …
Optik in der Rechentechnik
Photonisches VLSI und optische Netzwerke
Av Dietmar Fey
Häftad, 2002
393 kr
Lägg i varukorg
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 …
Subskriptionssysteme
Marktplatz für omnipräsente Informationen
Häftad, 2002
393 kr
Lägg i varukorg
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 …
Backup und Recovery in Datenbanksystemen
Verfahren, Klassifikation, Implementierung und Bewertung
Av Uta Störl
Häftad, 2001
393 kr
Lägg i varukorg
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 …
Hardware Design
Formaler Entwurf digitaler Schaltungen
Av Jörg Keller, Wolfgang J. Paul m. fl.
Häftad, 2005
685 kr
Lägg i varukorg
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 …
Begründungsverwaltung
Beiträge zu einem Workshop über Reason Maintenance Berlin, 9. Oktober 1986 Proceedings
Häftad, 1988
1128 kr
Lägg i varukorg
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 …
Informatik
Festschrift zum 60. Geburtstag von Günter Hotz
Av Harald Ganzinger, Wolfgang J. Paul
Häftad, 1992
517 kr
Lägg i varukorg
Implementierung und parallele Verarbeitung von Kommunikationssoftware
Häftad, 1993
517 kr
Lägg i varukorg
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 …
Workflow-Management in verteilten Systemen
Entwurf und Betrieb geregelter arbeitsteiliger Anwendungssysteme
Häftad, 1993
583 kr
Lägg i varukorg
Evolution in Objekt-Datenbanken
Anpassung und Integration bestehender Informationssysteme
Häftad, 1995
517 kr
Lägg i varukorg
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 …
Datenbankkonversationen
Unterstützung kooperativer Gruppenarbeit aus datenorientierter Sicht
Häftad, 1995
515 kr
Lägg i varukorg
Zuverlässigkeitsbewertung technischer Systeme
Modelle für Zuverlässigkeitsstrukturen und ihre analytische Auswertung
Häftad, 1997
517 kr
Lägg i varukorg
Adaptive Datenreplikation in verteilten Systemen
Häftad, 1997
517 kr
Lägg i varukorg
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 …
Algorithmische Informationstheorie
Statistische Informationstheorie und Anwendungen auf algorithmische Fragestellungen
Av Günther Hotz
Häftad, 1997
373 kr
Lägg i varukorg
Petrinetze, lineare Algebra und lineare Programmierung
Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen
Häftad, 1998
466 kr
Lägg i varukorg
Entwurf selbsttestbarer Schaltungen
Häftad, 1998
568 kr
Lägg i varukorg
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 …
