Deutsch
Deutschland
Anmelden
Tipp von eurobuch.com
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 3540741046 ankaufen:
Suchtools
Buchtipps
Aktuelles
FILTER
- 0 Ergebnisse
Kleinster Preis: 45,00 €, größter Preis: 64,99 €, Mittelwert: 55,78 €
Decision Procedures : An Algorithmic Point of View - Daniel Kroening
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Daniel Kroening:
Decision Procedures : An Algorithmic Point of View - neues Buch

2008, ISBN: 3540741046

ID: 14848378857

[EAN: 9783540741046], Neubuch, [SC: 8.92], [PU: Springer-Verlag Gmbh Mai 2008], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; AI ( ); LOGIK; PHILOSOPHIE COMPUTERS COMPUTER SCIENCE; SOFTWARE DEVELOPMENT & ENGINEERING GENERAL; MATHEMATICS LOGIC, Neuware - A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research. The techniques described in the book draw from fields such as graph theory and logic, and are routinely used in industry. The authors introduce the basic terminology of satisfiability modulo theories and then, in separate chapters, study decision procedures for each of the following theories: propositional logic; equalities and uninterpreted functions; linear arithmetic; bit vectors; arrays; pointer logic; and quantified formulas. They also study the problem of deciding combined theories and dedicate a chapter to modern techniques based on an interplay between a SAT solver and a decision procedure for the investigated theory. This textbook has been used to teach undergraduate and graduate courses at ETH Zurich, at the Technion, Haifa, and at the University of Oxford. Each chapter includes a detailed bibliography and exercises. Lecturers' slides and a C++ library for rapid prototyping of decision procedures are available from the authors' website. 304 pp. Englisch

Neues Buch ZVAB.com
AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
NEW BOOK. Versandkosten: EUR 8.92
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Decision Procedures - Daniel Kroening
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Daniel Kroening:
Decision Procedures - neues Buch

1, ISBN: 9783540741046

[ED: Buch], [PU: Springer-Verlag GmbH], Neuware - A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research. The techniques described in the book draw from fields such as graph theory and logic, and are routinely used in industry. The authors introduce the basic terminology of satisfiability modulo theories and then, in separate chapters, study decision procedures for each of the following theories: propositional logic equalities and uninterpreted functions linear arithmetic bit vectors arrays pointer logic and quantified formulas. They also study the problem of deciding combined theories and dedicate a chapter to modern techniques based on an interplay between a SAT solver and a decision procedure for the investigated theory. This textbook has been used to teach undergraduate and graduate courses at ETH Zurich, at the Technion, Haifa, and at the University of Oxford. Each chapter includes a detailed bibliography and exercises. Lecturers' slides and a C++ library for rapid prototyping of decision procedures are available from the authors' website., DE, [SC: 13.90], Neuware, gewerbliches Angebot, 244x163x28 mm, 304, [GW: 623g], offene Rechnung (Vorkasse vorbehalten), PayPal, Kreditkarte, Banküberweisung, Internationaler Versand

Neues Buch Booklooker.de
Buchhandlung - Bides GbR
Versandkosten:Versand nach Österreich. (EUR 13.90)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) - Daniel Kroening, Ofer Strichman, R.E. Bryant
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Daniel Kroening, Ofer Strichman, R.E. Bryant:
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) - gebunden oder broschiert

ISBN: 3540741046

[SR: 183198], Gebundene Ausgabe, [EAN: 9783540741046], Springer, Springer, Book, [PU: Springer], Springer, Decision Procedures This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH Zurich and at the Technion, Haifa. The authors focus on theories that are expressive enough to model real problems, but are still decidable. Full description, 63355011, Künstliche Intelligenz, 63336011, Informatik, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher, 63252011, Softwareentwicklung, 63248011, Software-Design & Entwicklung, 63381011, Programmieren, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher, 56243011, Logik, 56230011, Reine Mathematik, 56214011, Mathematik, 56047011, Wissenschaft, 54071011, Genres, 52044011, Fremdsprachige Bücher

gebrauchtes bzw. antiquarisches Buch Amazon.de (Intern...
Birgit9
Gebraucht. Versandkosten:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) - Daniel Kroening, Ofer Strichman, R.E. Bryant
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Daniel Kroening, Ofer Strichman, R.E. Bryant:
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) - gebunden oder broschiert

ISBN: 3540741046

[SR: 183198], Gebundene Ausgabe, [EAN: 9783540741046], Springer, Springer, Book, [PU: Springer], Springer, Decision Procedures This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH Zurich and at the Technion, Haifa. The authors focus on theories that are expressive enough to model real problems, but are still decidable. Full description, 63355011, Künstliche Intelligenz, 63336011, Informatik, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher, 63252011, Softwareentwicklung, 63248011, Software-Design & Entwicklung, 63381011, Programmieren, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher, 56243011, Logik, 56230011, Reine Mathematik, 56214011, Mathematik, 56047011, Wissenschaft, 54071011, Genres, 52044011, Fremdsprachige Bücher

Neues Buch Amazon.de (Intern...
Kennys Bookshop
Neuware. Versandkosten:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Decision Procedures - Daniel Kroening; Ofer Strichman
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Daniel Kroening; Ofer Strichman:
Decision Procedures - gebunden oder broschiert

2008, ISBN: 9783540741046

ID: 8346681

An Algorithmic Point of View, 2008, Hardcover, Buch, [PU: Springer Berlin]

Neues Buch Lehmanns.de
Versandkosten:sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Decision Procedures

A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research. The techniques described in the book draw from fields such as graph theory and logic, and are routinely used in industry. The authors introduce the basic terminology of satisfiability modulo theories and then, in separate chapters, study decision procedures for each of the following theories: propositional logic; equalities and uninterpreted functions; linear arithmetic; bit vectors; arrays; pointer logic; and quantified formulas.

Detailangaben zum Buch - Decision Procedures


EAN (ISBN-13): 9783540741046
ISBN (ISBN-10): 3540741046
Gebundene Ausgabe
Erscheinungsjahr: 2008
Herausgeber: Springer-Verlag GmbH
304 Seiten
Gewicht: 0,623 kg
Sprache: Englisch

Buch in der Datenbank seit 16.10.2007 08:45:30
Buch zuletzt gefunden am 08.11.2017 16:12:55
ISBN/EAN: 3540741046

ISBN - alternative Schreibweisen:
3-540-74104-6, 978-3-540-74104-6


< zum Archiv...
Benachbarte Bücher