Angebote zu "Technik" (359 Treffer)

Konkrete Analysis
32,99 € *
ggf. zzgl. Versand

Dieses Lehrbuch führt den Leser in konkrete Techniken und Begriffe der Analysis ein, mit deren Hilfe sich komplexe quantitative Zusammenhänge vereinfachen und verstehen lassen. Es richtet sich in erster Linie an Studierende der Informatik, ist aber auch für Studierende der Mathematik und Physik mit Interesse an diskreten Strukturen eine willkommene ergänzende Einführung in so grundlegende analytische Werkzeuge wie Abschätzung, Approximation und Asymptotik. Besonderheiten der Darstellung sind (a) die Betonung von Ideenbildung und Argumentationshierarchien (von der Graphik zum Beweis), (b) der Einsatz von Computeralgebra-Systemen für rein kalkulatorische Aufgaben, (c) das wiederholte Aufgreifen von Beispielen mit verfeinerten Techniken und veränderten Blickwinkeln und (d) die Motivation anhand von Problemen aus der Informatik. Das Buch wird von einer hyperverlinkten PDF-Version begleitet, die Verweise auf Begriffserklärungen, biografische Daten und weiterführendes Material enthält.

Anbieter: buecher.de
Stand: 06.09.2019
Zum Angebot
Logik und Logikprogrammierung 1
29,80 € *
ggf. zzgl. Versand

Die zweibändig angelegte Neuausgabe des bewährten Standardwerks, das sich insbesondere an Studienanfänger/innen der Informatik und benachbarter Disziplinen richtet, bietet eine Einführung in die grundlegenden Techniken und Methoden der formalen Logik und in die Möglichkeiten der Logikprogrammierung am Beispiel der Programmiersprache PROLOG. Der Schwerpunkt des ersten Bandes, der die theoretischen Grundlagen präsentiert, liegt neben der Darstellung von Syntax und Semantik der Aussagen- und der Prädikatenlogik auf der Entwicklung von automatisierten Beweisverfahren (Resolutions- und Tableauverfahren, Konnektionsmethode, Hilbert-Systeme u.a.) sowie dem sog. Kalkül des natürlichen Schließens, der zahlreiche auch in der Mathematik verwendete Beweistechniken vermittelt. Die Logik-Programmiersprache PROLOG wird zunächst informell eingeführt, um in diesem Rahmen die Spezifizierung und Prüfung von Algorithmen zu ermöglichen. Im Schlussteil wird dann der Übergang vom automatischen Beweisen zum Programmieren in PROLOG vollzogen und eine formale Semantik für die deklarativen Anteile von PROLOG vorgestellt. Der zweite Band ist als Übungsband konzipiert und bietet eine Vielzahl von Aufgaben samt Musterlösungen, die eine vertiefende Einarbeitung in die in Band 1 dargestellten Methoden ermöglichen. Inhaltsverzeichnis: Formalisierung - Kalkülbildung - Mechanisierung - Algorithmierung der Logik - Deduktionssysteme - Logikprogrammierung am Beispiel PROLOG: Einfache Daten; Variablenumbenennung; Komplexe Daten; Der Cut - Aussagenlogik: Syntax; Semantik; Aquivalenz und Normalformen; Beweisverfahren - Prädikatenlogik: Syntax; Substitutionen; Semantik; Aquivalenz und Normalformen; Unifikation; Beweisverfahren; Eigenschaften - Grundlagen der Logikprogrammierung: Definite Programme; Normale Programme - Ausblick

Anbieter: buecher.de
Stand: 06.09.2019
Zum Angebot
Mikrocontroller und Mikroprozessoren
32,99 € *
ggf. zzgl. Versand

Das vorliegende Buch gibt zunächst eine Darstellung der grundlegenden Prinzipien der Mikrocontroller und Mikroprozessoren. Anschließend wird detailliert der neueste Stand der Technik dieser Hardware-Bausteine erläutert, und es werden alle wichtigen Entwicklungstendenzen bis hin zum aktuellen Forschungsstand vorgestellt. Ferner werden in der Praxis häufig verwendete Mikrocontroller und Mikroprozessoren in ihrer Funktionsweise analysiert und zukunftsweisende Technologien dieser Bausteine aufgezeigt. Dieses Buch ist besonders geeignet für Studierende der Informatik oder Elektrotechnik im fortgeschrittenen Grundstudium oder zu Beginn des Hauptstudiums sowie in der Praxis stehende Fachleute der Elektrotechnik, Automatisierungstechnik und hardwarenahen Informatik, die mit der Planung und der Entwicklung oder dem Einsatz von Mikrocontrollern und Mikroprozessoren befasst sind.

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

