Suchergebnisse

Deine Suche ergab 15 Treffer
Cover-Bild Verbesserung der Methoden zur Prognose der KFZ-Bemessungsverkehrsstärken Produktdarstellung
Christoph Walther (Autor), Volker Waßmuth (Autor), Tobias Wieczorek (Autor)

Verbesserung der Methoden zur Prognose der KFZ-Bemessungsverkehrsstärken

Die Bemessung von Straßenverkehrsanlagen orientiert sich unter ökonomischen Aspekten nicht an der absoluten Spitzenstunde der Belastung, sondern in der Regel an der 30. Stunde der Dauerlinie. Da die Bemessung von Neu- und Ausbaumaßnahmen prinzipiell im Hinblick auf die zukünftig erwartbare Nachfrage ...

PREIS:
5,00 €
Cover-Bild Semantik und Programmverifikation Produktdarstellung
Christoph Walther (Autor)

Semantik und Programmverifikation


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 ...

PREIS:
37,99 €