Angebote zu "Methoden" (451 Treffer)

Methoden der Informatik in der Medizin als eBoo...
€ 41.99 *
ggf. zzgl. Versand
(€ 41.99 / in stock)

Methoden der Informatik in der Medizin:Bericht der 3. hannoverschen Tagung uber Medizinische Informatik vom 28. -30. Marz 1974

Anbieter: Hugendubel.de
Stand: Dec 21, 2018
Zum Angebot
Leveraging Applications of Formal Methods, Veri...
€ 65.99 *
ggf. zzgl. Versand

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018. Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium. Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering. Part IV, Industrial Practice: runtime verification from the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.

Anbieter: buecher.de
Stand: Jan 16, 2019
Zum Angebot
Leveraging Applications of Formal Methods, Veri...
€ 65.99 *
ggf. zzgl. Versand

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018. Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium. Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering. Part IV, Industrial Practice: runtime verification from the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.

Anbieter: buecher.de
Stand: Jan 16, 2019
Zum Angebot
Bpmn Method and Style, 2nd Edition, with Bpmn I...
€ 42.99 *
ggf. zzgl. Versand
Anbieter: buecher.de
Stand: Jan 16, 2019
Zum Angebot
Forensische Informatik
€ 39.00 *
ggf. zzgl. Versand

Unter dem Begriff ´´forensische Informatik´´ versteht man die Anwendung wissenschaftlicher Methoden der Informatik auf Fragen des Rechtssystems. Insbesondere stellt die forensische Informatik Methoden zur gerichtsfesten Sicherung und Verwertung digitaler Spuren bereit, etwa zur Untersuchung und Verfolgung von Straftaten. Viele Methoden der Informatik können auf Fragen des Rechtssystems angewendet werden. Die vorliegenden Ausführungen geben eine Einführung in die forensische Informatik und einen breiten Überblick über das Gebiet. Das Buch richtet sich an interessierte Personen, die sich in diesem Bereich mit fundiertem Hintergrundwissen ausstatten möchten.

Anbieter: buecher.de
Stand: Jan 16, 2019
Zum Angebot
Einführung in die Informatik
€ 44.95 *
ggf. zzgl. Versand

Eine anschauliche und umfassende Einführung in die grundlegenden Konzepte der Informatik: Grundlagen, Methoden und Theorie der Programmierung,Erklärung des Aufbaus eines Computers vom Transistor bis zur CPU, Maschinen- und Assemblersprache, Betriebssysteme, Netze und ihre Protokolle, das Internet mit E-Mail, FTP und WWW, HTML und Java-Applets zur Gestaltung eigener Web-Seiten. Abgerundet wird das Lehrbuch durch Ausblicke auf weiterführende Themen, darunter Compilerbau, Graphikprogrammierung, Datenbanksysteme und Software-Entwicklung.

Anbieter: buecher.de
Stand: Jan 16, 2019
Zum Angebot
Ideen der Informatik
€ 39.95 *
ggf. zzgl. Versand

Eine umfassende Einführung in die Theoretische Informatik, die Spaß macht und verständlich ist. Dieses Buch beschreitet einen neuen Weg. Inhalte der Informatik, größtenteils aus dem Bereich der Theoretischen Informatik, wie sie meist nur an den Universitäten mit der ganzen dahinter steckenden Tiefe und Strukturtheorie gelehrt werden, werden hier für ein breiteres Publikum aufbereitet und verfügbar gemacht. Der Autor verdeutlicht, dass der Zugang zur Informatik über die formale Methode, die Grundideen und die Algorithmik viel Spaß machen kann. Effiziente, praxisrelevante Lösungsansätze stehen im Vordergrund, was Verständlichkeit und Anwendbarkeit der Ideen fördert. Durch die Vielzahl der behandelten Modelle und Konzepte (kurz: Ideen) wird der große Zusammenhang deutlich gemacht. Ein umfangreiches weiterführendes Literaturverzeichnis runden die leicht lesbare und trotzdem korrekte und umfassende Darstellung ab.

Anbieter: buecher.de
Stand: Jan 16, 2019
Zum Angebot
Mathematik für Informatiker
€ 34.99 *
ggf. zzgl. Versand

Dieses Buch enthält in einem Band den Mathematik-Stoff, der für das Informatik-Studium in anwendungsorientierten Bachelor-Studiengängen benötigt wird. Der Inhalt entspringt der langjährigen Lehrerfahrung des Autors. Das heißt: - Sie finden immer wieder Anwendungen aus der Informatik. - Sie lernen nicht nur mathematische Methoden, es werden auch die Denkweisen der Mathematik vermittelt, die eine Grundlage zum Verständnis der Informatik bilden. - Beweise werden dann geführt, wenn Sie daraus etwas lernen können, nicht um des Beweisens willen. Mathematik ist für viele Studierende zunächst ein notwendiges Übel. Das Buch zeigt durch ausführliche Motivation, durch viele Beispiele, durch das ständige Aufzeigen von Querbezügen zwischen Mathematik und Informatik, dass Mathematik nicht nur nützlich ist, sondern interessant sein kann und manchmal auch Spaß macht.

Anbieter: buecher.de
Stand: Jan 16, 2019
Zum Angebot
Mathematik für die Informatik
€ 32.99 *
ggf. zzgl. Versand

Das Buch bietet eine Einführung in die grundlegenden Begriffe und Strukturen der Mathematik, welche am Anfang eines Informatikstudiums relevant sind. Weiterhin demonstriert es Anwendungen von mathematischen Konzepten und Methoden in der Informatik, insbesondere in der Programmentwicklung und -verifikation und dem Entwurf von generischen Programmen. Ein spezielles Konzept erleichtert den Übergang von der Schul-Mathematik zur Mathematik an einer wissenschaftlichen Hochschule. Durch eine leicht verständliche Vermittlung des Stoffes mit vielen Beispielen werden die Studierenden auch auf spätere Begriffe und tiefergehende Anwendungen der Mathematik in der Informatik gut vorbereitet. Zahlreiche Übungsaufgaben helfen, das Erlernte zu festigen und zu kontrollieren.

Anbieter: buecher.de
Stand: Jan 16, 2019
Zum Angebot
Mathematische Grundlagen für die Informatik
€ 27.99 *
ggf. zzgl. Versand

Logiken, Mengen, Relationen, Funktionen, Induktion und Rekursion sind grundlegende mathematische Konzepte und Methoden, die in allen Bereichen der Informatik für die Beschreibung von Problemen und deren Lösung benötigt werden. Das Beherrschen dieser Konzepte und Methoden ist Voraussetzung für das Studium fast aller weiteren Informatik-Module, nicht nur in Bereichen der Mathematik und der Theoretischen Informatik, sondern auch in Bereichen der Praktischen Informatik, wie z.B. Programmierung, Datenstrukturen, Algorithmen und Datenbanken. Das Buch stellt die grundlegenden Begriffe, ihre Eigenschaften und Anwendungsmöglichkeiten schrittweise vor. Das Verständnis der Begriffe und deren Zusammenhang und Zusammenwirken wird u.a. durch Lernziele, integrierte Übungsaufgaben mit Musterlösungen und Marginalien unterstützt; das Buch ist zum Selbststudium geeignet.

Anbieter: buecher.de
Stand: Jan 16, 2019
Zum Angebot