····· lezzter Preis 34.50€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray Betreiber von Wasserver- und Abwasserentsorgungsanlagen müssen über leistungsfähige Einrichtungen, qualifiziertes Personal und gut funktionierende Qualitätssicherungsmaßnahmen verfügen, denn sie haben eine besondere Bedeutung für das Funktionieren des Gemeinwesens. Aufgrund dessen wurde die Trinkwasserver- und die Abwasserentsorgung als eine Kritische Dienstleistung nach dem BSI-Gesetz kategorisiert. Die dazugehörige BSI-Kritisverordnung spezifiziert, für welche Anlagen die Betreiber angemessene organisatorische und technische Vorkehrungen zur Vermeidung von Störungen zu treffen haben. Dabei soll der Stand der Technik eingehalten werden.Die Vereinigungen von DWA und DVGW haben von der im IT-Sicherheitsgesetz erwähnten Möglichkeit Gebrauch gemacht, einen branchenspezifischen Sicherheitsstandard zu formulieren. Das Bundesamt für Sicherheit in der Informationstechnik (BSI) hat im Benehmen mit dem Bundesamt für Bevölkerungsschutz und Katastrophenhilfe (BBK) die Eignung dieses IT-Sicherheitsstandards für den Sektor Wasser festgestellt. Der branchenspezifische IT-Sicherheitsstandard dient als Grundlage für die Risikoabschätzung und die Durchführung von Maßnahmen zum Schutz der informationstechnischen Systeme, Komponenten, Prozesse und Daten von Wasserver- und Abwasserentsorgungsanlagen, unabhängig davon, ob eine Anlage gemäß BSI-Kritisverordnung (BSI-KritisV) als Kritische Infrastruktur eingestuft ist. Im Rahmen des Risikomanagements gilt das Merkblatt zusammen mit dem IT-Sicherheitsleitfaden - unter Berücksichtigung der gesetzlichen Anforderungen - als branchenspezifischer Sicherheitsstandard für die Ermittlung von Maßnahmen zum Schutz der informationstechnischen Systeme, Komponenten oder Prozesse vor Ausfall bzw. Manipulation. Durch die Berücksichtigung des Merkblatts inklusive zugehörigem IT-Sicherheitsleitfaden kann das Risiko einer Beeinträchtigung der Daseinsvorsorge aufgrund einer abstrakten, d. h. einer nach den vorliegenden Erkenntnissen möglichen Gefahr, reduziert werden. Im Falle einer konkreten, d. h. einer in einem einzelnen Fall bestehenden Gefahr, können die ergriffenen Schutzmaßnahmen auf ihre Wirksamkeit hin eingeordnet werden. ····· 10361203918
····· lezzter Preis 28.64€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray Der Paradigmenwechsel bei der Architektur von Prozessoren hin zu Mehrkernprozessoren (multicore processor) verlangt von Software ein erhöhtes Maß an Nebenläufigkeit, um die verfügbaren parallelen Rechenressourcen effizient zu nutzen. Betriebssysteme sind ein Beispiel für Software, die hochgradig asynchron und damit in hohem Maße nebenläufig ist. Wird in einer solchen Softwaredas Konzept des gemeinsamen Hauptspeichers (shared memory) zur Kommunikation zwischen einzelnen Aktivitäten verwendet, müssen Zugriffe auf diese nicht-skalaren Daten in kritischen Abschnitten erfolgen, die geeignet synchronisiert werden. Für das Überwachen und Beobachten des Systems ist häufig ein Zugriff auf nicht-skalare Daten im gemeinsamen Speicher notwendig, die den Zustand des Systems beschreiben. Ohne eine Beachtung des Protokolls, das zur Synchronisation verwendet wird, besteht die Gefahr, dass ein solches Überwachungswerkzeug Daten ausliest, die inkonsistent sind und keinen tatsächlichen Zustand des Systems repräsentieren. Mit dem Vorhandensein vieler paralleler Ausf¿uhrungseinheiten nimmt die Gefahr von Wettlaufsituationen zwischen Betriebssystem und Beobachtungswerkzeug und damit die Gefahr des Auslesens von inkonsistenten Daten zu. Um diese Probleme zu vermeiden, wird in der vorliegenden Arbeit der KStruct-Ansatz vorgestellt, der es einem dynamischen, nicht-integrierten Beobachtungswerkzeug erlaubt, auf den Zustand eines Betriebssystems unter Berücksichtigung des Synchronisationsprotokolls zuzugreifen. Dazu wird mit Hilfe der Sprache KStruct Access, einer Erweiterung der Programmiersprache C, dasSynchronisationsprotokoll des Betriebssystems definiert, welches als Vertrag zwischen Betriebssystem und Überwachungswerkzeug dient. Die Annotationen werden von einem Compiler in eine Komponente übersetzt, die von Beobachtungswerkzeugen für den Zugriff auf den gemeinsamen Speicher verwendet werden kann, um Daten unter Einhaltung des Protokolls auszulesen. Um den Annotationsprozess gerade für bestehende Softwaresysteme zu unterstützen, wird zusätzlich KStruct Advice vorgestellt, womit sich ein Betriebssystem hinsichtlich des verwendeten Synchronisationsprotokolls analysieren lässt. Dazu wird ein formales Modell einer Sperre definiert, welches die Grundlage für eine statische Datenflussanalyse zur Berechnung der Zustände aller Sperren darstellt.Der Zustand einer Sperre wird schließlich mit Zugriffen auf Datenstrukturen im gemeinsamen Speicher korreliert und so ein Synchronisationsprotokoll abgeleitet. Die Ergebnisse des Ansatzes werden im Kontext des Windows Research Kernels betrachtet, diskutiert und evaluiert. ····· 10361193172
····· lezzter Preis 23.13€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray The automatic verification of computer programs is an important step in software engineering. In this regard temporal logics have been invented as an extension of modal logic which itself is an extension of propositional logic. Therefore, one may call them emph{modal logic variants}. The first part of this thesis will investigate the two temporal logics CTL and CTL\* with respect to their model-checking and satisfiability problem. We will analyze the complexity of fragments of these problems by means of operator and Boolean function restrictions. There we will see for the satisfiability problem, how the operator fragments form a trichotomy and the Boolean fragments form a quartering. The model-checking problem for CTL is divided into three types: monotone, atomic negation, and positive fragments. Surprisingly, we will see that these three fragments are computationally equivalent. Furthermore, several prominent extensions of CTL will be visited and classified with respect to their Boolean and operator fragments.In the second part we will concentrate on description logics which are modal logic extensions settled in the area of semantic web, databases, and artificial intelligence. These types of logics are used to express, and work on, large sets of data. Besides the usual satisfiability problems, we will work with some special kind of implication problem, which is called subsumption. We will see that these logics combine two very strong Boolean concepts, namely implication and conjunction, such that restricting large sets of Boolean functions do not reduce the complexity of the problems significantly. ····· 10361193127
····· lezzter Preis 42.75€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray Auch 40 Jahre nach der Software-Krise haben Organisationen Schwierigkeiten, funktionierende Software zu liefern, die die Kundenwünsche in ausreichender Qualität erfüllt. Dies ist zu einem beträchtlichen Teil auf mangelhaftes Requirements Engineering zurückzuführen: Wenn wichtige Aspekte der Anforderungen nie geklärt oder sogar missverstanden werden, führen offene Fragen dazu, dass Entwickler durch deren Klärung aufgehalten werden oder die Lücken durch eigene Annahmen schließen. Beides kann zu späten, grundlegenden Änderungen, einem hohen Mehraufwand und schlimmstenfalls zu einem für den Kunden unbrauchbaren Produkt führen. Auf diese Weise scheitern Projekte, verspäten sich oder überschreiten ihr Budget deutlich. Systematische und präzise Dokumentation von Anforderungen hilft, weil sie eine intensive Analyse der Anforderungen erfordert. Häufig können so versteckte Widersprüche entdeckt werden, die sonst erst bei der Implementierung oder Inbetriebnahme aufgefallen wären. Gute Anforderungsdokumentation erleichtert es Qualitätsmanagern zu prüfen, ob alle Anforderungen erfüllt sind. Projektmanager schätzen den Aufwand und kontrollieren den Fortschritt auf Basis dokumentierter Anforderungen. Vor allem erlaubt gute Anforderungsdokumentation den Entwicklern, sich auf die Umsetzung zu konzentrieren, statt Lücken mit dem Kunden zu klären - eine Aufgabe, für die sie meistens nicht ausgebildet sind. Trotz der Schlüsselfunktion von Anforderungen wird das Requirements Engineering oft vernachlässigt. Möglichst schnell wollen Kunden Ergebnisse sehen und Manager mit der Erstellung der Lösung beginnen. Die Aufgabenklärung wird zu wenig als Teil der Lösungserbringung gesehen. Kürzere Releasezyklen und Time-to-Market bauen zusätzlichen Zeitdruck auf. Organisationen müssen unter hohem Zeitdruck und mit beschränkten Ressourcen die Anforderungen immer komplexerer Systeme in hoher Qualität dokumentieren. Erfahrung ist bei diesem Ziel einer der wichtigsten Erfolgsfaktoren. Viele Organisationen greifen daher auf erfahrene externe Berater zurück, oder lassen ihre Erfahrung und Reife formal bestimmen und verbessern. Diese Arbeit zeigt einen systematischen Ansatz, wie Organisationen vorhandene Erfahrungen mit dem etablierten Dokument-und Vorgehensmodell besser nutzen und ausbauen können. Dazu wird untersucht, wie Computer die Erstellung natürlichsprachlicher Anforderungsdokumente unterstützen können, die sich etablierten Verfahren wie Model-Checking oder Simulation verschließen. Dabei wird kein spezielles Dokument-oder Vorgehensmodell vorausgesetzt. Die Arbeit belegt eine Korrelation zwischen Qualität von Anforderungsdokumenten und Projekterfolg: Projekte mit schlechten Anforderungen scheitern öfter. Meistens gibt es für inhaltliche Probleme der Anforderungen syntaktische Indikatoren. Computer sind in der Lage, diese Indikatoren automatisch zu nutzen und dem Analysten mit entsprechenden Hinweisen zu helfen, möglicherweise vorliegende inhaltliche Probleme zu erkennen und zu beheben. Das Konzept, syntaktische Indikatoren automatisch auszunutzen um einen hilfreichen Hinweis zu geben, wird in dieser Arbeit als heuristische Kritik bezeichnet. Heuristische Kritiken erlauben es, die Erfahrungen einer Organisation abzubilden und sind ein Weg, um Erfahrungen computerbasiert bei der Dokumentation von Anforderungen anzuwenden. So können relevante Erfahrungen effizient gefunden, aktiviert und um neue Erfahrungen ergänzt werden. Die Arbeit zeigt die wichtigsten Eigenschaften solcher erfahrungsbasierter Werkzeuge des Requirements Engineering. Jede dieser Eigenschaften wird empirisch evaluiert. Die Beiträge dieser Dissertation sind i) ein konzeptionelles Modell über den Zusammenhang von computerbasierter Analyse natürlichsprachlicher Anforderungen und Erfahrungsmanagement, ii) eine Strategie zur empirischen Untersuchung dieses Zusammenhangs und iii) wichtige Datenpunkte zum Potential dieses Ansatzes. ····· 10361192896
····· lezzter Preis 23.18€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray Nonmonotonic reasoning is one of the most important tasks in the area of knowledge representation and reasoning. Several logics have been developed to formalize nonmonotonic reasoning. In this thesis we consider three well-known logics that facilitate nonmonotonic reasoning by different means: default logic, autoepistemic logic and circumscription. We study the computational complexity of consistency, reasoning and counting problems for fragments of these logics obtained by restricting the available Boolean connectives, as well as the possibility to translate between these fragments. For this we generalize the logics to allow for arbitrary connectives rather than the Boolean standard base and study the complexity of the problems and possibility of translations for all finite sets of allowed Boolean connectives.Our results show that in all cases the complexity of the problems does not depend on the particular set B of available connectives but on the set of functions expressible by projections and arbitrary compositions from B. We obtain polytomous complexity classifications (that is, into a finite number of complexity degrees) for all decision problems studied herein ranging from completeness for classes in the second level of the polynomial hierarchy down to membership in AC0. Furthermore, the counting problems are with one interesting exception shown to be trichotomous with complexity degrees spanning the first three levels of the counting hierarchy. To the best of our knowledge, the counting complexity of default logic is addressed here for the first time. Finally, we consider translations between fragments of these logics that leave the set of propositional consequences of the input invariant. We show which fragments of default logic, autoepistemic logic and circumscription can, under the chosen notion of translations, be embedded into fragments of the other two logics. We complete this picture by showing that in almost all cases in which no translation is given, no translation preserving the set of propositional consequences may exist unless the polynomial hierarchy collapses. ····· 10361192882
····· lezzter Preis 28.50€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray Zuverlässige Navigation ist eine wichtige Voraussetzung damit ein autonomer mobiler Roboter seine Aufgaben erfüllen kann. Die heutzutage erfolgreichsten Ansätze zur Navigation basieren auf geometrisch detaillierten Karten die ein Roboter als interne Repräsentation der Umgebung verwendet. Aufgrund von perzeptuellem Aliasing und Messrauschen ist der Aufbau und Anwendung geometrischer Umgebungskarten zur Navigation schwierig. Des weiteren ist die Verwendung geometrischen Umgebungskarten sehr rechenintensiv, da große Mengen an Daten verarbeitet werden müssen. Diese Dissertation beschäftigt sich mit dem Problem von Bild-basiertem topologischen Kartenaufbau und Lokalisation zur Navigation mobiler Roboter. Eine topologische Karte modelliert die Umgebung in Form eines Graphen und ist daher eine prägnante und kompakte Repräsentation der Umgebung die skalierbar ist und einfach manipuliert werden kann. Topologische Karten sind deshalb hervorragend zur einfachen Navigation von mobilen Robotern geeignet und bilden eine repräsentative semantische Grundlage für kompliziertere Navigationsaufgaben. Um bild-basierte topologische Navigation für kostengünstige mobile Roboter für den Massenmarkt anwendbar zu machen, schlagen wir vor, wichtige Orte in einer Umgebung durch deren visuelle Erscheinung zu repräsentieren. Die visuelle Erscheinung wird mit Hilfe von Farbhistogrammen beschrieben. Der Ansatz für die Repräsentation von Orten durch visuelle Erscheinung basiert auf der Tatsache, dass Farbhistogramme nur langsam variieren wenn das Blickfeld eines fahrenden Roboters ändert. Daher beschreibt ein Ort vielmehr eine Region in einer Umgebung als eine spezielle Position. Experimente in einer Büroumgebung zeigen, dass eine topologische Karte, in der Orte durch visuelle Erscheinung und geometrischer Information beschrieben sind, genügend Information enthält, um einen Roboter im geometrischen Sinne zuverlässig zu lokalisieren. Viele Methoden zur topologischen Kartierung erstellen eine Karte durch die Kategorisierung von visuellen Beobachtungen, wobei jede Kategorie einen Ort beschreibt. Aufgrund von perzeptuellem Aliasing können Beobachtungen von verschiedenen Orten derselben Ortskategorie zugeordnet werden, was zu fehlerhaften Karten führt. In dieser Dissertation wird ein neuer Ansatz beschrieben, um das Problem von perzeptuellem Aliasing beim topologischen Kartenaufbau zu bewältigen. Wir schlagen vor, Nachbarschaften von Orten zu betrachten, um Orte zu differenzieren, die ansonsten nicht zu unterscheiden sind. Dieser Ansatz zur Unterscheidung von Orten wird in eine stochastische lokale Suche eingebaut, um eine topologische Karte zu erstellen. Experimente zeigen, dass es mit der vorgeschlagenen Methode möglich ist, Umgebungen effizient zu kartieren in denen der Roboter einem hohen Maß an perzeptuellem Aliasing ausgesetzt ist. Außerdem wird der Ansatz zur Differenzierung von Orten durch Nachbarschaftsinformation in ein Verfahren für die gleichzeitige Lokalisierung und Kartierung integriert. Es wird keine vorgeschaltete Kategorisierung der Daten benötigt. Experimente zeigen die erfolgreiche Anwendung von dieser Methode in einer Büroumgebung. ····· 10361192780
····· lezzter Preis 10.95€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray Wir befinden uns heute in einer neuen, besonders spannenden Phase der Menschheit, die sowohl digitales Zeitalter und virtuelle Realität als auch Informationsgesellschaft, Wissensgesellschaft oder globales Dorf genannt wird. Doch alle diese Schlagworte gehen auf ein ganz spezielles Gerät zurück, das unsere Gesellschaft entscheidend verändert hat: den Computer. Inzwischen ist es ganz normal, dass sich in jedem Haushalt zumindest ein Computer oder besser gesagt, ein PC, befindet. Manchmal sind sogar mehrere davon vorhanden. Schließlich ist der Computer nicht nur ein Arbeitsgerät für Erwachsene, sondern er gehört auch zu den liebsten Lern- und Spielkameraden von Kindern. Auch aus dem Unterricht der Grundschulen ist der Computer inzwischen nicht mehr wegzudenken. Außerdem organisieren und ordnen Computer unter anderem die Geschicke der Wirtschaft und Industrie, des Transports und Verkehrs. In diesem reichhaltig illustrierten Buch erfahren Sie, wie mit dem Abakus vor 3000 Jahren alles begann. Verfolgen Sie die Entwicklung der Rechenstäbchen und dem Rechenschieber, über die mechanischen Rechenmaschinen und den ersten Computern im 19. Jahrhundert. Erfahren Sie, wie es zur Entstehung der Apple- und IBM-, Commodore-, Atari-Computer und vielen anderen Geräten kam. ... und werfen Sie einen Blick in die faszinierende digitale Zukunft der Menschheit. ····· 10361183027
····· lezzter Preis 12.90€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray SharePoint ist nicht mehr gleich SharePoint - oder doch Diese Frage steht hinter der Möglichkeit des `Dual Use` von SharePoint, denn dieses gibt es nun als `normale` On-Premise- und SharePoint-Online-365-Lösung. Welche Probleme entstehen durch die beiden Lösungen Wie spielen sie zusammen bzw. tun sie es überhaupt Muss man sich für eine entscheiden, wenn ja nach welchen Kriterien Was kann die eine, was die andere Kann man zwischen dem Einsatz der beiden einfach wechseln Die Schwerpunktartikel des fünften Bands des SharePoint Kompendiums geben Antworten auf diese Fragen und zeigen auf, wie man das Beste aus beiden Lösungen herausholt. Darüber hinaus werden weitere Best Practices z.B. zum Einsatz von Workflows oder Social-Collaboration-Funktionen in SharePoint vorgestellt. ····· 10361176641
····· lezzter Preis 24.99€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray Der Würfel ist gefallenErstaunliches, Faszinierendes, Skurriles und mitunter auch Mystisches rund um diesen besonderen Spielwürfel zeigt der Autor dem Leser in diesem Buch. Auf dessen sechs Seiten sind keine Augenzahlen, sondern die neutrale Zahl Null, die natürliche Zahl Eins, die irrationale Zahl Phi, die irrationalen Zahlen e und Pi sowie die imaginäre Einheit i vermerkt. Allein anhand der sechs auf diesen ungewöhnlichen Spielwürfel vermerkten Zahlen wird also eine Vielzahl von numerischen Erscheinungsbildern angeboten. Der interessierte Leser muss bei diesen Abhandlungen nicht befürchten, einen schwerverdaulichen Zahlensalat kauen und schlucken zu müssen. Im Gegenteil: Er wird mitunter erstaunt sein, wie vielfältig und faszinierend das Zusammenspiel dieser sechs Zahlen allein in alltäglichen Phänomen und praktischen Anwendungen ist. Die paradigmatischen Betrachtungen umspannen ein weites Wissensfeld, das von mathematischen über statistische, historische, literarische, musikalische, kunstgeschichtliche und sprachwissenschaftliche bis hin zu etymologischen Notizen reicht. Es steht dabei außerhalb jeglichen Zweifels, dass die vermerkten konzertanten Auftritte des Zahlensextetts wiederum nur einen Auszug aus einem schier unerschöpflichen Fundus darstellen. ····· 10361174780
····· lezzter Preis 22.90€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray Die Strafverfolgung in einer digitalen Welt stellt aktuell eine der größten Herausforderungen der Kriminalistik dar. Zur Verbesserung der Situation werden häufig die Einstellung von mehr Experten, neue rechtliche Ermitt-lungsmöglichkeiten und die Implementierung von weiteren Sicherheits-mechanismen gefordert. Der Autor hat es sich mit dieser Veröffentli-chung zum Ziel genommen neue Impulse in diese Debatte einzubringen und stellt deshalb die Frage der grundsätzlichen Herangehensweise an die Ermittlungen in diesem Bereich. Stoßen die deutschen Strafverfol-gungsbehörden mit den klassischen Zuständigkeitsregelungen bei die-sem Phänomen an ihre Grenzen Über diese Fragestellung hinaus wird ein Überblick über Definitionen von `Cybercrime` gegeben. Die Faktoren, welche dieses neue Kriminalitätsphänomen begünstigen, werden detail-liert dargestellt und eine umfassende schematische Darstellung der kri-minellen Handlungsweisen im Internet erarbeitet.Diese Arbeit kann deshalb auch als grundsätzliches Nachschlagewerk zur Thematik dienen. Die zugrundeliegende Master Thesis wurde 2016 im Studium `Kriminali-stik` an der Steinbeis-Hochschule Berlin erstellt und im Oktober 2017 mit dem Preis der deutschen Gesellschaft für Kriminalistik (DGfK) ausge-zeichnet. ····· 10361167022
····· lezzter Preis 59.00€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray MES (Manufacturing Execution Systems) sind zwischen der Automatisierungs- und der Unternehmensleitebene von Änderungen in der Produktion betroffen. Darum ist ihre Adaptivität im Lebenszyklus der Produktionsanlagen erfolgskritisch. Zusätzlich agieren MES als Daten- und Informationsdrehscheibe. Daher müssen sie möglichst gut und nahtlos mit anderen Systemen zusammenarbeiten: MES müssen interoperabel werden und dabei die Semantik im Griff haben. Die vorliegende Arbeit begegnet beiden Aspekten. ····· 10361164626
····· lezzter Preis 46.00€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray This book is a collection of 15 reviewed technical reports summarizing the presentations at the 2011 Joint Workshop of Fraunhofer IOSB and Institute for Anthropomatics, Vision and Fusion Laboratory. The covered topics include image processing, optical signal processing, visual inspection, pattern recognition and classification, human-machine interaction, world and situation modeling, autonomous system localization and mapping, information fusion, and trust propagation in sensor networks. ····· 10361164548
····· lezzter Preis 46.00€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray Interaktive Umgebungen entwickeln sich mehr und mehr weg von Einzelarbeitsplätzen, hin zu Multi-Display-/Multi-User-Umgebungen. Diese stellen neue Anforderungen an Eingabegeräte und Interaktionstechniken. Im Rahmen dieser Arbeit werden neue Ansätze zur Interaktion auf Basis von Handgesten und Blick als neuartige Eingabemodalitäten entwickelt und untersucht. ····· 10361164472
····· lezzter Preis 60.00€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray Ziel der Arbeit ist es, den föderativen Ansatz und die hiermit verbundenen Konzepte, Standards und Softwaresysteme hinsichtlich der Informationskonsistenz zu analysieren und zu bewerten, sowie Lösungsansätze zur Vermeidung inkonsistenter Identitätsdaten darzulegen. ····· 10361164439
····· lezzter Preis 48.00€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray Der Trend zu kleineren Losgrößen und kürzeren Produktlebenszyklen erfordert flexiblere Automatisierungslösungen.Der Beitrag dieser Arbeit liegt in der Entwicklung universeller, kontaktbasierter Manipulationsstrategien, die modellfrei, objektunabhängig und durch den Einsatz von erfahrungsbasiertem Lernen taktzeitoptimiert sind. Sie lösen industrielle Greif- und Fügeaufgaben, die zur Palettierung, Verpackung und Maschinenbestückung notwendig sind. ····· 10361164431
····· lezzter Preis 34.00€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray In dieser Arbeit wird ein vollständig dezentrales Konzept zum Last- und Erzeugungsmanagement vorgestellt, mit dem sich Stromverbraucher und dezentrale Stromerzeugungsanlagen selbst organisieren können, um kurzfristig präzise Laständerungen durchzuführen. Dabei sollen nicht nur größere Stromverbraucher in Industriebetrieben, sondern auch Haushaltsgeräte (z. B. Gefrierschränke) und dezentrale Stromerzeugungsanlagen einbezogen werden. ····· 10361164396
····· lezzter Preis 24.50€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray Die Erhaltung und Umnutzung von Bauwerken ist zur zentralen Bauaufgabe in Deutschland herangewachsen. Weit mehr als die Hälfte der jährlichen Bauinvestitionen fließt in dieses Tätigkeitsfeld. Dabei kommt der Erhaltung bzw. Instandsetzung von Betonbauten der Moderne eine große Bedeutung zu.Zahlreiche dieser Betonbauwerke werden bereits heute als wichtige historische Zeugnisse eingestuft oder haben gar den Rang von Baudenkmälern erreicht. Bei ihrer Instandsetzung scheidet eine konventionelle Vorgehensweise weitgehend aus.Anzuwenden sind denkmalgerechte Erthaltungsmaßnahmen, die das gewachsene Erscheinungsbild bewahren und gleichzeitig den heutigen Nutzungswünschen Rechnung tragen. Dies erfordert eine enge Zusammenarbeit zwischen Bauherren, Architekten und Denkmalpflegern.Der zum 1. Symposium Baustoffe und Bauwerkserhaltung `Instandsetzung bedeutsamer Betonbauten der Moderne in Deutschland` begleitend erschienene Tagungsband fasst alle schriftlichen Beiträge zu den einzelnen Vorträgen zusammen. ····· 10361164318
Den Schwerpunkt bilden konkrete Handlungsgrundsätze und implementierungsnahe Techniken für Informationssysteme und wissensbasierte Systeme. Dabei rücken Probleme bei der Modellierung, Analyse, Konzeption, Konstruktion und Validation komplexer Systeme in den Mittelpunkt, vor allem im Hinblick auf Programmierungsaspekte.
Eine gemeinsame Eigenschaft der Einzelbände ist ihre Innovationskomponente. Diese Komponente wird auch durch die Einbeziehung von Werken interdisziplinären Charakters gewährleistet. Konkrete Anwendungssysteme, insbesondere aus technischen Bereichen einschließlich Büro- und Verwaltungsautomation, vermitteln den Praxisbezug. ····· 10361158984
····· lezzter Preis 19.95€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray The satisfiability problem of propositional logic, SAT for short, is the first algorithmic problem that was shown to be NP-complete, and is the cornerstone of virtually all NP-completeness proofs. The SAT problem consists of deciding whether a given Boolean formula has a solution , in the sense of an assignment to the variables making the entire formula to evaluate to true.Over the last few years very powerful algorithms have been devised being able to solve SAT problems with hundreds of thousands of variables. For difficult (or randomly generated) formulas these algorithms can be compared to the proverbial search for the needle in a haystack. This book explains how such algorithms work, for example, by exploiting the structure of the SAT problem with an appropriate logical calculus, like resolution. But also algorithms based on physical principles are considered. ····· 10361158698
····· lezzter Preis 32.90€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray - die Bedeutung der agilen Werte verstehen - mit praktischen Übungen aus dem Improvisationstheater agile Werte im Team verankern - Videos zeigen die praktische Umsetzung der Übungen Was hat Improvisationstheater mit Agilität zu tun Eine ganze Menge! Denn Agilität ist mehr als Kanban-Kärtchen durch die Gegend schieben und Planning Poker spielen. Agile Werte und die aus ihnen abgeleiteten Prinzipien in der täglichen Arbeit von Teams oder gar ganzen Organisationen zu verankern, ist keine einfache Aufgabe. Denn oft scheinen diese zu abstrakt und wenig alltagsnah. Robert Wiechmann und Laura Paradiek zeigen Übungen und Techniken aus dem Improvisationstheater, die helfen diese Werte greifbar und erfahrbar zu machen. Hollywoodreife Schauspielkünste sind dafür nicht nötig. Denn im Impro geht es darum, gemeinsam Ideen zu entwickeln, aufeinander zu achten, zusammenzuarbeiten, miteinander zu kommunizieren und aufeinander zu zählen. Die Spanne reicht von ganz einfachen bis zu komplizierteren Übungen, damit sich jeder zutraut, mitzumachen. Aha-Momente und ein besseres Verständnis der agilen Werte sind vorprogrammiert. Dieses Buch ... - führt in agile Werte ein und erklärt, warum diese so wichtig sind. - zeigt, was Improtheater eigentlich ist und warum es agilen Teams und Organisationen helfen kann. - gibt übersichtlich und strukturiert Improübungen an die Hand. ····· 10361154798
····· lezzter Preis 39.90€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray Dieses Buch beschreibt praxisorientiert und systematisch das Requirements Engineering vom Konzept über Analyse und Realisierung bis zur Wartung und Evolution eines Produkts. Requirements Engineering mit seinen Methoden, Modellen, Notationen und Werkzeugen wird eingeführt. Ein neues durchgängiges Beispiel sowie viele industrielle Praxiserfahrungen illustrieren die Umsetzung. Direkt anwendbare Checklisten und Praxistipps runden jedes Kapitel ab. Lesen Sie das Buch, um - Requirements Engineering kennenzulernen, - Ihre Projekte und Produkte erfolgreich zu liefern, - agile Entwicklung beispielsweise mit testorientierten Anforderungen umzusetzen, - industrieerprobte Techniken des Requirements Engineering produktiv zu nutzen. Diese 6. Auflage vertieft Themen wie agile Entwicklung, Design Thinking, verteilt arbeitende Teams sowie Soft Skills. Der gesamte Inhalt, insbesondere Vorlagen, Werkzeuge, Checklisten, Praxistipps und das durchgängige Beispiel wurden überarbeitet. Alle Templates sind online verfügbar. Das Buch berücksichtigt den aktuellen Lehrplan des IREB®-Zertifizierungsprogramms. `... ein hervorragendes Buch für den praxisnahen Einstieg in die vielschichtigen Themenkomplexe der Anforderungsanalyse und des Anforderungsmanagements.` Chip.de zur 2. Auflage ····· 10361154670
····· lezzter Preis 29.90€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray Das Testen, Analysieren und Verifizieren von Software hat in den letzten Jahren erheblich an Bedeutung gewonnen, da die Qualität eine immer größere Rolle beim Einsatz von Software spielt. Auch durch die Anwendung von agilen Vorgehensweisen bei der Erstellung von Software ist das Testen zunehmend relevanter geworden. Seit über 25 Jahren gibt es in der `Gesellschaft für Informatik e.V.` (GI) eine Fachgruppe, die sich mit diesem Thema auseinandersetzt: TAV - Test, Analyse und Verifikation von Software. Das 25-jährige Bestehen dieser Fachgruppe wurde im Juni 2016 auf dem 39. Treffen in Bremen gefeiert. Dieses Buch umfasst einige der Vorträge, die auf dem Treffen gehalten wurden. Es wirft nicht nur einen Blick zurück in die Vergangenheit, sondern schaut auch nach vorne. Dabei beleuchtet es in weiteren Beiträgen aktuelle und zukünftige Ausrichtungen des Testens in Theorie und Praxis. Eine Auswahl der Themen: Softwarequalität zwischen hohem Ziel und hohler Floskel Leistungsfähige neue Testverfahren Quality Engineering für das Internet der Dinge Complete Model-based Testing Modellbasiertes Security-Testen Test- und Qualitätsmanagement in agilen Projekten Testen mit automatisch bestimmten Eingabegrammatiken The Future of Software Testing ····· 10361154594
····· lezzter Preis 19.95€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray Mit diesem Original Microsoft Prüfungstraining bereiten Sie sich effizient auf die Microsoft-Zertifizierungsprüfung 70-698 `Installing and Configuring Windows 10` vor. Dabei konzentriert sich dieses Buch auf die richtige Herangehensweise an die Prüfungsfragen sowie die dafür nötige kritische Analyse der Fragen und den richtigen Ansatz zur Entscheidungsfindung, um auf MCSA-Niveau erfolgreich zu sein. Dieses Training ist entsprechend der in der Prüfung bewerteten Fähigkeiten aufgebaut und behandelt die folgenden Themenbereiche: - Windows implementieren - Konfigurieren und Unterstützen der Kerndienste - Verwalten und Warten von Windows Anhand von Gedankenexperimenten inklusive Antworten am Ende eines jeden Kapitels können Sie Ihr erlerntes Wissen prüfen, sodass Sie schnell fit für die Prüfung sind. Die Prüfung 70-698: Gegenstand dieser Prüfung sind die grundlegenden Kenntnisse und Fähigkeiten, die nötig sind, um Windows 10 zu konfigurieren, zu verwalten und zu warten. Microsoft-Zertifizierung: Durch das Bestehen dieser Prüfung sowie der Prüfung 70-697 `Configuring Windows Devices` erhalten Sie die Zertifizierung `MCSA: Windows 10`. ····· 10361154580· 1 ·· 2 ·· 3 · ::::: · 23 ·· 24 ·· 25 · ::::: · 45 ·· 46 ·· 47 ·
Affiliate Marketing
AdHoc MeldungenAffiliate & PublisherAdvertiser & MerchantAcademyAntwortenArtikelsucheAdventskalender
AffilitivProduktdatenPreisvergleich
