Angebote zu "Dirk" (27 Treffer)

Theoretische Informatik - Dirk W. Hoffmann
10,79 € *
zzgl. 3,99 € Versand
Anbieter: reBuy.de
Stand: 20.09.2019
Zum Angebot
Grundlagen der Technischen Informatik - Hoffman...
24,99 € *
zzgl. 3,99 € Versand
Anbieter: reBuy.de
Stand: 20.09.2019
Zum Angebot
Theoretische Informatik
42,00 € *
ggf. zzgl. Versand

Das Buch führt umfassend in das Gebiet der theoretischen Informatik ein und behandelt den Stoffumfang, der für das Bachelor-Studium an Universitäten und Hochschulen in den Fächern Informatik und Informationstechnik benötigt wird. Die Darstellung und das didaktische Konzept verfolgen das Ziel, einen durchweg praxisnahen Zugang zu den mitunter sehr theoretisch geprägten Themen zu schaffen. Theoretische Informatik muss nicht trocken sein. Sie kann Spaß machen und genau dies versucht das Buch zu vermitteln. Die verschiedenen Methoden und Verfahren werden anhand konkreter Beispiele eingeführt und durch zahlreiche Querverbindungen wird gezeigt, wie die fundamentalen Ergebnisse der theoretischen Informatik die moderne Informationstechnologie prägen. Das Buch behandelt die Themengebiete: Logik und Deduktion, Automatentheorie, formale Sprachen, Entscheidbarkeitstheorie, Berechenbarkeitstheorie und Komplexitätstheorie. Die Lehrinhalte aller Kapitel werden durch zahlreiche Übungsaufgaben komplettiert, so dass sich die Lektüre neben der Verwendung als studienbegleitendes Lehrbuch auch bestens zum Selbststudium eignet.

Anbieter: buecher.de
Stand: 19.09.2019
Zum Angebot
Theoretische Informatik als eBook Download von ...
42,00 €
Reduziert
33,99 € *
ggf. zzgl. Versand
(42,00 € / in stock)

Theoretische Informatik: Dirk W. Hoffmann

Anbieter: Hugendubel.de
Stand: 05.09.2019
Zum Angebot
Grundlagen der Technischen Informatik
40,00 € *
ggf. zzgl. Versand

Der perfekte Begleiter für die Vorlesung und das Selbststudium Dieses anschaulich gestaltete, zweifarbige Lehrbuch richtet sich nach den typischen Lehrinhalten, die im Grundstudium an Hochschulen und Universitäten vermittelt werden. Neben dem Grundlagenwissen aus den Gebieten der Halbleitertechnik, der Zahlendarstellung und der booleschen Algebra vermittelt es die Entwurfsprinzipien kombinatorischer und sequenzieller Hardware-Komponenten bis hin zur Beschreibung moderner Prozessor- und Speicherarchitekturen. Die enge Verknüpfung von Theorie und Praxis erleichtert den Wissensaufbau. Durch den anwendungsorientierten und didaktischen Aufbau des Buches kann es sowohl vorlesungsbegleitend als auch zum Selbststudium eingesetzt werden. Zahlreiche Übungen und Beispiele runden das Lehrbuch ab. Die 5. Auflage wurde komplett durchgesehen und aktualisiert.

Anbieter: buecher.de
Stand: 19.09.2019
Zum Angebot
Software-Qualität
44,99 € *
ggf. zzgl. Versand

Computerabstürze, Rückrufaktionen, Sicherheitslecks: Das Phänomen Software-Fehler hat sich zum festen Bestandteil unseres täglichen Lebens entwickelt. Mit dem unaufhaltsamen Vordringen der Computertechnik in immer mehr sicherheitskritische Bereiche wird die Software-Qualitätssicherung zu einer stetig wichtiger werdenden Disziplin der Informationstechnik. Aber warum ist die Qualität von Software heute so schlecht? Und viel wichtiger noch: Stehen wir der Misere hilflos gegenüber? Dieses Buch führt umfassend und praxisnah in das Gebiet der Software-Qualitätssicherung ein und gibt eine Antwort auf die oben gestellten Fragen. Zu Beginn werden die typischen Fehlerquellen der Programmentwicklung erörtert und anschließend die verschiedenen Methoden und Techniken behandelt, die uns zur Verbesserung der Qualität zur Verfügung stehen. Behandelt werden die zentralen Themenkomplexe aus den Gebieten der konstruktiven und analytischen Qualitätssicherung, der Software-Infrastruktur und der Managementprozesse.

Anbieter: buecher.de
Stand: 19.09.2019
Zum Angebot
Tests and Proofs
46,99 € *
ggf. zzgl. Versand

This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019. The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.

Anbieter: buecher.de
Stand: 20.09.2019
Zum Angebot
Enterprise IoT
36,99 € *
ggf. zzgl. Versand

Written from the perspective of a large industrial enterprise, this practical book provides an actionable methodology for IoT project managers, based on real-world IoT case studies. Current hype aside, the Internet of Things will ultimately become as fundamental as the Internet itself, with lots of opportunities and trials along the way. To help you navigate these choppy waters, this practical guide introduces a dedicated methodology for businesses preparing to transition towards IoT-based business models.

Anbieter: buecher.de
Stand: 19.09.2019
Zum Angebot
Enterprise Architecture Frameworks Kompendium
54,99 € *
ggf. zzgl. Versand

Über fünfzig Enterprise Architecture Frameworks (EAF / Rahmenwerke) sind hinsichtlich ihrer Intention kurz und prägnant dargestellt. Dem schließt sich die detaillierte Beschreibung von über dreißig ausgewählten EAF an, was auf Basis eines einheitlichen Merkmalrasters erfolgt. Das Raster besteht aus 35 Framework-Merkmalen: mit Infos zum Entwickler, zu Versionen, zur Marktrelevanz und zu Abhängigkeiten untereinander sind die Frameworks allgemein charakterisiert. Speziellere Angaben wie Verfügbarkeit, unterstützende Tools und Anschaffungskosten sind im Interesse des Praktikers. Weiterhin werden EAF anhand von Merkmalen beschrieben, welche im Interesse des Informationsmanagers / CIO und dessen Anforderungen an zu berücksichtigende Aspekte bei der Betrachtung einer Informationssystemarchitektur sind. Um die Unterstützungsvielfalt von Frameworks darzustellen, erfolgt zusammenfassend die ansatzweise Umsetzung einzelner EAF innerhalb eines fiktiven Anwendungsszenarios.

Anbieter: buecher.de
Stand: 19.09.2019
Zum Angebot