Angebote zu "Decision" (44 Treffer)

Kategorien

Shops

Decision Procedures
47,99 € *
ggf. zzgl. Versand

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.

Anbieter: buecher.de
Stand: 13.05.2019
Zum Angebot
Articulating Design Decisions
27,99 € *
ggf. zzgl. Versand

Offers principles, tactics, and actionable methods to help system designers explain their designs to stakeholders, clients, and other non-designers in a way that fosters agreement and with the goal of creating the best experience for the end user.

Anbieter: buecher.de
Stand: 13.05.2019
Zum Angebot
Decision support and strategic planning ontologies
39,90 € *
ggf. zzgl. Versand

This book was written in an attempt to present the state of the art in the utilization of the ontologies in the public administration. The term ontology comes from philosophy. Translation from Greek would be: Studying the nature of existence. In computer science, the most commonly quoted definition of ontology is given by the Gruber: Ontology is an explicit conceptualization specification. One of the interpretations of this definition would be that conceptualization refers to abstract a model of a phenomenon in the world, identifying the relevant concepts of this phenomenon. Explicit means that an explicitly defined type of concept is explicitly defined used as well as the limitations of their application. Typically, ontology consists of the list of terms and relationships between these terms. The terms designate concepts (classes or objects) of a domain. Relationships usually consist of a hierarchy of class.

Anbieter: buecher.de
Stand: 13.05.2019
Zum Angebot
The Art of Computer Programming, Volume 4, Fasc...
26,99 € *
ggf. zzgl. Versand

This multivolume work on the analysis of algorithms has long been recognized as the definitive description of classical computer science. The three complete volumes published to date already comprise a unique and invaluable resource in programming theory and practice. Countless readers have spoken about the profound personal influence of Knuth´s writings. Scientists have marveled at the beauty and elegance of his analysis, while practicing programmers have successfully applied his ´´cookbook´´ solutions to their day-to-day problems. All have admired Knuth for the breadth, clarity, accuracy, and good humor found in his books. To begin the fourth and later volumes of the set, and to update parts of the existing three, Knuth has created a series of small books called fascicles, which will be published at regular intervals. Each fascicle will encompass a section or more of wholly new or revised material. Ultimately, the content of these fascicles will be rolled up into the comprehensive, final versions of each volume, and the enormous undertaking that began in 1962 will be complete. Volume 4, Fascicle 1 This fascicle, enlivened by a wealth of Knuth´s typically enjoyable examples, describes basic ´´broadword´´ operations and an important class of data structures that can make computer programs run dozens-even thousands-of times faster. The author brings together and explains a substantial amount of previously scattered but eminently practical information known only to a few specialists. The book also includes nearly five-hundred exercises for self-study, with detailed answers given in nearly every case; dozens of these exercises present original material that has never before been published. Simply put, this fascicle is a must-have for anybody who is faced with tough problems of a combinatorial flavor. It demonstrates how ordinary programmers can make use of powerful techniques that heretofore seemed to be available only to people who used specialized languages and software. It shows how ideas once thought to be ´´far out´´ are now ready to become a part of the programming mainstream. Product Description Finally, after a wait of more than thirty-five years, the first part of Volume 4 is at last ready for publication. Check out the boxed set that brings together Volumes 1 - 4A in one elegant case, and offers the purchaser a $50 discount off the price of buying the four volumes individually. The Art of Computer Programming, Volumes 1-4A Boxed Set, 3/e ISBN: 0321751043 Art of Computer Programming, Volume 4, Fascicle 1, The: Bitwise Tricks & Techniques; Binary Decision Diagrams: Bitwise Tricks & Techniques; Binary Decision Diagrams This multivolume work on the analysis of algorithms has long been recognized as the definitive description of classical computer science. The three complete volumes published to date already comprise a unique and invaluable resource in programming theory and practice. Countless readers have spoken about the profound personal influence of Knuth´s writings. Scientists have marveled at the beauty and elegance of his analysis, while practicing programmers have successfully applied his ´´cookbook´´ solutions to their day-to-day problems. All have admired Knuth for the breadth, clarity, accuracy, and good humor found in his books. To begin the fourth and later volumes of the set, and to update parts of the existing three, Knuth has created a series of small books called fascicles, which will be published at regular intervals. Each fascicle will encompass a section or more of wholly new or revised material. Ultimately, the content of these fascicles will be rolled up into the comprehensive, final versions of each volume, and the enormous undertaking that began in 1962 will be complete. Volume 4, Fascicle 1 This fascicle, enlivened by a wealth of Knuth´s typically enjoyable examples, describes basic ´´broadword´´ operations and an important class of data structures that can make computer programs run dozens-even thousands-of times faster. The author brings together and explains a substantial amount of previously scattered but eminently practical information known only to a few specialists. The book also includes nearly five-hundred exercises for self-study, with detailed answers given in nearly every case; dozens of these exercises present original material that has never before been published. Simply put, this fascicle is a must-have for anybody who is faced with tough problems of a combinatorial flavor.

