Systematische Einfuhrung in die Verfahren fur den Entwurf eingebetteter Systeme. Diese sind in einen technischen Kontext eingebettet und zugleich hinsichtlich ihrer Aufgaben, Fahigkeiten, Schnittstellen und Einsatzgebiete spezialisiert. Die Anforderung: Hardware- und Softwarekomponenten mussen reibungslos miteinander kooperieren (z.B. Automobil- und Unterhaltungselektronik/Kommunikations- und Medizintechnik). Die Autoren beschreiben alle Verfahren: einheitlich, fur Hard- und Software, von der Modellierung bis zur Codegenerierung. Unentbehrliches Wissen fur Studierende und wertvolles...
Systematische Einfuhrung in die Verfahren fur den Entwurf eingebetteter Systeme. Diese sind in einen technischen Kontext eingebettet und zugleich h...
Das vorliegende Buch gibt eine Einfuhrung in die klassische Integralgeometrie und ihre praktischen Anwendungen in der Stereologie und der Bildrekonstruktion. Daher wird vor allem die elementare zweidimensionale Integralgeometrie und ihre praktisch bedeutsame Verallgemeinerung auf den dreidimensionalen Fall vorgestellt. Inhaltliche Schwerpunkte sind: Grundlagen der Konvexgeometrie, Integralgeometrie und Radon-Transformation. Zahlreiche anschauliche Beispiele und Anwendungen zeigen die grundlegende Bedeutung des Gebietes fur Bildauswertungen in der Biologie, Medizin, Petrographie und...
Das vorliegende Buch gibt eine Einfuhrung in die klassische Integralgeometrie und ihre praktischen Anwendungen in der Stereologie und der Bildrekon...
Ubersetzer fur hohere Programmiersprachensind grosse komplexeSoftwaresysteme. Sie habenabereinigebesondereEigenschaften, diesie vordenmeistenanderenSo- waresystemen auszeichnen. Ihre Funktionalitat ist (fast) wohlde?niert. Idealerweise existieren vollstandige formale oder zumindest prazise Beschreibungen der Quellsprache und der Zielsp- che. Hau?g gibt es dazu noch Beschreibungen von Schnittstellen zum Betriebs- stem, zum Programmiersystem und zu Programmierumgebungen, zu anderen Ub- setzern und zu Programmbibliotheken. Die Ubersetzungsaufgabe lasst sich auf naturliche Weise in Teilaufgaben...
Ubersetzer fur hohere Programmiersprachensind grosse komplexeSoftwaresysteme. Sie habenabereinigebesondereEigenschaften, diesie vordenmeistenanderenSo...
In dem Band werden Leser schrittweise an die Modellierung und den rechnergestutzten Entwurf digitaler Schaltungen herangefuhrt. Behandelt werden das logische und das Zeitverhalten, Laufzeittoleranz, Automaten- und andere Verhaltensmodelle, Synthese, Logikoptimierung und Rechenwerke. Auch in die Hardware-Beschreibungssprache VHDL wird eingefuhrt. Anhand von drei Entwurfen lernen Leser die Anwendung kennen. Begriffsdefinitionen, Abbildungen, Ubungsaufgaben mit Musterlosungen und begleitende Anwendungsbeispiele im Internet unterstutzen den Lernprozess.
In dem Band werden Leser schrittweise an die Modellierung und den rechnergestutzten Entwurf digitaler Schaltungen herangefuhrt. Behandelt werden da...
Das Buch behandelt schwere Probleme auf Graphen, fur die es vermutlich keine effizienten Algorithmen gibt. Der Autor stellt verschiedene Methoden vor, wie mit der algorithmischen Harte solcher Probleme umgegangen werden kann. Damit fuhrt er seine Leser an die Fronten der aktuellen Forschung auf diesem Teilgebiet der Algorithmik. Durch die leicht verstandliche Darstellung, viele erklarende Abbildungen, Beispiele und Ubungsaufgaben sowie die geeignete Auswahl von Resultaten und Techniken ist der Band besonders fur den Einsatz in der Lehre geeignet. "
Das Buch behandelt schwere Probleme auf Graphen, fur die es vermutlich keine effizienten Algorithmen gibt. Der Autor stellt verschiedene Methoden vor,...
Algorithmen bilden das Herzstuck jeder nichttrivialen Anwendung von Computern, und die Algorithmik ist ein modernes und aktives Gebiet der Informatik. Daher sollte sich jede Informatikerin und jeder Informatiker mit den algorithmischen Grundwerkzeugen auskennen. Dies sind Strukturen zur effizienten Organisation von Daten, haufig benutzte Algorithmen und Standardtechniken fur das Modellieren, Verstehen und Losen algorithmischer Probleme. Dieses Buch ist eine straff gehaltene Einfuhrung in die Welt dieser Grundwerkzeuge, gerichtet an Studierende und im Beruf stehende Experten, die mit dem...
Algorithmen bilden das Herzstuck jeder nichttrivialen Anwendung von Computern, und die Algorithmik ist ein modernes und aktives Gebiet der Informat...
Auf einen Rechner - ein informationsverarbeitendes System aus Hardware und Software - sollte Verlass sein. Das ist eine Anforderung, die in der Praxis oft nur mit sehr groem Aufwand oder in unbefriedigendem Mae zu erfullen ist. "Test von Rechnern" vermittelt einen umfassenden Uberblick uber die Probleme und Manahmen, mit denen die Verlasslichkeit informationsverarbeitender Systeme gesichert wird. Groer Wert wurde auf abschatzbare Kenngroen und anschauliche Experimente fur ihre Abschatzung gelegt. Da die Systeme immer groer werden und es immer schwieriger wird, sie von auen ausreichend...
Auf einen Rechner - ein informationsverarbeitendes System aus Hardware und Software - sollte Verlass sein. Das ist eine Anforderung, die in der Pra...
Die Autoren geben eine fundierte Einfuhrung in die Informatik, die von Anfang an die Zusammenhange zwischen den Teilgebieten des Faches betont. Das Buch ist kompakt, weil der gemeinsame Kern der verschiedenen Informatikgebiete betrachtet wird. In einer integrativen Sichtweise werden Modellierung, abstrakte Datentypen, Algorithmen sowie nebenlaufige und verteilte Programmierung behandelt. Die grundlegenden Konzepte der Informatik werden dabei mittels der Programmiersprache Java realisiert.
Wesentliches Anliegen der Autoren ist es, die Informatik als Wissenschaft der...
Die Autoren geben eine fundierte Einfuhrung in die Informatik, die von Anfang an die Zusammenhange zwischen den Teilgebieten des Faches betont. Das...
Studierende der Informatik haben ha ]u?g Schwierigkeiten, die in der V- lesung geh] orten und mitgeschriebenen oder in einem Buch gefundenen - thematischen Sachverhalte so zu verstehen, dass sie damit kreativ umgehen ] k] onnen. Dazu ist wie bei jedem Handwerk praktische Ubung erforderlich, die man sich durch L] osen konkreter Probleme erwirbt. Deshalb lege ich hier in Erg] anzung zu dem Buch Mathematik fur ] Inf- matik und Bioinformatik von M. Wol?, P. Hauck, W. Kuc ] hlin (Springer 2004) WHK] eine Sammlung von Aufgaben mit meist kompletten und a- f] uhrlichen Lo ]sungen vor. Bei der...
Studierende der Informatik haben ha ]u?g Schwierigkeiten, die in der V- lesung geh] orten und mitgeschriebenen oder in einem Buch gefundenen - themati...
Das Buch beschaftigt sich mit der Theorie endlicher Automaten und den klassischen Resultaten wie den Satzen von Richard Buchi und Michael Rabin. Die vier Teile des Buchs sind den unterschiedlichen Strukturen gewidmet: endliche Worter, Baume, endliche und unendliche Baume. Jeder Teil endet mit Ubungsaufgaben zum behandelten Stoff sowie Hinweisen auf weiterfuhrende Literatur. Soweit Vorkenntnisse zur Theorie formaler Sprachen vorhanden sind, kann das Buch ohne weitere Hilfsmittel durchgearbeitet werden.
Das Buch beschaftigt sich mit der Theorie endlicher Automaten und den klassischen Resultaten wie den Satzen von Richard Buchi und Michael Rabin. Di...
