Angebote zu "Dirk" (44 Treffer)

Theoretische Informatik - Dirk W. Hoffmann
20,29 € *
zzgl. 3,99 € Versand
Anbieter: reBuy.de
Stand: 19.04.2018
Zum Angebot
Theoretische Informatik als eBook Download von ...
31,99 € *
ggf. zzgl. Versand
(31,99 € / in stock)

Theoretische Informatik: Dirk Hoffmann

Anbieter: Hugendubel.de
Stand: 06.04.2018
Zum Angebot
Theoretische Informatik als Buch von Dirk W. Ho...
39,99 € *
ggf. zzgl. Versand
(39,99 € / in stock)

Theoretische Informatik:Im Internet: Lösungen zu den Übungsaufgaben. 3., neu bearbeitete Auflage Dirk W. Hoffmann

Anbieter: Hugendubel.de
Stand: 23.03.2018
Zum Angebot
Grundlagen der Technischen Informatik als Buch ...
40,00 € *
ggf. zzgl. Versand
(40,00 € / in stock)

Grundlagen der Technischen Informatik:Im Internet: Lösungen zu den Übungsaufgaben, Übungsblätter und weiteres Zusatzmaterial. 5., aktualisierte Auflage Dirk W. Hoffmann

Anbieter: Hugendubel.de
Stand: 23.03.2018
Zum Angebot
Grundlagen der Technischen Informatik als eBook...
31,99 € *
ggf. zzgl. Versand
(40,00 € / in stock)

Grundlagen der Technischen Informatik: Dirk W. Hoffmann

Anbieter: Hugendubel.de
Stand: 06.04.2018
Zum Angebot
Theoretische Informatik
39,99 € *
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. In der 3. Auflage wurden Fehler behoben, alle Kapitel aktualisiert und teilweise ergänzt.

Anbieter: buecher.de
Stand: 05.04.2018
Zum Angebot
Sozialgeschichte der Informatik als Buch von Di...
44,99 € *
ggf. zzgl. Versand
(44,99 € / in stock)

Sozialgeschichte der Informatik:Kulturelle Praktiken und Orientierungen DUV Sozialwissenschaft Studien zur Wissenschaftsforschung und Technik. Auflage 1998 Dirk Siefkes, Peter Eulenhöfer, Heike Stach

Anbieter: Hugendubel.de
Stand: 07.04.2018
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: 05.04.2018
Zum Angebot
Modellbildung und Simulation
29,99 € *
ggf. zzgl. Versand

Dieses Buch gibt eine Einführung in die mathematische und informatische Modellierung sowie in die Simulation als universelle Methodik. Und so geht es um Klassen von Modellen, um deren Herleitung und um die Vielfalt an Beschreibungsarten, die eingesetzt werden können - diskret oder kontinuierlich, deterministisch oder stochastisch. Aber immer geht es auch darum, wie aus unterschiedlichen abstrakten Modellen ganz konkrete Simulationsergebnisse gewonnen werden können. Nach einem kompakten Repetitorium zum benötigten mathematischen Apparat wird das Konzept ´´Über das Modell zur Simulation´´ anhand von 14 Szenarien aus den Bereichen ´´Spielen - entscheiden - planen´´, ´´Verkehr auf Highways und Datenhighways´´, ´´Dynamische Systeme´´ sowie ´´Physik im Rechner´´ umgesetzt. Ob Spieltheorie oder Finanzmathematik, Verkehr oder Regelung, ob Populationsdynamik oder Chaos, Molekulardynamik, Kontinuumsmechanik oder Computergraphik - der Leser erhält auf anschauliche und doch systematische Weise Einblicke in die Welt der Modelle und Simulationen.

Anbieter: buecher.de
Stand: 05.04.2018
Zum Angebot
Tools and Algorithms for the Construction and A...
46,99 € *
ggf. zzgl. Versand

This book is Open Access under a CC BY licence. The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018. The total of 43 full and 11 short papers presented in these volumes was carefully reviewed and selected from 154submissions. The papers are organized in topical sections as follows: Part I: theorem proving; SAT and SMT I; deductive verification; software verification and optimization; model checking; and machine learning. Part II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7 th Competition on Software Verification - SV-COMP.

Anbieter: buecher.de
Stand: 19.04.2018
Zum Angebot