Anbieter: buecher.de
Stand: 13.05.2019
Zum Angebot
100 Übungsaufgaben zu Grundlagen der Informatik 2
19,95 € *
ggf. zzgl. Versand

Die optimale Prüfungsvorbereitung anhand 100 Aufgaben zur Technischen Informatik mit ausführlicher Lösung. Zu jedem Kapitel wird eine Einleitung mit Link auf die Videoaufzeichnung einer zugehörigen Vorlesung am Karlsruher Institut für Technologie gegeben. Außerdem können in einem Forum Fragen und Probleme zu allen Aufgaben diskutiert werden. Behandelt werden die Themen: Schaltnetze und Schaltwerke, Complementary Metal Oxide Semiconductor (CMOS), Binary Decision Diagram (BDD), Zahlendarstellung, Kodierung und Fehlererkennung, Verschlüsselung, Rechnerarchitektur, Programmierung, Assembler, Betriebssysteme, Dateiorganisation und weitere.

Anbieter: buecher.de
Stand: 13.05.2019
Zum Angebot
Informations- und Kodierungstheorie
34,99 € *
ggf. zzgl. Versand

Was ist Information? Wie kann man sie darstellen, sicher übertragen oder speichern? Viele Fragen, auf die das Buch Antworten gibt. Die Informationstheorie liefert die Grundlage für die Berechnung des Informationsgehalts von diskreten und kontinuierlichen Quellen und deren Darstellung in kodierter Form. So können erforderliche Speicher- und Kanalkapazitäten bei der Informationsverarbeitung und -übertragung in IT-Systemen bestimmt werden. Abschnitte im Kapitel Kanalkodierung wurden inhaltlich neu gestaltet und erweitert. Es zeigt Lösungen für eine sichere Informationsübertragung über gestörte Kanäle. Ausführlich werden Block- und blockfreie Kodes, serielle und parallele Kodeverkettungen mit hard decision- und (iterativer) soft decision-Dekodierung beschrieben, die zur Fehlererkennung und Fehlerkorrektur dienen. Der Inhalt Informationsquellen und deren Beschreibung - Kodierung diskreter Quellen - Nachrichten und Kanäle - Diskrete Kanäle - Analoge Kanäle - Quantisierung analoger Signale - Kanalkodierung und Fehlerkorrekturverfahren - Bewertung von Kanalkodes Die Zielgruppen Studierende der Informatik, Medieninformatik, Nachrichtentechnik, Mathematik an Universitäten und FachhochschulenInformatiklehrer und Praktiker Die Autoren Dr. Dagmar Schönfeld, TU Dresden Dr. Herbert Klimant, TU Dresden Dr. Rudi Piotraschke, TU Dresden

Anbieter: buecher.de
Stand: 13.05.2019
Zum Angebot
Designing Software Architectures: A Practical A...
44,99 € *
ggf. zzgl. Versand

Designing Software Architectures is the first step-by-step guide to making the crucial design decisions that can make or break your software architecture. SEI expert Rick Kazman and Dr. Humberto Cervantes provide comprehensive guidance for ensuring that your architectural design decisions are consistently rational and evidence-based.

Anbieter: buecher.de
Stand: 19.05.2019
Zum Angebot
The Enterprise Big Data Lake
46,99 € *
ggf. zzgl. Versand

A practical handbook guides managers and IT professionals from the initial research and decision-making process through planning, choosing products, and implementing, maintaining and governing the modern data lake. Original.

Anbieter: buecher.de
Stand: 13.05.2019
Zum Angebot
Designing with Data
27,99 € *
ggf. zzgl. Versand

Explains how to make data-driven design part of your product design workflow, in a book that explains the best practices for analyzing and applying user data when making design decisions, teaches different approaches to data-informed design, explores potential pitfalls when relying on data and much more. Original.

Anbieter: buecher.de
Stand: 13.05.2019
Zum Angebot