Dieses Buch stellt den aktuellen Wissensstand über die Techniken, Methoden, Prinzipien und organisatorischen Aspekte der Software-Qualitätssicherung nahezu lückenlos dar. Beschrieben werden Testtechniken, automatische statische Analysen, die Software-Messung, Review- und Inspektionstechniken, formale Ansätze, Techniken zur Überprüfung objektorientierter und eingebetteter Software sowie Prüfstrategien, Prüfprozesse und Werkzeuge. Das Buch richtet sich gleichermaßen an Praktiker sowie an Informatik-Dozenten und -Studierende. Es kann ´´von vorn nach hinten´´ gelesen werden oder als Nachschlagewerk dienen. Jedes Kapitel ist ein allein verständliches ´´kleines Buch für sich´´. Es beginnt jeweils mit einer kurzen Inhaltsangabe zur Orientierung und schließt mit einer Bewertung und einer Checkliste, die insbesondere dem Praktiker Umsetzungshinweise gibt. Die 2. Auflage ist vollständig durchgesehen und aktualisiert. Neu aufgenommen wurde ein Kapitel zu modellbasierten Tests.

Anbieter: buecher.de
Stand: 06.09.2019
Zum Angebot
Bitcoin und Blockchain
37,99 € *
ggf. zzgl. Versand

Die Einführung von Kryptowährungen und der Blockchain-Technologie stellt unsere Gesellschaft vor völlig neue Herausforderungen. Schon in naher Zukunft werden sämtliche Bestandteile unseres Lebens unter dem Einfluss eines dezentralen Netzwerks stehen. Banken, Unternehmen, sogar Regierungen setzen auf das Potenzial der dezentralen Datenspeicherung. Was aber sind Blockchain und Kryptowährungen und wie sind sie entstanden? Dieses Buch ist eine unverzichtbare Lektüre für alle, die ein tiefes Verständnis für dieses Thema entwickeln möchten, ohne sich dafür mit Formeln oder Programmcode auseinanderzusetzen. Zur Einführung beleuchtet der Autor die Geschichte des Geldes und zeigt, wie sich die Zukunftswährung Bitcoin dank der innovativen Blockchains entwickeln konnte. Der legendäre Erfinder der ersten Kryptowährung, Satoshi Nakamoto, bleibt zwar bis heute anonym, ist jedoch in der Währung, die er sogar mit seinem Namen geprägt hat, mittlerweile millionenschwer. Detailliert beschreibt der Autor die Ideologie hinter der Technologie und ihre zahlreichen Anwendungsmöglichkeiten. Neben den berühmten Bitcoins haben inzwischen auch viele weitere Kryptowährungen wie Ethereum entwickelt, die ebenfalls auf der Technologie der Blockchains basiert. Mit der fortschreitenden Evolution des Internets der Dinge ist noch lange kein Ende der Entwicklung in Sicht. Allerdings entstehen bereits die ersten Alternativen zur Blockchain-Technologie, namentlich in Form des IOTA-Netzwerkes, einer Technik, die seit 2015 entwickelt wird und aktuell in der Betaphase steckt. Mit diesen und vielen weiteren Aspekten liefert das Buch eine spannende Lektüre zu einem der Themen der Zukunft und vermittelt erfahrenen Informatikern, aber auch technikaffinen Laien ein umfassendes Grundlagenwissen über Kryptowährungen und ihre zugrundeliegenden Technologien.

Anbieter: buecher.de
Stand: 06.09.2019
Zum Angebot
Handbuch der Software-Architektur
59,00 € *
ggf. zzgl. Versand

Die Architektur eines Software-Systems ist im Wesentlichen die Beschreibung des Systems anhand einzelner Beziehungen, die zwischen diesen Bausteinen bestehen. Die Wahl einer bestimmten Architektur ist eine grundlegende Entscheidung im Entwicklungsprozess und hat großen Einfluss auf die Qualität des späteren Systems. In der überarbeiteten und erweiterten Version dieses Handbuches wird erneut ein fundierter Einstieg und Überblick über den Stand der Technik und zukunftsweisende Entwicklungen im Bereich der Software-Architekturen gegeben. Ausgehend von der Rolle des Software-Architekten werden die Konstruktion und Evolution sowie Migration von Software-Architekturen systematisch aufbereitet. Als Modellierungssprache wird überwiegend die Unified Modeling Language (UML) verwendet. Um ein umfassendes Verständnis für die Bedeutung von Architekturbeschreibungen zu erhalten, werden auch dieThemen Management, Bewertung und Wiederverwendung von Software-Architekturen behandelt. Ebenso wirdauf neuere Konzepte wie Model-Driven Architecture (MDA), Software-Produktlinien, Reverse Engineering sowie Performance- und Sicherheitsaspekte eingegangen. Dabei werden die Konzepte beispielhaft illustriert. Im Anhang befinden sich ein Kapitel über formale Grundlagen der Architekturmodellierung, eine Übersicht über Architekturbeschreibungssprachen sowie ein Glossar. Diese 2. Auflage spiegelt die Weiterentwicklung auf dem Gebiet der Software-Architektur in den letzten zwei Jahren wider. Die Überarbeitung betrifft insbesondere die Kapitel zu modellgetriebener Entwicklung und Service-orientierten Architekturen sowie die Modellierung und Bewertung von Architekturen. Weiter wurden drei neue Architekturbeispiele aufgenommen. Das Buch ist ein Gemeinschaftswerk der Mitglieder des Arbeitskreises Software-Architektur der Gesellschaft für Informatik.

