Angebote zu "Methoden" (448 Treffer)

Spectral Methods
€ 73.99 *
ggf. zzgl. Versand

Spectral methods, particularly in their multidomain version, have become firmly established as a mainstream tool for scientific and engineering computation. While retaining the tight integration between the theoretical and practical aspects of spectral methods that was the hallmark of their 1988 book, Canuto et al. now incorporate the many improvements in the algorithms and the theory of spectral methods that have been made since then. This second new treatment, Evolution to Complex Geometries and Applications to Fluid Dynamics, provides an extensive overview of the essential algorithmic and theoretical aspects of spectral methods for complex geometries, in addition to detailed discussions of spectral algorithms for fluid dynamics in simple and complex geometries. Modern strategies for constructing spectral approximations in complex domains, such as spectral elements, mortar elements, and discontinuous Galerkin methods, as well as patching collocation, are introduced, analyzed, and demonstrated by means of numerous numerical examples. Representative simulations from continuum mechanics are also shown. Efficient domain decomposition preconditioners (of both Schwarz and Schur type) that are amenable to parallel implementation are surveyed. The discussion of spectral algorithms for fluid dynamics in single domains focuses on proven algorithms for the boundary-layer equations, linear and nonlinear stability analyses, incompressible Navier-Stokes problems, and both inviscid and viscous compressible flows. An overview of the modern approach to computing incompressible flows in general geometries using high-order, spectral discretizations is also provided. The recent companion book Fundamentals in Single Domains discusses the fundamentals of the approximation of solutions to ordinary and partial differential equations on single domains by expansions in smooth, global basis functions. The essential concepts and formulas from this book are included in the current text for the reader s convenience.

Anbieter: buecher.de
Stand: Sep 25, 2018
Zum Angebot
Methoden wissensbasierter Systeme
€ 49.99 *
ggf. zzgl. Versand

Von namhaften Professoren empfohlen: State-of-the-Art bietet das Buch zu diesem klassischen Bereich der Informatik. Die wesentlichen Methoden wissensbasierter Systeme werden verständlich und anschaulich dargestellt. Repräsentation und Verarbeitung sicheren und unsicheren Wissens in maschinellen Systemen stehen dabei im Mittelpunkt. Ein Online-Service mit ausführlichen Musterlösungen erleichtert das Lernen.

Anbieter: buecher.de
Stand: Sep 25, 2018
Zum Angebot
Methodische objektorientierte Softwareentwicklung
€ 46.00 *
ggf. zzgl. Versand

Die in dem Buch vorgestellte ´´Methodische objektorientierte Softwareentwicklung´´ schlägt eine Brücke zwischen den beiden wichtigsten Vorgehensweisen der professionellen Softwareerstellung: dem ´´klassischen´´ Software Engineering mit seinen bewährten konstruktiven Tätigkeiten sowie der modellgetriebenen Entwicklung mit ihren viel versprechenden Möglichkeiten. Zunächst gibt der Autor einen Überblick über das gesamte Gebiet des Software Engineering. Hier stellt er grundsätzliche technische Aspekte und Vorgehensmodelle, das Management von Softwareprojekten sowie Qualitätsmanagement und Qualitätssicherung vor. Zudem werden Werkzeuge zur Softwareentwicklung betrachtet. In Teil II und III des Buches vermittelt er die wichtigsten Elemente der Unified Modeling Language (UML 2.0) für die Struktur-, Funktions- und Verhaltensmodellierung. Gut nachvollziehbare Beispiele illustrieren die Modellierungstechniken. In den Teilen IV bis VIII werden dann typische Tätigkeiten der Anforderungsermittlung, der Softwarespezifizierung, der Architekturkonzeption und des Entwurfs besprochen. Der Weg von der klassischen hin zur modellgetriebenen Vorgehensweise wird geebnet, indem die Tätigkeiten - mit Ausnahme der Anforderungsermittlung - im Kern als eine Folge systematischer Transformationen von Modellen dargestellt werden. Ein durchgängiges Fallbeispiel macht die Tätigkeiten anschaulich und zeigt ihr Zusammenspiel. Als Modellierungssprache wird durchgängig die UML 2.0 verwendet. Das Buch wendet sich an Studierende der Informatik sowie an Praktiker, die ihre tägliche Entwicklungsarbeit auf ein gesichertes Fundament stellen wollen.

Anbieter: buecher.de
Stand: Oct 7, 2018
Zum Angebot
Fuzzy-Methoden
€ 159.99 *
ggf. zzgl. Versand

Das Buch beinhaltet neben einer fundierten und verständlichen Einführung in die Grundkonzepte der Fuzzy-Mengentheorie eine detaillierte Abhandlung regel-, relationen- und logikorientierter Kalküle approximativen Schließens sowie eine Darstellung der gängigen Fuzzy-Programmiersprachen. Der Autor beschreibt Architekturprinzipien, die die Freiheitsgrade der Fuzzy-Mengentheorie effizient zu nutzen erlauben. Ferner wird ein neues, auf den erläuterten Konzepten basierendes Fuzzy-Programmiersystem vorgestellt, das aufgrund seines reichhaltigen Repertoires an Fuzzy-Operatoren und Inferenzmechanismen sowie seiner objektorientierten Architektur die Entwicklung komplexer Applikationen ermöglicht.

