Filteren
1
Sorteren
26 resultaten
Serie: Teubner texte zur informatik
paperbackDuits9783519230472
15-3-2005
Dieses Lehrbuch beschäftigt sich in mathematisch präziser Weise mit einem ganz und gar praktischen Thema, nämlich dem Entwurf digitaler Hardware. Neben einer Diskussion der mathematischen Grundbegriffe werden die notwendigen theoretischen Grundlagen behandelt. Meer
paperbackDuits9783519003724
29-5-2002
Die noch vor einigen Jahren als Vision gehandelte Situation der vollstfuldig durch dringenden Vemetzung wird immer realistischer und realisierbarer. Meer
paperbackEngels9783322867650
14-3-2012
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. Meer
paperbackDuits9783519003106
1-1-1999
Ziel des Buches ist es, ein Framework für eine modellseitig mächtige und gleichzeitig effiziente multidimensionale Datenanalyse, basierend auf einem relationalen Datenbanksystem, zu beschreiben. Meer
paperbackDuits9783519003366
29-11-2001
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. Meer
paperbackDuits9783519003380
14-8-2002
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. Meer
paperbackDuits9783322976123
6-12-2012
paperbackDuits9783519004165
11-4-2001
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. Meer
paperbackDuits9783519002390
1-1-1998
Im vorliegenden Buch wird, basierend auf meiner Dissertation, die Kon zeption und Implementierung einer graphischen Arbeitsumgebung fUr das VLSI-Entwurfssystem CADIC beschrieben, welches im Rahmen des Sonder forschungsbereiches 124 im Teilprojekt B1 an der Universit? Meer
paperbackDuits9783519003120
1-1-1999
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. Meer
paperbackDuits9783519003151
30-10-2000
Elementare Resultate aus der Komplexitätstheorie werden in diesem Buch ebenso behandelt wie auch die Themen Polynomialzeithierarchie, probabilistische Klassen oder die Hausdorffsche Hierarchie, Funktionalklassen und Zählklassen. Meer
paperbackEngels9783540188537
15-2-1988
Dieses Buch enthält die schriftlichen Ausarbeitungen von Vorträgen, die am 9. Oktober 1986 auf einem Workshop über Reason Maintenance gehalten worden sind. Meer
paperbackDuits9783815423011
1-8-1996
Dieses Buch hat die sogenannte average-case Komplexitätstheorie zum Gegenstand, ein vergleichsweise junges Gebiet der strukturellen Komplexitätstheorie. Meer
paperbackDuits9783815423066
1-1-1997
Technik besitzt stets einen ausgepragten gesellschaftlichen Bezug, da sie die gesell schaftlich relevante Umsetzung wissenschaftlicher Erkenntnisse darstellt. Meer
paperbackDuits9783815423080
1-9-1997
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. Meer
paperbackDuits9783815423097
1-9-1997
Dynamic load distribution for parallel applications is one of the most important topics of research in the area of parallel and distributed systems. The German Science Foundation has been support ing research in this area by funding SFB 342 "Methods and Tools for the efficient Use of Parallel Systems" and GK "Cooperation and Resource-Management in Distributed Systems" since 1990 and 1995 respectively. Meer
paperbackDuits9783815423103
1-1-1997
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. Meer
paperbackDuits9783815423127
1-5-1998
Der Titel dieser Arbeit ist bereits ei ne kurze Inhaltsangabe. Es geht darum, die Matrixrepräsentation von Petrinetzen in Gleichungs- und Ungleichungs systemen auszunutzen, urn Aussagen über das Verhalten eines Netzmodells gewinnen oder beweisen zu können. Meer
paperbackDuits9783815423141
1-1-1998
Dieses Buch spannt einen Bogen von den Defekten bei der Halbleiterfertigung über 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. Meer
paperbackDuits9783815420331
1-2-1992
Dieser Band erscheint aus Anlafi des sechzigsten Geburtstags von Gunter Hotz. Er enthiilt Arbeiten seiner Schuler, Freunde und Kollegen. Gunter Hotz ist seit 1969 Professor fur Numerische Mathematik und Informatik an der Universitiit des Saarlandes. Meer