LeafKlimaneutrales Unternehmen CoinFaire Preise PackageSchneller und kostenloser Versand ab 14,90 € Bestellwert
Gebrauchte & Neue Bücher
Keine Versandkosten
Nachhaltiges Unternehmen
Springer-Verlag GmbH
Decision Procedures

Decision Procedures

Kroening, Daniel

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Kurzinformation
Sprache:
Englisch
ISBN:
3662504960
Verlag:
Springer-Verlag GmbH
Seitenzahl:
356
Auflage:
-
Erschienen:
2017-01-27
Dieser Artikel steht derzeit nicht zur Verfügung!

Gebrauchte Bücher kaufen

Information
Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.
Information
Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information
Neuware - verlagsfrische aktuelle Buchausgabe.
Bestellen bei zvab
Neu bestellen bei lehmanns
Natural Handgeprüfte Gebrauchtware
Coins Schnelle Lieferung
Check Faire Preise

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Weitere Zahlungsmöglichkeiten  
Zahlungsarten

Beschreibung

Decision Procedures
An Algorithmic Point of View

Decision Procedures von Kroening, Daniel

Produktdetails

Einband:
Gebunden
Seitenzahl:
356
Erschienen:
2017-01-27
Sprache:
Englisch
EAN:
9783662504963
ISBN:
3662504960
Verlag:
Springer-Verlag GmbH
Gewicht:
735 g
Auflage:
-
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor

Kroening, Daniel

Daniel Kroening is a professor in the Dept. of Computer Science at the University of Oxford; his interests include automated verification, software engineering, and programming languages. Ofer Strichman is a professor in the faculty of industrial engineering and management at the Technion; his research interests include formal verification of software and hardware, and decision procedures for fragments of first-order logic.

Entdecke mehr vom Verlag

Springer-Verlag GmbH
Neu
80,24 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
Markov Decision Processes: Discrete Stochastic Dynamic Programming (Wiley Series in Probability and Statistics)
  • hardcover
  • 672 Seiten
  • Erschienen 1994
  • John Wiley & Sons Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Markov Decision Processes: Discrete Stochastic...
Puterman, Martin L.
180,58 €
Details
frontend/listing/product-box/box-product-slider.tpl
-51%
Decision Economics. Designs, Models, and Techniques for Boundedly Rational Decisions (Advances in Intelligent Systems and Computing, Band 805)
  • Kartoniert
  • 178 Seiten
  • Erschienen 2018
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Decision Economics. Designs, Models, and...
Bucciarelli, Edgardo
52,15 € 106,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
Decision Making in Otolaryngology
  • hardcover
    • -
  • -
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Decision Making in Otolaryngology
-
44,77 €
Details
frontend/listing/product-box/box-product-slider.tpl
-66%
Decision Making Essentials You Always Wanted to Know (Self-Learning Management Series)
  • hardcover
  • 190 Seiten
  • Erschienen 2021
  • Vibrant Publishers
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Decision Making Essentials You Always Wanted to...
Koscinski, Mark
15,12 € 44,93 €
Details
frontend/listing/product-box/box-product-slider.tpl
Recent Developments in Markov Decision Processes
  • hardcover
  • 334 Seiten
  • Erschienen 1980
  • Academic Press Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Recent Developments in Markov Decision Processes
etc.
3,37 €
Details
frontend/listing/product-box/box-product-slider.tpl
-95%
Rational Choice in an Uncertain World: The Psychology of Judgement and Decision Making
  • paperback
  • 372 Seiten
  • Erschienen 2001
  • SAGE Publications Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Rational Choice in an Uncertain World: The...
Dawes, Robyn M.
4,79 € 88,76 €
Details
frontend/listing/product-box/box-product-slider.tpl
-93%
Dispute Resolution
  • hardcover
  • 360 Seiten
  • Erschienen 2009
  • German Law Publishers
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Dispute Resolution
Baudenbacher, Carl
6,80 € 98,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
Judgment in Managerial Decision Making
  • hardcover
  • 230 Seiten
  • Erschienen 2008
  • John Wiley & Sons Ltd
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Judgment in Managerial Decision Making
Moore, Don A.
4,52 € 46,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-86%
Wharton on Making Decisions: Editors Stephen J. Hoch and Howard G. Kunreuther With Robert E. Gunther
  • hardcover
  • 339 Seiten
  • Erschienen 2001
  • John Wiley & Sons Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Wharton on Making Decisions: Editors Stephen J....