Anbieter: buecher.de
Stand: Oct 7, 2018
Zum Angebot
Agile Methoden von Kopf bis Fuß
€ 44.90 *
ggf. zzgl. Versand

- Mit der einzigartigen ´´von-Kopf-bis-Fuß´´-Didaktik werden alle wichtigen Agilen Methoden in einem Band vermittelt - Auch perfekt für die Vorbereitung auf die PMI® ACP-Zertifizierung geeignet (Agile Certified Practitioner nach PMI®) - Vermittelt nicht nur Agile Konzepte, sondern auch, wie sie erfolgreich in der Praxis umzusetzen sind. Agile Methoden von Kopf bis Fuß vermittelt äußerst lebendig die Ideen und Konzepte, die hinter dem Schlagwort ´´Agil´´ stehen, aber ebenso die geradlinigen Praktiken, die diesen Ansatz im Alltag ausmachen. Tauchen Sie tief in Scrum, XP, Lean und Kanban ein - besonders praxisnahe und häufig genutzte agile Methoden. Lernen Sie, wie die agile Arbeitsweise ihr Team dabei unterstützt, besser zu planen, zusammenzuarbeiten, besseren Code zu schreiben und auch als Team immer besser zu werden. ´´Agil´´ führt nicht nur zu besseren Ergebnissen, agil agierende Teams haben auch viel mehr Freude an ihrer Arbeit. Die spielerische und anregende ´´Von-Kopf-bis-Fuß´´-Didaktik unterstützt Sie dabei, Agiles Denken komplett zu verinnerlichen und diese Haltung auch in ihrem Team zu verankern. Sie können dieses Buch sehr gut nutzen, um sich auf die PMI® ACP-Zertifizierung vorzubereiten.

Anbieter: buecher.de
Stand: Oct 2, 2018
Zum Angebot
Die Collective Mind Methode
€ 49.99 *
ggf. zzgl. Versand

Während jeder Projektmanager Planung, Budgetierung und Qualitätsmanagement beherrscht, betritt er bei der Gestaltung der Soft Skills wie Kommunikation und Wissensaustausch häufig Neuland. Wie diese Soft Skills mit Methoden zur Nachvollzieh- und Messbarkeit des Collective Mind beherrschbar werden, vermitteln die Autoren in diesem Band. Bildung und Umsetzung des Collective Mind in zielorientiertes Handeln trägt dabei entscheidend zum Projekterfolg bei. Projektszenarien, ein Test und Best Practices erhöhen den Praxisbezug des Buches.

Anbieter: buecher.de
Stand: Oct 7, 2018
Zum Angebot
Formal Methods and Software Engineering
€ 59.99 *
ggf. zzgl. Versand

This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.

Anbieter: buecher.de
Stand: Oct 13, 2018
Zum Angebot
Towards Extensible and Adaptable Methods in Com...
€ 116.99 *
ggf. zzgl. Versand

This book addresses extensible and adaptable computing, a broad range of methods and techniques used to systematically tackle the future growth of systems and respond proactively and seamlessly to change. The book is divided into five main sections: Agile Software Development, Data Management, Web Intelligence, Machine Learning and Computing in Education. These sub-domains of computing work together in mutually complementary ways to build systems and applications that scale well, and which can successfully meet the demands of changing times and contexts. The topics under each track have been carefully selected to highlight certain qualitative aspects of applications and systems, such as scalability, flexibility, integration, efficiency and context awareness. The first section (Agile Software Development) includes six contributions that address related issues, including risk management, test case prioritization and tools, open source software reliability and predicting the change proneness of software. The second section (Data Management) includes discussions on myriad issues, such as extending database caches using solid-state devices, efficient data transmission, healthcare applications and data security. In turn, the third section (Machine Learning) gathers papers that investigate ML algorithms and present their specific applications such as portfolio optimization, disruption classification and outlier detection. The fourth section (Web Intelligence) covers emerging applications such as metaphor detection, language identification and sentiment analysis, and brings to the fore web security issues such as fraud detection and trust/reputation systems. In closing, the fifth section (Computing in Education) focuses on various aspects of computer-aided pedagogical methods.

Anbieter: buecher.de
Stand: Oct 7, 2018
Zum Angebot
Relational and Algebraic Methods in Computer Sc...
€ 60.99 *
ggf. zzgl. Versand

This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018. The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the following topics: Theoretical foundations; reasoning about computations and programs; and applications and tools.

Anbieter: buecher.de
Stand: Oct 11, 2018
Zum Angebot
Formal Methods for Nonmonotonic and Related Logics
€ 59.99 *
ggf. zzgl. Versand

The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In this Vol. I the author explains preferential structures and abstract size. In the associated Vol. II he presents chapters on theory revision and sums, defeasible inheritance theory, interpolation, neighbourhood semantics and deontic logic, abstract independence, and various aspects of nonmonotonic and other logics. In both volumes the text contains many exercises and some solutions, and the author limits the discussion of motivation and general context throughout, offering this only when it aids understanding of the formal material, in particular to illustrate the path from intuition to formalisation. Together these books are a suitable compendium for graduate students and researchers in the area of computer science and mathematical logic.

Anbieter: buecher.de
Stand: Oct 13, 2018
Zum Angebot