Internet, Soziale Netzwerke, Spiele, Smartphones, DVDs, digitaler Rundfunk und digitales Fernsehen funktionieren nur deshalb, weil zu ihrer Entwicklung und Anwendung mathematisch abgesicherte Verfahren zur Verfügung stehen.
In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik, die für das Verständnis des formalisierten Problemlösens entscheidend und damit für Informatiker unerläßlich sind.
Dieses zweibändige Lehrbuch umfaßt einen Kanon von Themen, der an vielen Universitäten unter dem Titel "Diskrete Strukturen" fester Bestandteil des Informatik-Grundstudiums geworden ist.
In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik, die für das Verständnis des formalisierten Problemlösens entscheidend und damit für Informatiker unerläßlich sind.
In diesem Buch werden die Grundlagen partieller Differentialgleichungen sowie mit der Untersuchung numerischer Methoden für diese partiellen Differentialgleichungen in Zusammenhang stehende wichtige Überlegungen vorgestellt.
The main goal of this book is to help organizations improve their effort estimates and effort estimation processes by providing a step-by-step methodology that takes them through the creation and validation of models that are based on their own knowledge and experience.
This book honours the outstanding contributions of Vladimir Vapnik, a rare example of a scientist for whom the following statements hold true simultaneously: his work led to the inception of a new field of research, the theory of statistical learning and empirical inference; he has lived to see the field blossom; and he is still as active as ever.
Wirtschaftswissenschaftler, Ingenieure und Informatiker benötigen heutzutage profunde Kenntnisse über Modelle und Methoden der angewandten Wahrscheinlichkeitstheorie und Statistik.
Dieses umfassende Lehrbuch über Kombinatorische Optimierung ist die deutsche Übersetzung der fünften Auflage des Buches „Combinatorial Optimization – Theory and Algorithms".
Ausführlich werden in diesem Buch Aufgaben unterschiedlichen Schwierigkeitsgrades zu den Grundbegriffen der Mathematik, der Linearen Algebra und analytischen Geometrie sowie der Numerischen Algebra behandelt und deren Lösungen aufgezeigt.
Durch kostengünstige Multiprozessor-Desktoprechner, Cluster von PCs und Innovationen wie die Hyperthreading-Technologie oder Multicore-Prozessoren sind parallele Rechenressourcen allgegenwärtig.
Dieses Buch befasst sich mit schweren Problemen auf Graphen, für die es vermutlich keine effizienten Algorithmen gibt, und stellt verschiedene Methoden vor, wie man mit der algorithmischen Härte solcher Probleme umgehen kann.
Ein idealer Einstieg für Studierende der Informatik in die Mathematik, da jedes Kapitel mit konkreten, dem Leser vertrauten Begriffen oder Situationen beginnt.
Petri Netze sind das meist beachtete und am besten untersuchte Modell für parallele Rechnungen und Stellen/Transitionennetze, die bekannteste und wichtigste Klasse von Petri Netzen.
In jedem Handy, CD-Player und Computer steckt ein Chip, der lineare Gleichungssysteme über einem endlichen Körper blitzschnell löst, um fehlerbehaftetes Datenmaterial zu korrigieren; dieses Buch erklärt das mathematische Innenleben eines solchen Chips.
Dieses umfassende Lehrbuch über kombinatorische Optimierung ist die deutsche Übersetzung der vierten, wesentlich erweiterten Auflage des Buches „Combinatorial Optimization – Theory and Algorithms", dessen erste Auflage im Jahr 2000 erschienen ist.
Das vorliegende Buch ist eine Einführung in die Grundlagen der mathematischen Optimierung, die sich dadurch auszeichnet, dass diskrete und kontinuierliche Methoden integriert behandelt werden.
Ausführlich werden in diesem Buch Aufgaben unterschiedlichen Schwierigkeitsgrades zu den Grundbegriffen der Mathematik, der Linearen Algebra und analytischen Geometrie sowie der Numerischen Algebra behandelt und deren Lösungen aufgezeigt.
