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
-51%
Making Good Decisions
  • paperback
  • 216 Seiten
  • Erschienen 2010
  • Society of Petroleum Engineers
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Making Good Decisions
Begg, Steve H.
71,56 € 145,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-28%
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.
123,81 € 171,20 €
Details
frontend/listing/product-box/box-product-slider.tpl
-67%
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
35,76 € 106,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-95%
Decisionmaker: 14 Business Situations for Analysis and Discussion (Cambridge Copy Collection)
  • spiral_bound
  • 100 Seiten
  • Erschienen 1997
  • CAMBRIDGE UNIV PR
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Decisionmaker: 14 Business Situations for...
Evans, David
2,71 € 56,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-77%
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
10,37 € 44,93 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
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.
3,28 € 88,76 €
Details
frontend/listing/product-box/box-product-slider.tpl
Decisions
  • paperback
  • 416 Seiten
  • Erschienen 1985
  • HarperCollins Distribution ...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Decisions
Bright, Freda
9,18 €
Details
frontend/listing/product-box/box-product-slider.tpl
-93%
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.
3,10 € 46,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-91%
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
2,74 € 28,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
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;
5,07 € 82,70 €
Details
frontend/listing/product-box/box-product-slider.tpl
-97%
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,02 € 64,19 €
Details
frontend/listing/product-box/box-product-slider.tpl
Beschaffung von Informatikmitteln: Kriterien - Pflichtenheft - Bewertung
  • paperback
  • 222 Seiten
  • Haupt Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Beschaffung von Informatikmitteln: Kriterien -...
Schweizerische Vereinigung ...
58,44 €
Details
frontend/listing/product-box/box-product-slider.tpl
-10%
Kluges Entscheiden: Disziplinäre Grundlagen und interdisziplinäre Verknüpfungen (Neue Staatswissenschaften, Band 4)
  • Kartoniert
  • 338 Seiten
  • Erschienen 2006
  • Mohr Siebeck
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Kluges Entscheiden: Disziplinäre Grundlagen und...
Scherzberg, Arno
57,68 € 64,00 €
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
15,92 €
Details
frontend/listing/product-box/box-product-slider.tpl
-91%
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,11 € 12,03 €
Details
frontend/listing/product-box/box-product-slider.tpl
-77%
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
5,04 € 22,10 €
Details
frontend/listing/product-box/box-product-slider.tpl
-76%
Entscheidungen zu den Golfregeln 2012-2013
  • paperback
  • 968 Seiten
  • Erschienen 2012
  • Köllen
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Entscheidungen zu den Golfregeln 2012-2013
Deutscher Golf Verband e.V....
7,67 € 32,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-92%
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...
8,28 € 106,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-83%
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
15,13 € 90,94 €
Details
frontend/listing/product-box/box-product-slider.tpl
-83%
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
15,94 € 96,29 €
Details
frontend/listing/product-box/box-product-slider.tpl
-86%
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.
4,41 € 32,10 €
Details
frontend/listing/product-box/box-product-slider.tpl
-89%
Multicriteria and Multiagent Decision Making with Applications to Economics and Social Sciences (Studies in Fuzziness and Soft Computing, 305, Band 305)
  • Gebunden
  • 332 Seiten
  • Erschienen 2013
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Multicriteria and Multiagent Decision Making...
Ventre, Aldo G. S. und Kacp...
12,07 € 106,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-51%
Granular Computing and Decision-Making: Interactive and Iterative Approaches (Studies in Big Data, 10, Band 10)
  • Gebunden
  • 368 Seiten
  • Erschienen 2015
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Granular Computing and Decision-Making:...
Pedrycz, Witold und Chen, S...
80,61 € 163,55 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
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é
8,34 € 129,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-27%
Aufgaben- und Leistungsgrenzen der Verwaltungsgerichtsbarkeit: Zur Dogmatik administrativer Letztentscheidungsbefugnisse unter Berücksichtigung des ... (Schriften zum Öffentlichen Recht)
  • paperback
  • 229 Seiten
  • Erschienen 2024
  • Duncker & Humblot
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Aufgaben- und Leistungsgrenzen der...
Marquard, Lennart
58,32 € 79,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-80%
Entscheidungen zu den Golfregeln 2014-2015
  • hardcover
  • 960 Seiten
  • Erschienen 2014
  • Köllen
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Entscheidungen zu den Golfregeln 2014-2015
Deutscher Golf Verband e.V....
6,42 € 32,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
Due Diligence
  • paperback
  • 304 Seiten
  • Erschienen 1997
  • Time Warner Paperbacks
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Due Diligence
Bennett, Paul
0,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-53%
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
43,74 € 92,40 €
Details
frontend/listing/product-box/box-product-slider.tpl
-29%
Tatbestandliche Abwägung und Beurteilungsspielraum: Zur Einheitlichkeit administrativer Entscheidungsfreiräume und zu deren Konsequenzen im ... einer Modernisierung (Jus Publicum, Band 76)
  • Leinen
  • 562 Seiten
  • Erschienen 2001
  • Mohr Siebeck
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Tatbestandliche Abwägung und...
Pache, Eckhard
98,08 € 139,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-36%
Das Recht auf menschliche Entscheidung: Zu den verfassungsrechtlichen Vorgaben der technischen Erzeugung von Verwaltungsentscheidungen (Beiträge zu normativen Grundlagen der Gesellschaft, Band 8)
  • Gebunden
  • 299 Seiten
  • Erschienen 2022
  • Mohr Siebeck
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Das Recht auf menschliche Entscheidung: Zu den...
Mund, Dorothea
60,47 € 94,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-81%
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.
14,52 € 78,06 €
Details
frontend/listing/product-box/box-product-slider.tpl
-45%
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
27,65 € 49,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
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
5,77 € 59,10 €
Details
frontend/listing/product-box/box-product-slider.tpl
-58%
Due Diligence for Global Deal Making: The Definitive Guide to Cross-Border Mergers and Acquisitions, Joint Ventures, Financings, and Strategic Alliances (Bloomberg Financial)
  • Hardcover
  • 372 Seiten
  • Erschienen 2002
  • Bloomberg Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Due Diligence for Global Deal Making: The...
Rosenbloom;
38,90 € 93,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-44%
Human-Centric Decision-Making Models for Social Sciences (Studies in Computational Intelligence, 502, Band 502)
  • Gebunden
  • 410 Seiten
  • Erschienen 2013
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Human-Centric Decision-Making Models for Social...
Guo, Peijun und Pedrycz, Witol
60,13 € 106,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-27%
Beurteilungsspielräume und Ermessen im Vergaberecht: Zur Dogmatik der Entscheidungsspielräume öffentlicher Auftraggeber (Schriften zum Wirtschaftsverwaltungs- und Vergaberecht)
  • Kartoniert
  • 361 Seiten
  • Erschienen 2014
  • Nomos
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Beurteilungsspielräume und Ermessen im...
Ricken, Robin
64,77 € 89,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-95%
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,30 € 28,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-69%
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
50,48 € 160,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-59%
Business Process Outsourcing. Entscheidungs-Leitfaden für das Out- und Insourcing von Geschäftsprozessen
  • Gebunden
  • 201 Seiten
  • Erschienen 2004
  • Schäffer-Poeschel
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Business Process Outsourcing....
Dittrich, Jörg
22,26 € 54,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-86%
Entscheidungs- und Spieltheorie (Springer-Lehrbuch)
  • Kartoniert
  • 444 Seiten
  • Erschienen 2001
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Entscheidungs- und Spieltheorie...
Wiese, Harald
4,50 € 32,99 €
Details