Software muss funktionieren, um von Kunden akzeptiert zu werden. Doch wie stellt man sicher, dass die Steuerung eines Raumschiffs, eines Herzschrittmachers oder einer Aktienverwaltung korrekt funktioniert? Neben den klassischen Testansatzen spielen fur den Korrektheitsnachweis zunehmend formale Modelle eine zentrale Rolle. Ein Modell erlaubt es, ein beliebiges sequenzielles oder verteiltes System zu analysieren und zu simulieren. Dadurch, dass Korrektheitsanforderungen prazise definiert werden, kann man sogar verifizieren, dass die Anforderungen erfullt sind. Dieses Buch stellt...

Der Zufall in Gestalt von unvorhersehbaren Risiken und Chancen spielt seit jeher eine groe Rolle bei vielen Entscheidungen in Wirtschaftsleben, Technik und Wissenschaft. Zufallige E- ?ussfaktoren mussen deshalb auch in die formalen Modelle aufgenommen werden, mit denen heutzutage komplexe Systeme geplant, gesteuert und optimiert werden. Fruher reichte es - bei oft, zufallsbehaftete Groen durch ihre Mittelwerte zu modellieren. Fur die Genauigkeit, die heutzutage von Modellen etwa fur Prozesse in Produktion und Logistik verlangt wird, mussen aber auch die zufalligen Ein?usse genauer modelliert...

Es werden die typischen Aufgabenstellungen der zeitstetigen Modellierung von Finanzmarkten wie Optionsbewertung (insbesondere auch die Black-Scholes-Formel und zugehorige Varianten) und Portfolio-Optimierung (Bestimmen optimaler Investmentstrategien) behandelt. Die benotigten mathematischen Werkzeuge (wie z. B. Brownsche Bewegung, Martingaltheorie, Ito-Kalkul, stochastische Steuerung) werden in selbstandigen Exkursen bereitgestellt. Das Buch eignet sich als Grundlage einer Vorlesung, die sich an einen Grundkurs in Stochastik anschliesst. Es richtet sich an Mathematiker, Finanz- und...

Dieses Lehrbuch bietet fur Studierende an Universitaten, Fachhochschulen und Berufsakademien sowie in Weiterbildung ausfuhrlichen Zugang zu einem Grundlagenfach mit zunehmender Praxisrelevanz. Es vermittelt die Inhalte der Lehrveranstaltung Signale und Systeme, die in Bachelorstudiengangen der Informationstechnik, Automatisierungstechnik, Technischen Informatik, Medientechnik u. A. meist geboten werden. Die Autoren zielen darauf ab, das Denken und Arbeiten im Zeit- und Frequenzbereich als praktisch nutzliche Methode zu verinnerlichen. Dabei wird die Fouriertransformation als einheitliches...

Mit der Globalisierung vergeben immer öfter deutsche Bauherren Planungs- und Bauaufträge an ausländische Ingenieurbüros und Bauunternehmen. Andererseits planen und bauen deutsche Ingenieurbüros und Bauunternehmen immer häufiger für ausländische Bauherren. Es bilden sich damit international besetzte, temporäre Projektorganisationen. Das Buch beschreibt die Aufgabengebiete von Bauherren, Beratenden Ingenieuren und Bauunternehmen im internationalen Markt und die vertragsrechtliche Bindung aller Beteiligten.Es zeigt die strukturellen, rechtlichen und baubetrieblichen Unterschiede...

Dieses Lehrbuch fuhrt Studierende des Maschinenbaus in ganzheitlicher Betrachtungsweise in die Grundlagen der Konstruktionstechnik ein. Es macht vertraut mit den Analyse- und Syntheseverfahren des methodischen Konstruierens und mit dem Gestalten von Maschinenbauelementen. Praxisorientiert werden technische und wirtschaftliche Kriterien bei der Auswahl von Werkstoffen und der Bauteilfertigung behandelt. Die vierte Auflage enthalt ein neues Kapitel zum formgerechten Gestalten.

Alle Gattungen von Kolbenmaschinen, vor allem Brennkraftmaschinen sowie Kolbenpumpen und -verdichter, aber auch Maschinen mit rotierendem Verdranger wie der Wankelmotor und die Rotationskompressoren, sind heute in Fahrzeugen wie auch kleinen und grossen ortsfesten oder beweglichen Anlagen und Aggregaten zu finden. Trotz der verschiedenartigen Aufgaben der Kolbenmaschinen ist ihnen bezuglich Aufbau und Betriebsweise vieles gemeinsam, z.B. die periodische Arbeitsweise, der Ladungswechsel sowie der Kompressions- und Expansionsvorgang. Hierbei sind die Pumpen als Grenzfall anzusehen.
Diese...

Die zweite Auflage des erfolgreichen Buches wurde unter Berucksichtigung zahlreicher Leserstimmen uberarbeitet und erweitert. Erganzt wurden u. a. klassische Themen und Probleme wie Huffman-Kodierung, Kruskal- und LCS-Algorithmus sowie Sudoku aus der Spieltheorie. So lernen Sie Programmiermethoden wie auch algorithmische und mathematische Konzepte in Zusammenhang mit C++-spezifischen Elementen verstehen und beispielhaft anwenden.
Doina Logofatu prasentiert sorgfaltig ausgewahlte Problemstellungen, die dem Leser den Ubergang vom konkreten Praxisbeispiel zur allgemeinen Theorie...

In den 80er und 90er Jahren wurde die objektorientierte Softwareentwicklung vor allem durch das Marketing einiger Produkthersteller als die Losung fur alle Prob leme der Softwareentwicklung dargestellt. Parallel dazu entwickelten sich die Konzepte und Technologien fur verteilte Systeme. Anfangs musste man die Kom munikation verteilter Anwendungen noch auf Basis von Sockets oder einer ahnli chen Transportzugriffsschnittstelle programmieren. Etwas spater kam dann der Remote Procedure Call (RPC) hinzu. Die meisten Probleme fur Entwickler waren in der Kommunikationsschicht zu losen. Die...

Das Buch vermittelt praxisbezogen und in kompakter Form wichtige Grundkonzepte und Standards der Datenkommunikation in heutigen Rechnernetzen. Nach einer Einfuhrung in Referenzmodelle und Protokollmechanismen werden zunachst die technischen Grundlagen von Netzwerken sowie ausgewahlte Technologien und Kommunikationsprotokolle unterer Schichten vorgestellt. Im Hauptteil des Buches werden die Konzepte und Protokolle der Vermittlungs- und der Transportschicht insbesondere am Beispiel der TCP/IP-Protokollfamilie vertieft betrachtet. Wichtige Protokolle bzw. Systeme der Anwendungsschicht wie DNS...