Angebote zu "Leveraging" (13 Treffer)

Kategorien

Shops

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...
€ 59.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
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
Effective SQL
€ 45.99 *
ggf. zzgl. Versand

Effective SQL brings together the hands-on solutions and practical insights students need to solve a wide range of complex problems with SQL, and to design databases that make it far easier to manage data in the future. Leveraging the proven format of the best-selling Effective series, it focuses on providing clear, practical explanations, expert tips, and plenty of realistic examples.

Anbieter: buecher.de
Stand: Jan 16, 2019
Zum Angebot
Migrating to Azure
€ 28.99 *
ggf. zzgl. Versand

Design an enterprise solution from scratch that allows the migration of a legacy application. Begin with the planning and design phase and be guided through all the stages of selecting the architecture framework that fits your enterprise. Join Microsoft MVP Josh Garverick as he addresses all major areas of design and implementation-application, infrastructure, data, security, and deployment-while leveraging the power and tools of Visual Studio Team Services (VSTS) to bring DevOps to the forefront. With an emphasis on principles and best practices of enterprise design, you will discover how to recognize existing patterns within the legacy platform and to identify potential risks, bottlenecks, and candidates for automation. What You´ll Learn Accurately and completely capture baseline information about a legacy system Leverage enterprise patterns for constructing next-generation platforms in the cloud Design, plan, and implement deployment pipelines to enable continuous delivery Identify and implement cloud-based platform components to reduce total cost of ownership Understand testing and validation: iterative component authoring, monitoring, deployment, and performance Price and perform capacity planning for cloud-based infrastructure and workloads Who This Book Is For Enterprise architects and IT professionals who are required to keep legacy applications relevant in today´s cloud-first world

Anbieter: buecher.de
Stand: Jan 16, 2019
Zum Angebot
Data Science Design Patterns
€ 42.99 *
ggf. zzgl. Versand

Data Science Design Patterns brings together several dozen proven patterns for building successful decision-support and decision-automation systems in the enterprise. Like Martin Fowler´s classic Patterns of Enterprise Application Architecture, it helps you rapidly hone in on proven solutions to common problems, leveraging the hard-won expertise of those who have come before you. Todd Morley helps you draw upon and integrate diverse domains including statistics, machine learning, information retrieval, compression, optimization, and other areas of software development and business consulting. His patterns address many common challenges, including categorization, prediction, optimization, testing, and human factors. They link directly to key goals for data science and analytics: increasing revenue, decreasing costs, reducing risk, choosing strategies, and making key decisions. Each pattern offers a high-level design for an application module or layer that either directly solves an enterprise-scale data science problem, or offers a higher-level approach to solving it. Throughout, Morley presents wide-ranging examples, links to real-world case studies, and extensive bibliographic references for deepening your understanding. This guide´s patterns will substantially shorten the learning curve faced by software developers, architects, and IT professionals who have limited mathematical background, and are tasked with solving large-scale data science business problems. They will be equally valuable to experienced data scientists interested in applying best practices to become even more effective.

Anbieter: buecher.de
Stand: Jan 16, 2019
Zum Angebot
Real-Time Design Patterns
€ 46.99 *
ggf. zzgl. Versand

The first book to help real-time and embedded systems programmers leverage the powerful technique of design patterns Applying a proven object technology concept to the unique, specialized area of real-time and embedded systems development Practical and applicable -- helps reader apply proven solutions to recurring design challenges The latest from Bruce Powel Douglass, a noted expert on real-time development Real-time and embedded systems developers face unique challenges. The systems they design must use very limited processor and memory resources optimally to meet mission-critical and high reliability requirements. Developers working on these systems see the same common threads in problems again and again. The very best developers abstract these problems and their solutions into generalized approaches that prove consistently effective: design patterns. In this book, real-time programming guru Bruce Powel Douglass collects the best design patterns from this unique, and rapidly growing, area of programming, and presents them in an instructional format that teaches the reader the ´´what, when, and how´´ of leveraging the significant power of these proven design solutions. Bruce Powel Douglass has worked as a software developer in real-time systems for twenty years. He is employed as the manager of technical marketing for i-Logix, where he has been working closely with the other UML partners on the specification of the Unified Modeling Language. He is on the Advisory Board of the Embedded Systems Conference, and has taught his own commercial real-time object-oriented courses for more than six years. He is the author of two other Addison-Wesley titles: Doing Hard Time and Real-Time UML (two editions).

Anbieter: buecher.de
Stand: Jan 16, 2019
Zum Angebot
Service-Oriented Architecture
€ 31.99 *
ggf. zzgl. Versand

For years, Thomas Erl´s Service-Oriented Architecture: Concepts, Technology, and Design has been the definitive end-to-end tutorial on SOA, service orientation, and service technologies. Now, Erl and a world-class team of service experts have thoroughly updated their best-seller to reflect the new practices, technologies, and strategies that have emerged through the past decade of hard-won SOA experience. Fully reflective of modern SOA environments, this Second Edition presents dozens of current case study examples, as well as 300+ diagrams that illuminate every key facet of creating, leveraging, and sustaining contemporary SOA. Erl and his colleagues guide you through every key phase of the SOA delivery lifecycle, from analysis and design through modern governance. Coverage includes: * How SOA has evolved: crucial lessons learned, and current best practices * Service technologies: WS-* and REST in contemporary environments * Service Orientation principles and techniques, including new approaches to Service Inventories * Building SOA: planning, analysis, modeling, technology, and design * Governing SOA, including new SOA Governance Frameworks and Vitality approaches

Anbieter: buecher.de
Stand: Jan 16, 2019
Zum Angebot
Data Science at the Command Line
€ 32.99 *
ggf. zzgl. Versand

This hands-on guide demonstrates how the flexibility of the command line can help you become a more efficient and productive data scientist. You?ll learn how to combine small, yet powerful, command-line tools to quickly obtain, scrub, explore, and model your data. To get you started?whether you?re on Windows, OS X, or Linux?author Jeroen Janssens introduces the Data Science Toolbox, an easy-to-install virtual environment packed with over 80 command-line tools. Discover why the command line is an agile, scalable, and extensible technology. Even if you?re already comfortable processing data with, say, Python or R, you?ll greatly improve your data science workflow by also leveraging the power of the command line. * Obtain data from websites, APIs, databases, and spreadsheets * Perform scrub operations on plain text, CSV, HTML/XML, and JSON * Explore data, compute descriptive statistics, and create visualizations * Manage your data science workflow using Drake * Create reusable tools from one-liners and existing Python or R code * Parallelize and distribute data-intensive pipelines using GNU Parallel * Model data with dimensionality reduction, clustering, regression, and classification algorithms

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