Kunreuther, Howard
4,00 € 28,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-81%
Entscheidungsverfahren für komplexe Probleme: Ein heuristischer Ansatz
  • hardcover
  • 295 Seiten
  • Erschienen 2012
  • Springer Gabler
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Entscheidungsverfahren für komplexe Probleme:...
Kühn, Richard
9,71 € 49,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-91%
Judgment and Decision Making: Psychological Perspectives (BPS Textbooks in Psychology)
  • Taschenbuch
  • 230 Seiten
  • Erschienen 2009
  • BPS Blackwell
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Judgment and Decision Making: Psychological...
Hardman, David;Hardman;
7,39 € 82,70 €
Details
frontend/listing/product-box/box-product-slider.tpl
-95%
Decision-Making under Uncertainty
  • paperback
  • 232 Seiten
  • Erschienen 1997
  • Palgrave
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Decision-Making under Uncertainty
Biswas, Tapan
2,95 € 64,19 €
Details
frontend/listing/product-box/box-product-slider.tpl
DBA-Verständigungsverfahren - Probleme und Verbesserungsvorschläge (IFSt Schrift)
  • hardcover
  • 63 Seiten
  • Erschienen 2009
  • Finanzen u. Steuern
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
DBA-Verständigungsverfahren - Probleme und...
Albert, Markus
23,21 €
Details
frontend/listing/product-box/box-product-slider.tpl
-87%
The Decision-Making Blueprint: A Simple Guide to Better Choices in Life and Work (The Good Life Blueprint Series, Band 3)
  • paperback
  • 162 Seiten
  • Erschienen 2019
  • Archangel Ink
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Decision-Making Blueprint: A Simple Guide...
Edblad, Patrik
1,62 € 12,03 €
Details
frontend/listing/product-box/box-product-slider.tpl
-67%
Amazing Decisions: The Illustrated Guide to Improving Business Deals and Family Meals
  • Kartoniert
  • 224 Seiten
  • Erschienen 2019
  • Macmillan Us
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Amazing Decisions: The Illustrated Guide to...
Ariely, Dan
7,34 € 22,10 €
Details
frontend/listing/product-box/box-product-slider.tpl
-89%
Multi-Level Decision Making: Models, Methods and Applications (Intelligent Systems Reference Library, 82, Band 82)
  • Gebunden
  • 377 Seiten
  • Erschienen 2015
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Multi-Level Decision Making: Models, Methods...
Zhang, Guangquan und Lu, Ji...
12,08 € 106,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-76%
Critical Thinking for Managers: Structured Decision-Making and Persuasion in Business (Management for Professionals)
  • hardcover
  • 193 Seiten
  • Erschienen 2021
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Critical Thinking for Managers: Structured...
Atanasiu, Radu
22,07 € 90,94 €
Details
frontend/listing/product-box/box-product-slider.tpl
-76%
Winning at Litigation through Decision Analysis: Creating and Executing Winning Strategies in any Litigation or Dispute (Springer Series in Operations Research and Financial Engineering)
  • Gebunden
  • 456 Seiten
  • Erschienen 2016
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Winning at Litigation through Decision...
Celona, John
23,25 € 96,29 €
Details
frontend/listing/product-box/box-product-slider.tpl
-80%
The Dynamic Decision Maker: Five Decision Styles for Executive and Business Success: 5 Styles for Executive and Business Success (Jossey Bass Business & Management Series)
  • paperback
  • 294 Seiten
  • Erschienen 1993
  • Jossey-Bass Inc.,U.S.
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Dynamic Decision Maker: Five Decision...
Hunsaker, Phillip L.
6,43 € 32,10 €
Details
frontend/listing/product-box/box-product-slider.tpl
-25%
Entscheidungstheorie
  • paperback
  • 581 Seiten
  • Erschienen 2025
  • Springer Gabler
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Entscheidungstheorie
Schenk-Mathes, Heike Y.
33,56 € 44,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-30%
Cost-Of-Delay Analysis: Use and Implementation of This Decision Support Tool
  • paperback
  • 128 Seiten
  • Erschienen 2012
  • LIGHTNING SOURCE INC
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Cost-Of-Delay Analysis: Use and Implementation...
Butler, Todd C.
32,69 € 47,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-91%
Production Control in Practice: A Situation-Dependent Decisions Approach
  • paperback
  • 320 Seiten
  • Erschienen 2024
  • Wiley-VCH
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Production Control in Practice: A...
Dirne, Corné
12,16 € 129,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-78%
Entscheidungs- und Spieltheorie (Studienkurs Politikwissenschaft)
  • Hardcover
  • 250 Seiten
  • Erschienen 2013
  • UTB
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Entscheidungs- und Spieltheorie (Studienkurs...
Behnke, Joachim
4,86 € 21,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-31%
Decisions and Elections: Explaining the Unexpected
  • hardcover
  • 256 Seiten
  • Erschienen 2001
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Decisions and Elections: Explaining the Unexpected
Donald G. Saari
63,79 € 92,40 €
Details
frontend/listing/product-box/box-product-slider.tpl
-73%
Advertising: A Decision-Making Approach
  • hardcover
  • 123 Seiten
  • Erschienen 1988
  • Thomson Learning
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Advertising: A Decision-Making Approach
Frazer, Charles F.
21,17 € 78,06 €
Details
frontend/listing/product-box/box-product-slider.tpl
-11%
Planung und Entscheidung: Modelle — Ziele — Methoden Mit Fallstudien und Lösungen
  • paperback
  • 644 Seiten
  • Erschienen 2014
  • Gabler Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Planung und Entscheidung: Modelle — Ziele —...
Adam, Dietrich
44,50 € 49,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-86%
Project Based Problem Solving and Decision Making: A Guide for Project Managers
  • hardcover
  • 208 Seiten
  • Erschienen 2023
  • Wiley
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Project Based Problem Solving and Decision...
Kerzner, Harold
8,42 € 59,10 €
Details
frontend/listing/product-box/box-product-slider.tpl
-93%
The Power of Experiments: Decision Making in a Data-Driven World (The MIT Press)
  • Gebunden
  • 232 Seiten
  • Erschienen 2020
  • The MIT Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Power of Experiments: Decision Making in a...
Luca, Michael (Harvard Busi...
1,90 € 28,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-54%
Decision Theory and Choices: a Complexity Approach (New Economic Windows)
  • Gebunden
  • 240 Seiten
  • Erschienen 2011
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Decision Theory and Choices: a Complexity...
Faggini, Marisa
73,63 € 160,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-100%
How to Solve Almost Any Problem: Turning Tricky Problems into Wise Decisions
  • paperback
  • 288 Seiten
  • Erschienen 2012
  • Pearson Education Limited
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
How to Solve Almost Any Problem: Turning Tricky...
Barker, Alan
0,00 € 14,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-80%
Entscheidungs- und Spieltheorie (Springer-Lehrbuch)
  • Kartoniert
  • 444 Seiten
  • Erschienen 2001
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Entscheidungs- und Spieltheorie...
Wiese, Harald
6,57 € 32,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-82%
Why Decisions Fail: Avoiding the Blunders and Traps That Lead to Debacles
  • paperback
  • 352 Seiten
  • Erschienen 2002
  • Berrett-Koehler Publishers
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Why Decisions Fail: Avoiding the Blunders and...
Nutt, Paul C.
3,95 € 22,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-81%
Explaining Decisions in the European Union
  • hardcover
  • 382 Seiten
  • Erschienen 2006
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Explaining Decisions in the European Union
Arne Niemann
19,10 € 102,40 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
Doing Critical Management Research (Sage Series in Management Research)
  • paperback
  • 240 Seiten
  • Erschienen 2000
  • Sage Publications Ltd
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Doing Critical Management Research (Sage Series...
Stanley Deetz
1,95 € 53,98 €
Details
frontend/listing/product-box/box-product-slider.tpl
-61%
Besser entscheiden – besser leben !: Von der Analyse zur Anwendung – Dein Rüstzeug für den entscheidenden Unterschied!
  • Kartoniert
  • 176 Seiten
  • Erschienen 2021
  • Verlagshaus Schlosser
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Besser entscheiden – besser leben !: Von der...
Jeschke, Barnim G.
5,82 € 14,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-29%
Ethische Entscheidungsfindung: Ein Handbuch für die Praxis
  • paperback
  • 224 Seiten
  • Erschienen 2011
  • Versus
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Ethische Entscheidungsfindung: Ein Handbuch für...
Huppenbauer, Markus
24,16 € 33,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-45%
INTERNATIONAL DISPUTE RESOLUTION SELECTED DOCUMENTS: Third revised and extended edition (Europa Institut of Saarland University - Selected Legal Documents)
  • paperback
  • 872 Seiten
  • Erschienen 2019
  • Alma Mater
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
INTERNATIONAL DISPUTE RESOLUTION SELECTED...
Weber, Stefan
15,47 € 28,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
Fuzzy Sets and Their Applications to Cognitive and Decision Processes
  • hardcover
  • 506 Seiten
  • Erschienen 1975
  • Academic Press Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Fuzzy Sets and Their Applications to Cognitive...
etc.
1,31 €
Details
frontend/listing/product-box/box-product-slider.tpl
-37%
Verwaltungsverfahren (Sonderausgabe)
  • hardcover
  • 756 Seiten
  • Erschienen 2021
  • MANZ Verlag Wien
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Verwaltungsverfahren (Sonderausgabe)
Zeleny, Klaus
61,57 € 98,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-22%
Better Than Conscious?: Decision Making, the Human Mind, and Implications for Institutions (Strungmann Forum Reports)
  • hardcover
  • 449 Seiten
  • Erschienen 2008
  • MIT Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Better Than Conscious?: Decision Making, the...
Singer, Wolf
8,14 € 10,43 €
Details