brünnler kai (7 risultati)

Condizione: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.

Paperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in July 2011.The 16 revised research papers presented together with 2 system descriptions were carefully reviewed and selected from 34 submissions. The papers cover many topics in the wide range of applications of tableaux and related methods such as analytic tableaux for various logics, related techniques and concepts, related methods, new calculi and methods for theorem proving in classical and non-classical logics, as well as systems, tools, implementations and applications; all with a special focus on hardware and software verifications, semantic technologies, and knowledge engineering. This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in July 2011.The 16 revised research papers presented together with 2 system descriptions were carefully reviewed and selected from 34 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Paperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in July 2011.The 16 revised research papers presented together with 2 system descriptions were carefully reviewed and selected from 34 submissions. The papers cover many topics in the wide range of applications of tableaux and related methods such as analytic tableaux for various logics, related techniques and concepts, related methods, new calculi and methods for theorem proving in classical and non-classical logics, as well as systems, tools, implementations and applications; all with a special focus on hardware and software verifications, semantic technologies, and knowledge engineering. This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in July 2011.The 16 revised research papers presented together with 2 system descriptions were carefully reviewed and selected from 34 submissions. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.

Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 277 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Taschenbuch. Condizione: Neu. Blockchain | kurz & gut - O'Reillys Taschenbibliothek | Kai Brünnler | Taschenbuch | 90 S. | Deutsch | 2018 | O'Reilly | EAN 9783960090700 | Verantwortliche Person für die EU: dpunkt.verlag GmbH, Vanessa Niethammer, Wieblinger Weg 17, 69123 Heidelberg, niethammer[at]dpunkt[dot]de | Anbieter: preigu.

Condizione: Sehr gut. Zustand: Sehr gut | Sprache: Deutsch | Produktart: Bücher | Der Begriff Blockchain beschreibt einen technologischen Durchbruch - nicht nur auf dem Gebiet digitaler Währungen. Das Konzept hinter diesem Begriff ist allerdings nicht einfach zu begreifen. Das vorliegende Taschenbuch unterstützt ein grundlegendes Verstehen. Blockchain ist eine Technik, die Sicherheit gegen bestimmte Angriffe gewährleistet. Ihr Sinn erschließt sich nur dann, wenn man diese Angriffe durchdacht hat. Nach einer Erläuterung der kryptografischen Grundlagen wird deshalb der Aufbau eines Blockchain-Protokolls nachvollzogen. Ausgehend von einem Protokoll, das jeder kennt, der schon einmal E-Banking benutzt hat, werden Schritt für Schritt Probleme aufgezeigt und gelöst und dabei neue Protokolle entwickelt - bis hin zu einer Blockchain.Mit diesem Verständnis werden Anwendungsfälle von Blockchains identifiziert und ausgewählte Blockchain-Anwendungen wie z.B. Zeitstempel für Dokumente, in E-Voting-Protokollen genutzte Commitments oder App Coins für das Crowdfunding vorgestellt.

Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Up-to-date resultsFast track conference proceedingsState-of-the-art reportThis book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TAB.