1. Home
  2. Medien
  3. Bücher
  4. Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
  • #
  • #

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

53.49 EUR

Ein praxisnahes Buch, das fortgeschrittene Techniken zur schnellen Lösung großer arithmetischer Constraint‑Sätze mit komplexen Booleschen Verknüpfungen vorstellt und deren Einsatz in Beweismaschinen für hybride Systeme erläutert.

Teilen:

Ähnliche Produkte

The McKinsey Engagement

The McKinsey Engagement

8.49 EUR
Al wardi, Hamood Amur: Efficient Algorithms for Solving Hamilton-Jacobi-Bellman Equations

Al wardi, Hamood Amur: Efficient Algorithms for Solving Hamilton-Jacobi-Bellman Equations

44.98 EUR
sBAM in solving Traveling Salesman Problem: A Cost Efficient Algorithm sBAM in Comparison to Genetic Algorithm for Solving the Traveling Salesman Problem

sBAM in solving Traveling Salesman Problem: A Cost Efficient Algorithm sBAM in Comparison to Genetic Algorithm for Solving the Traveling Salesman Problem

49.00 EUR
Goodyear EfficientGrip 215/60 R17 96H

Goodyear EfficientGrip 215/60 R17 96H

1426.92 EUR
Goodyear 22545 R18 95W EfficientGrip Performance XL FP VW

Goodyear 22545 R18 95W EfficientGrip Performance XL FP VW

126.87 EUR
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

42.79 EUR
Problem-Solving Strategies for Efficient and Elegant Solutions, Grades 6-12: A Resource for the Mathematics Teacher

Problem-Solving Strategies for Efficient and Elegant Solutions, Grades 6-12: A Resource for the Mathematics Teacher

90.20 EUR
Philips LED Bulb E27 A60 4W 840lm Warm White Non-Dimmable

Philips LED Bulb E27 A60 4W 840lm Warm White Non-Dimmable

5.45 EUR