Anbieter: buecher.de
Stand: 06.09.2019
Zum Angebot
Software Quality Engineering
39,90 € *
ggf. zzgl. Versand

QUALITÄT IST UNVERZICHTBAR! - Lernen Sie die Prinzipien, Methoden und Techniken in Sachen Software-Qualität umfassend kennen und anwenden. - Erfahren Sie, wie Sie Software-Qualität in Ihrem Unternehmen und in Ihren Software-Projekten verbessern und verankern können. - Ideal für die Vorbereitung auf die Zertifizierung zum Certified Software Quality Engineer (CSQ) bzw. zum Quality Assurance Management Professional (QAMP). - Basiert auf den standardisierten Wissenssammlungen für Software-Qualität der ASQ und der JSQC - Im Internet: Praktische Hilfsmittel, Checklisten und aktuelle Informationen rund um das Thema des Buches unter www.itq.ch/Downloads Die Erstellung und Wartung von Software ist eine Schlüsselkompetenz des 21. Jahrhunderts. Quer durch alle Branchen basiert der Geschäftserfolg von Unternehmen zu einem ganz erheblichen Teil auf dem Einsatz von Software in ihren Produkten, Anlagen und Systemen. Keine Frage also, dass Unternehmen davon abhängig sind, dass die von ihnen eingesetzte oder entwickelte Software eine exzellente Qualität aufweisen muss. Ernest Wallmüller zeigt in seinem Praxisleitfaden, wie Sie bessere Software-Qualität erzielen können. Dafür nimmt er sich das Dreieck der Einflussfaktoren ´Mensch - Prozess - Technik´ vor. Er erläutert, mit welchen Methoden Sie die Qualität der Entwicklungs- und Serviceprozesse in den Griff bekommen. Sie erfahren, wie Sie sicherstellen können, dass die Produktqualität stimmt. Und es geht um wichtige organisatorische und menschliche Aspekte. Außerdem erfahren Sie, wie Sie Qualität messen und verbessern, Sie lernen organisationsweite Qualitätsmanagementsysteme, Best-Practice-Modelle und Standards kennen. Berücksichtigt werden erstmals die internationalen Bodies of Knowledge (BoK) für Software Quality Engineering des ASQ sowie des JSQC.Systemvoraussetzungen für eBook-inside: Internet-Verbindung und eBookreader Adobe Digital Editions. Ein Buch für alle IT- und Software-Qualitätsmanager, Testmanager, IT-Manager, Software-Entwickler und -Architekten, Dozenten und Studenten der Informatik und Wirtschaftsinformatik. Eines der wenigen deutschsprachigen Werke, das die Software-Qualitätssicherung im Umfeld des Software Engineering umfassend und tiefgreifend darstellt. Es ist als vollständiges Nachschlagewerk ein ausgezeichneter Ratgeber für jeden, der Qualitätssicherung von Software betreiben oder einführen will. Das Buch dient auch als qualifizierte Lernunterlage für all jene, die sich im praxisorientierten Software Engineering fortbilden wollen.

Anbieter: buecher.de
Stand: 06.09.2019
Zum Angebot
Software testen und analysieren
54,95 € *
ggf. zzgl. Versand

Software Testen und Analysieren: Prozesse, Prinzipien und Techniken ist das erste Buch, das eine große Bandbreite sich ergänzender Software-Test und -Analysetechniken in einer ganzheitlichen, schlüssigen Form erklärt. Es behandelt das ganze Themenspektrum, angefangen bei den Grundlagen und Basistheorien bis hin zu Organisations- und Prozessfragen von Anwendersoftware. Der Schwerpunkt des Buches liegt darin, anwendungsorientierte Techniken auszuwählen, um beim Testen und Analysieren von Software eine akzeptable Qualität zu akzeptablen Preisen zu bekommen.

Anbieter: buecher.de
Stand: 06.09.2019
Zum Angebot
Data Mining
27,99 € *
ggf. zzgl. Versand

Dieses Lehrbuch behandelt die wichtigsten Methoden zur Erkennung und Extraktion von ´´Wissen´´ aus numerischen und nicht-numerischen Datenbanken in Technik und Wirtschaft. Der Autor vermittelt einen kompakten und zugleich fundierten Überblick über die verschiedenen Methoden sowie deren Zielsetzungen und Eigenschaften. Dadurch werden Leser befähigt, Data Mining eigenständig anzuwenden.

Anbieter: buecher.de
Stand: 06.09.2019
Zum Angebot