1130007

9783540412854

Logic for Programming and Automated Reasoning 7th Conference Lpar 2000 Reunion Island, France, November 6-10, 2000, Proceedings

Logic for Programming and Automated Reasoning 7th Conference Lpar 2000 Reunion Island, France, November 6-10, 2000, Proceedings
$15.11
$3.95 Shipping
List Price
$87.95
Discount
82% Off
You Save
$72.84

  • Condition: New
  • Provider: Ergodebooks Contact
  • Provider Rating:
    82%
  • Ships From: Multiple Locations
  • Shipping: Standard
  • Comments: Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. 24*7 Customer Service.

   30-day money back guarantee
$13.11
$3.95 Shipping
List Price
$87.95
Discount
85% Off
You Save
$74.84

  • Condition: Good
  • Provider: Ergodebooks Contact
  • Provider Rating:
    82%
  • Ships From: Multiple Locations
  • Shipping: Standard
  • Comments: Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. 24*7 Customer Service.

   30-day money back guarantee

Ask the provider about this item.

Most renters respond to questions in 48 hours or less.
The response will be emailed to you.
Cancel
  • ISBN-13: 9783540412854
  • ISBN: 3540412859
  • Publisher: Springer

AUTHOR

Parigot, M., Voronkov, A.

SUMMARY

Das Hochwasser-Handbuch liefert Informationen über die Entstehung von Hochwasser, zum Umgang mit hohen Wasserständen und zur Reduzierung von Hochwasserschäden. Dazu werden die Grundlagen aus Hydrologie, Hydraulik, Grundbau und Baustofftechnik und in den Kapiteln zur Planung die bauliche Vorsorge sowie die Organisations- und Verhaltensvorsorge behandelt. Die notwendigen Maßnahmen bei akut aufkommendem Hochwasser sowie während und nach einem Hochwasser werden ausführlich beschrieben. Ergänzend wird die ökologische Gestaltung des Hochwasserschutzes und Landschaftspflege behandelt. Der Ermittlung, Auswertung und Versicherung von Hochwasserschäden widmen sich zwei spezielle Kapitel. Den Abschluss bildet eine Darstellung der rechtlichen Aspekte. Berechnungsbeispiele vertiefen das Verständnis, stellen einen Größenbezug her und versetzen den Anwender in die Lage, kleinere Berechnungen und Plausibilitätskontrollen selbst auszuführen.Parigot, M. is the author of 'Logic for Programming and Automated Reasoning 7th Conference Lpar 2000 Reunion Island, France, November 6-10, 2000, Proceedings' with ISBN 9783540412854 and ISBN 3540412859.

[read more]

Questions about purchases?

You can find lots of answers to common customer questions in our FAQs

View a detailed breakdown of our shipping prices

Learn about our return policy

Still need help? Feel free to contact us

View college textbooks by subject
and top textbooks for college

The ValoreBooks Guarantee

The ValoreBooks Guarantee

With our dedicated customer support team, 30-day no-questions-asked return policy, and our price match guarantee, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.